Resultados
|
1.
|
|
|
2.
|
|
|
3.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar. por Series Lecture Notes in Computer Science ; 6015 | Lecture Notes in Computer Science ; 6015
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
4.
|
|
|
5.
|
Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by David S. Rosenblum, Gabriele Taentzer. por Series Lecture Notes in Computer Science ; 6013 | Lecture Notes in Computer Science ; 6013
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
6.
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean. por Series Lecture Notes in Computer Science ; 3362 | Lecture Notes in Computer Science ; 3362
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Franz Rothlauf, Jȭrgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi. por
- Rothlauf, Franz [editor.]
- Branke, Jȭrgen [editor.]
- Cagnoni, Stefano [editor.]
- Costa, Ernesto [editor.]
- Cotta, Carlos [editor.]
- Drechsler, Rolf [editor.]
- Lutton, Evelyne [editor.]
- Machado, Penousal [editor.]
- Moore, Jason H [editor.]
- Romero, Juan [editor.]
- Smith, George D [editor.]
- Squillero, Giovanni [editor.]
- Takagi, Hideyuki [editor.]
- SpringerLink (Online service)
Series Lecture Notes in Computer Science ; 3907 | Lecture Notes in Computer Science ; 3907
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
|
|
17.
|
|
|
18.
|
Practical Clojure [electronic resource] / by Luke VanderHart, Stuart Sierra ; edited by Clay Andres, Steve Anglin, Mark Beckner, Ewan Buckingham, Gary Cornell, Jonathan Gennick, Jonathan Hassell, Michelle Lowman, Matthew Moodie, Duncan Parkes, Jeffrey Pepper, Frank Pohlmann, Douglas Pundick, Ben Renow-Clarke, Dominic Shakeshaft, Matt Wade, Tom Welsh, Jim Markham, Tracy Brown, Katie Stence. por
- VanderHart, Luke [author.]
- Sierra, Stuart [author.]
- Andres, Clay [editor.]
- Anglin, Steve [editor.]
- Beckner, Mark [editor.]
- Buckingham, Ewan [editor.]
- Cornell, Gary [editor.]
- Gennick, Jonathan [editor.]
- Hassell, Jonathan [editor.]
- Lowman, Michelle [editor.]
- Moodie, Matthew [editor.]
- Parkes, Duncan [editor.]
- Pepper, Jeffrey [editor.]
- Pohlmann, Frank [editor.]
- Pundick, Douglas [editor.]
- Renow-Clarke, Ben [editor.]
- Shakeshaft, Dominic [editor.]
- Wade, Matt [editor.]
- Welsh, Tom [editor.]
- Markham, Jim [editor.]
- Brown, Tracy [editor.]
- Stence, Katie [editor.]
- SpringerLink (Online service)
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berkeley, CA : Apress, 2010Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
19.
|
|
|
20.
|
|