Resultados
|
4441.
|
|
|
4442.
|
|
|
4443.
|
|
|
4444.
|
|
|
4445.
|
|
|
4446.
|
Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings / edited by Kousha Etessami, Sriram K. Rajamani. por
- Etessami, Kousha [editor.]
- Rajamani, Sriram K [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3576
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4447.
|
Information Security Applications : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / edited by Chae Hoon Lim, Moti Yung. por
- Lim, Chae Hoon [editor.]
- Yung, Moti [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3325
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4448.
|
Text, Speech and Dialogue : 8th International Conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005. Proceedings / edited by Václav Matoušek, Pavel Mautner, Tomáš Pavelka. por
- Matoušek, Václav [editor.]
- Mautner, Pavel [editor.]
- Pavelka, Tomáš [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3658
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4449.
|
Scientific Engineering of Distributed Java Applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / edited by Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky. por
- Guelfi, Nicolas [editor.]
- Reggio, Gianna [editor.]
- Romanovsky, Alexander [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3409
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4450.
|
Information Retrieval Technology : Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers / edited by Sung Hyon Myaeng, Ming Zhou, Kam-Fai Wong, Hong-Jiang Zhang. por
- Myaeng, Sung Hyon [editor.]
- Zhou, Ming [editor.]
- Wong, Kam-Fai [editor.]
- Zhang, Hong-Jiang [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3411
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4451.
|
Hybrid Systems: Computation and Control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / edited by Manfred Morari, Lothar Thiele. por
- Morari, Manfred [editor.]
- Thiele, Lothar [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3414
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4452.
|
|
|
4453.
|
Networking - ICN 2005 : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I / edited by Pascal Lorenz, Petre Dini. por
- Lorenz, Pascal [editor.]
- Dini, Petre [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3420
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4454.
|
Unconventional Computation : 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Gheorghe P?un, Mario J. Pérez-Jímenez, Grzegorz Rozenberg. por
- Calude, Cristian S [editor.]
- Dinneen, Michael J [editor.]
- P?un, Gheorghe [editor.]
- Rozenberg, Grzegorz [editor.]
- SpringerLink (Servicio en línea)
- Pérez-Jiménez, Mario J [editor.]
Series Lecture Notes in Computer Science ; 3699
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4455.
|
Theoretical Computer Science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings / edited by Mario Coppo, Elena Lodi, G. Michele Pinna. por
- Coppo, Mario [editor.]
- Lodi, Elena [editor.]
- Pinna, G. Michele [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3701
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4456.
|
Discrete and Computational Geometry : Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004, Revised Selected Papers / edited by Jin Akiyama, Mikio Kano, Xuehou Tan. por
- Akiyama, Jin [editor.]
- Kano, Mikio [editor.]
- Tan, Xuehou [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3742
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4457.
|
GeoSpatial Semantics : First International Conference, GeoS 2005, Mexico City, Mexico, November 29-30, 2005. Proceedings / edited by M. Andrea Rodríguez, Isabel Cruz, Sergei Levashkin, Max J. Egenhofer. por
- Rodríguez, M. Andrea [editor.]
- Cruz, Isabel [editor.]
- Levashkin, Sergei [editor.]
- SpringerLink (Servicio en línea)
- Egenhofer, Max J [editor.]
Series Lecture Notes in Computer Science ; 3799
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4458.
|
Computational Science and High Performance Computing : Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003 / edited by Egon Krause, Yurii I. Shokin, Michael Resch, Nina Shokina. por
- Krause, Egon [editor.]
- Shokin, Yurii I [editor.]
- Resch, Michael [editor.]
- Shokina, Nina [editor.]
- SpringerLink (Servicio en línea)
Series Notes on Numerical Fluid Mechanics and Multidisciplinary Design (NNFM) ; 88
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4459.
|
|
|
4460.
|
|