Resultados
|
|
|
Expert systems in production and services : impact on qualifications and working life : proceedings of the International Workshop on Expert Systems in Production and Services, Ruschlikon-Zurich, Switzerland, 21-23 November, 1987 / ed. by Thomas Bernold, Ulrich Hillenkamp por International Workshop on Expert Systems in Production and Services (1987 : Rschlikon y Zurich, Siuza) | Hillenkamp, Ulrich [editor] | Bernold, Thomas, 1951- [editor]. Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Amsterdam : North-holland, 1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76E95 I58 1987.
|
|
|
|
Expert systems with applications. Tipo de material:  Recurso continuo; Formato:
impresión grande ; Tipo de descriptor de recurso continuo:
periódico Idioma: Inglés Editor: Elmsford, N.Y. : Pergamon, 1990-Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (11).
|
|
|
|
Exploring new frontiers of theoretical informatics : IFIP 18th World Computer Congress ; TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France / edited by Jean-Jacques Levy, Ernst W. Mayr, John C. Mitchell por IFIP TC1 International Conference on Theoretical Computer Science (3 : 2004 : Toulouse, Francia) | Lévy, Jean-Jacques, 1947- [editor] | Mayr, Ernst | Mitchell, John C [editor] | IFIP World Computer Congress (18 : 2004 : Toulouse, Francia). Series IFIP ; 155Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Boston : Kluwer Academic, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 I46 2004.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fault-tolerant systems / Israel Koren, C. Mani Krishna por Koren, Israel, 1945- [autor] | Krishna, C. M autor. Edición: Second editionTipo de material: Texto; Forma literaria:
No es ficción Editor: Cambridge, MA : Morgan Kaufmann, [2021]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9F38 K67 2021.
|
|
|
|
|
|
|
|
|
|
|
|
Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / Marco Bernardo, Alessandro Cimatti, eds. por International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6 : 2006 : Bertinoro, Italia) | Cimatti, Alessandro [editor] | Bernardo, Marco [editor]. Series Lecture notes in computer science ; 3965 | Lecture notes in computer science. Tutorial | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SFM 2006 | Hardware verification.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9F67 I574 2006.
|
|
|
|
Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / Eugene Asarin, Patricia Bouyer, eds. por FORMATS 2006 (2006 : Paris, Francia) | Asarin, Eugene Aleksandrovich [d.] | Bouyer, Patricia, 1976- [editor]. Series Lecture notes in computer science ; 4202Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: FORMATS 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9C65 F68.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
