Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
Fortran 90 language guide / Wilhelm Gehrke por Gehrke, Wilhelm, 1940- [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73F25 G44.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fundamentals of electromagnetism por López Dávalos, A. Tipo de material: Texto Detalles de publicación: Berlin : Springer-verlag Disponibilidad: No disponible para préstamo a domicilio:Folletos: Estantería cerrada (1).
|