Resultados
|
41.
|
|
|
42.
|
|
|
43.
|
|
|
44.
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto, Ivan Damgrd, Leslie Ann Goldberg, MagnȦs M. Halldrsson, Anna Inglfsdttir, Igor Walukiewicz. por Series Lecture Notes in Computer Science ; 5125 | Lecture Notes in Computer Science ; 5125
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
45.
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgrd, Leslie Ann Goldberg, MagnȦs M. Halldrsson, Anna Inglfsdttir, Igor Walukiewicz. por Series Lecture Notes in Computer Science ; 5126 | Lecture Notes in Computer Science ; 5126
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
46.
|
|
|
47.
|
|
|
48.
|
|
|
49.
|
|
|
50.
|
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur. por Series Lecture Notes in Computer Science ; 4383 | Lecture Notes in Computer Science ; 4383
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
51.
|
|
|
52.
|
Multi-Agent-Based Simulation VIII [electronic resource] : International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers / edited by Luis Antunes, Mario Paolucci, Emma Norling. por Series Lecture Notes in Computer Science ; 5003 | Lecture Notes in Computer Science ; 5003
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
53.
|
|
|
54.
|
Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Lubo Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol. por Series Lecture Notes in Computer Science ; 4346 | Lecture Notes in Computer Science ; 4346
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
55.
|
|
|
56.
|
|
|
57.
|
|
|
58.
|
|
|
59.
|
|
|
60.
|
High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / edited by Michel DaydȨ, JosȨ M. L. M. Palma, lvaro L. G. A. Coutinho, Esther Pacitti, Joo Correia Lopes. por Series Lecture Notes in Computer Science ; 4395 | Lecture Notes in Computer Science ; 4395
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks
Disponibilidad: No hay ítems disponibles.
|