Resultados
|
221.
|
|
|
222.
|
|
|
223.
|
|
|
224.
|
|
|
225.
|
|
|
226.
|
|
|
227.
|
|
|
228.
|
|
|
229.
|
|
|
230.
|
|
|
231.
|
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.
|
|
232.
|
|
|
233.
|
|
|
234.
|
|
|
235.
|
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.
|
|
236.
|
|
|
237.
|
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.
|
|
238.
|
|
|
239.
|
|
|
240.
|
|