Resultados
|
|
|
|
|
|
|
Product-focused software process improvement : 7th international conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006 : proceedings / Jürgen Münch, Matias Vierimaa, eds. por International Conference PROFES 2006 (7 : 2006 : Amsterdam, Holanda) | Münch, Jürgen [editor] | Vierimaa, Matias [editor]. Series Lecture notes in computer science ; 4034Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: PROFES 2006 | International Conference PROFES 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.758 I56 2006.
|
|
|
|
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona Spain, March 29 -April 2, 2004 : proceedings / David Schmidt, ed. por European Symposium on Programming (13 : 2004 : Barcelona, España) | Schmidt, David A, 1953- [editor] | ETAPS 2004 (2004 : Barcelona , España). Series Lecture notes in computer scienceTipo 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.6 E87 2004.
|
|
|
|
|
|
|
|
|
|
|
|
Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / Renate A. Schmidt, ed. por International Seminar on Relational Methods in Computer Science (9 : 2006 : Manchester, Inglaterra) | Schmidt, Renate A [editor] | International Workshop on Applications of Kleene Algebra (4 : 2006 : Manchester, Inglaterra). Series Lecture notes in computer science ; 4136Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA10 I58 2006.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
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.
|
