Resultados
|
|
|
|
|
|
|
Expert systems in engineering : Principles and applications : International workshop, vienna, austria, september 24-26, 1990 : Proceedings / G. gottiob, w. nejdl, eds. por Gottlob, G. (Georg) [editor] | Nejdl, Wolfgang, 1960- [editor] | International Workshop On Expert Systems In Engineering (1990 : Viena, Austria). Series Lecture notes in artificial intelligence ; 462Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA345 E964.
|
|
|
|
|
|
|
|
Stepwise refinement of distributed systems : Models, formalisms, correctness : Rex workshop, mook, the netherland, may 29-june 2, 1989 : Proceedings / J. w. de bakker, w. p. de roever, g. rozenberg, ed. por Bakker, J. W. de (Jacobus Willem), 1939- | Roever, W. P. De [editor] | Rozenberg, Grzegor [editor]. Series Lecture notes in computer science ; 430Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D5 S74.
|
|
|
|
|
|
|
|
Logic of theory change : Workshop, konstanz, frg, october 13-15, 1989 : Proceedings / A. fuhrmann, m. morreau, ed. por Fuhrmann, Andre, 1958- [editor] | Morreau, Michael [editor]. Series Lecture notes in artificial intelligence ; 465. lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c1991Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76 L62.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sorts and types in artificial intelligence : Workshop, eringerfeld, frg, april 24-26, 1989 : Proceedings / K. h. blasius, u. hedtstuck, c. r. rollinger, eds. por Blasius, Karl Hans [editor] | Hedtstuck, U [editor] | Rollinger, C.-r [editor]. Series Lecture notes in computer science. lecture notes in artificial intelligence ; 418Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334.5 S67.
|
|
|
|
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche-Posay, France, April 23-27, 1990, proceedings / I. Guessarian, ed. por Ecole de printemps d'informatique theorique (1990 : La Roche-Posay, Francia) | Guessarian, Irene, 1948- [editor] | Laboratoire informatique theorique et programmation (Francia) | Institute pour la Recherche en Informatique de Tolouse. Series Lecture notes in computer science ; 469Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.58 E385.
|
|
|
|
Riemannian geometry / Sylvestre Gallot, Dominique Hulin, Jacques Lafontaine por Gallot, Sylvestre, 1948- [autor] | Hulin, Dominique, 1959- [autor] | Lafontaine, Jacques, 1944- [autor]. Edición: 2Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA649 G33 1990.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Gks theory and practice / P. r. bono, i. herman, ed. por Bono, Peter R, 1945- [editor] | Herman, Ivan [editor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Wien : Springer Verlag, 1985Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: T385 G57.
|
|
|
|
|
|
|
|
|
|
|
|
|
