Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Assertion-based design / Harry Foster, Adam Krolnik, David Lacey por Foster, Harry, 1956- [autor] | Krolnik, Adam [autor] | Lacey, David [autor]. Edición: 2nd ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Boston : Springer Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TK7874.75 F67 2004, ...
|
|
|
Astronomy on the personal computer / Oliver Montenbruck, Thomas Pfleger ; translated by Storm Dunlop ; with a foreword by Richard M. West por Montenbruck, Oliver, 1961- [autor] | Pfleger, Thomas, 1964- [autor] | Dunlop, Storm [traductor] | West, Richard M, 1941- [prologuista]. Edición: 4th ed., completely rev.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QB51.3E43 M6513 2000.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Atlas and glossary of primary sedimentary structures / F.J. Pettijohn and Paul Edwin Potter ; translations into Spanish, French, and German by Juan Carlos Riggi, Marie-Hélène Sachet, and Hans-Ulrich Schmincke por Pettijohn, F. J. (Francis John), 1904-1999 [autor] | Potter, Paul Edwin [autor] | Riggi, Juan Carlos [traductor] | Sachet, Marie-Hélène [traductor] | Schmincke, Hans-Ulrich [traductor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: Español Lenguaje original: Español, Francés, Alemán Editor: Berlin : Springer Verlag, 1964Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QE471 P44.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata and computability / Dexter C. Kozen por Kozen, Dexter C [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: New York : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 K69.
|
|
|
Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitch, eds. por IJCAR 2004 (2 : 2001 : Cork, Irlanda) | Basin, David [editor] | Rusinowitch, Michaël [editor]. Series Lecture notes in computer science ; 3097 | Lecture notes in artificial intelligenceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I53 2004.
|