Resultados
|
|
|
|
|
Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / Kwangkeun Yi, ed. por International Static Analysis Symposium (13 : 2006 : Seúl, Corea) | Yi, Kwangkeun [editor] | SAS (13 : 2006 : Seúl, Corea). Series Lecture notes in computer science ; 4134Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SAS 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 I578 2006.
|
|
|
Statics for engineers / B.B. Muvdi, A.W. Al-Khafaji, J.W. McNabb por Muvdi, B. B [autor] | Al-Khafaji, Amir Wadi [autor] | Mcnabb, J. W [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: New York : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA351 M88.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Subspace, latent structure and feature selection : Statistical and Optimization Perspectives Workshop, SLSFS 2005, Bohinj, Slovenia, February 23-25, 2005 : revised selected papers / Craig Saunders ... [y otros.], eds. por SLSFS 2005 (2005 : Bohinj, Eslovenia) | Saunders, Craig [editor] | Subspace Latent Structure and Feature Selection (2005 : Bohinj, Eslovenia). Series Lecture notes in computer science ; 3940Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA402 S575.
|
|
|
|
|
|
|
|
|
|
|
|
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.
|