Resultados
|
|
|
|
|
Distributed computing in sensor systems : second IEEE international conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006 : proceedings / Phillip B. Gibbons ... [y otros.], eds. por DCOSS 2006 (2006 : San Francisco, California) | Gibbons, Phillip Baldwin [editor] | Institute of Electrical and Electronics Engineers. Series Lecture notes in computer science ; 4026Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: DCOSS 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK7872.D48 D36 2006.
|
|
|
DNA computing : 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005, revised selected papers / Alessandra Carbone, Niles A. Pierce, eds. por International Workshop on DNA-Based Computers (11 : 2005 : Londres) | Carbone, Alessandra [editor] | Pierce, Niles A [editor]. Series Lecture notes in computer science ; 3892Tipo 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: QA76.887 I57 2005.
|
|
|
E-commerce and web technologies : 7th international conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 : proceedings / Kurt Bauknecht, Birgit Pröll, Hannes Werthner, eds. por International Conference on Electronic Commerce and Web Technologies (7 : 2006 : Cracovia, Polonia) | Bauknecht, Kurt, 1936- [editor] | Pröll, Birgit [editor] | Werthner, H, 1954- [editor]. Series Lecture notes in computer science ; 4082Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: Ecommerce and web technologies.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: HF5548.32 E535 2006.
|
|
|
|
|
|
Embedded computer systems : architectures, modeling, and simulation : 6th international workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006 : proceedings / Stamatis Vassiliadis, Stephan Wong, Timo D. Hämäläinen, eds. por SAMOS 2006 (6 : 2006 : Samos, Grecia) | Vassiliadis, Stamatis [editor] | Wong, Stephan, 1973- [editor] | Hämäläinen, Timo D [editor]. Series Lecture notes in computer science ; 4017Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SAMOS 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A73 S333 2006.
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
Fuzzy systems and knowledge discovery : third international conference, FSKD 2006, Xi'an, China, September 24-28, 2006 : proceedings / Lipo Wang ... [y otros.], eds. por FSKD 2006 (2006 : Xi'an, Shaanxi Sheng, China) | Wang, Lipo [editor]. Series Lecture notes in computer science ; 4223 | Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: FSKD 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 F75 2006.
|
|
|
Graphics recognition : ten years review and future perspectives : 6th International Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005 : revised selected papers / Wenyin Liu, Josep Lladós, eds. por International Workshop on Graphics Recognition (6 : 2005 : Hong Kong, China) | Liu, Wenyin [editor] | Lladós, Josep, 1968- [editor] | GREC 2005 (6 : 2005 : Hong Kong, China). Series Lecture notes in computer science ; 3926Tipo 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: TA1637 I576 2005.
|
|
|
High performance computing and communications : second international conference HPCC 2006, Munich, Germany, September 13-15 2006 : proceedings / Michael Gerndt, Dieter Kranzlmüller, eds por HPCC 2006 (2006 : Munich, Alemania) | Gerndt, Michael [editor] | Kranzlmüller, Dieter, 1969- [editor]. Series Lecture notes in computer science ; 4208Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: HPCC 2006.Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.88 H63 2006.
|
|
|
|
|
|
|
|
|
Hybrid systems IV / Panos Antsaklis ... [y otros.], eds. por Antsaklis, Panos J [editor] | International Conference on Hybrid Systems (4 : 1996 : Ithaca, N.Y.). Series Lecture notes in computer science ; 1273Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c1997Otro título: Hybrid systems 4 | Hybrid systems four.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.38 .H935 1997.
|
|
|
|
|
|
Image analysis and recognition : third international conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006 : proceedings / Aurélio Campilho, Mohamed Kamel, eds. por ICIAR 2006 (2006 : Póvoa de Varzim, Portugal) | Campilho, A [editor] | Kamel, Mohamed [editor]. Series Lecture notes in computer science ; 4141-4142Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: ICIAR 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA1637 I35 2006.
|