Resultados
|
|
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning, ed. por International Conference on Rewriting Techniques and Applications (17 : 2006 : Seattle, Washington) | Pfenning, Frank [editor]. Series Lecture notes in computer science ; 4098Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: RTA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 I58 2006.
|
|
|
Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes, eds. por SAT 2006 (2006 : Seattle, Washington) | Biere, Armin [editor] | Gomes, Carla [editor]. Series Lecture notes in computer science ; 4121Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SAT 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.3 S35 2006.
|
|
|
|
|
|
|
|
|
Thermodynamics in mineral sciences : an introduction / Ladislav Cemic por Cemic, Ladislav [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: Inglés Lenguaje original: Alemán Editor: Berlin : Springer Verlag, c2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QE364.2T45 C42513.
|
|
|
Topics in atomic physics / Charles E. Burkhardt, Jacob L. Leventhal por Burkhardt, Charles E [autor] | Leventhal, Jacob L [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: New York, New York : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QC173 B87.
|
|
|
UbiComp 2006 : ubiquitous computing : 8th international conference, UbiComp 2006, Orange County, CA, USA, September 17-21, 2006 : proceedings / Paul Dourish, Adrian Friday, eds. por UbiComp 2006 (2006 : Orange County, California) | Dourish, Paul [editor] | Friday, Adrian [editor]. Series Lecture notes in computer science ; 4206Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: Ubiquitous computing.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.5915 U34 2006.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
XploRe : learning guide / W. Hardle, S. Klinke, M. Muller por Härdle, Wolfgang [autor] | Klinke, S [autor] | Muller, Marlene [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA276.4 H373.
|