Resultados
|
|
|
|
|
|
|
Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.) por CAV Conference (16 : 2004 : Boston, Massachusetts) | Alur, Rajeev, 1966- [editor] | Peled, Doron A, 1962- [editor]. Series Lecture notes in computer scienceTipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: CAV 2004.Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76V47 C38 2004, ...
|
|
|
|
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones, eds. por CAV. Conference (18 : 2006 : Seattle, Washington) | Ball, Thomas, 1965- [editor] | Jones, Robert Brent, 1969- [editor]. Series Lecture notes in computer science ; 4144Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: CAV 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76V47 C38 2006.
|
|
|
|
Coordination, organizations, institutions, and norms in multi-agent systems : AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and From Organizations to Organization-Oriented Programming in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005 : revised selected papers / Olivier Boissier ... [y otros.], eds. por International Workshop on Agents, Norms and Institutions for Regulated Multi-Agent Systems (2005 : Utrecht, Países Bajos) | Boissier, Olivier [editor] | International Workshops on Organizations in Multi-Agent Systems (2005 : Utrecht, Países Bajos). Series Lecture notes in computer science ; 3913 | Lecture notes in artificial intelligenceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems | ANIREM 2005 | OOOP 2005 | International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems.Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76I58 I585, ...
|
|
|
|
|
|
|
|
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski, eds. por International Symposium of Formal Methods Europe (14 : 2006 : Hamilton, Canadá) | Misra, Jayadev [editor] | Nipkow, Tobias, 1958- [editor] | Sekerinski, Emil, 1963- [editor]. Series Lecture notes in computer science ; 4085 | Lecture notes in computer scienceTipo 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.76D47 I577 2006.
|
|
|
|
Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise, eds. por FATES 2005 (5 : 2005 : Edimburgo, Escocia) | Grieskamp, Wolfgang, 1960- [editor] | Weise, Carsten [editor]. Series Lecture notes in computer science ; 3997Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: FATES 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9F67 F37 2005.
|
|
|
|
|
|
|
|
Intelligent agents II : agent theories, architectures, and languages : IJCAI'95 Workshop (ATAL) Montreal, Canada, August 19-20, 1995 : proceedings / M. Wooldrige, J.P. Muller, M. Tambe, (eds.) por Wooldridge, Michael J, 1966- [editor] | Muller, Jorg P, 1965- [editor] | Tambe, Milind, 1965- [editor] | Workshop on Agent Theories, Architectures, and Languages (2 : 1995 : Montreal, Quebec) | International Joint Conference on Artificial Intelligence (1995 : Montreal, Quebec). Series Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1037.Tipo de material: Texto; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: Q336 I5737, ...
|
|
|
|
Mathematical software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006 : proceedings / Andres Iglesias, Nobuki Takayama, eds. por International Congress on Mathematical Software (2 : 2006 : Castro Urdiales, España) | Iglesias Prieto, Andrés [editor] | Takayama, Nobuki, 1959- [editor]. Series Lecture notes in computer science ; 4151Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: ICMS 2006 | 2nd International Congress on Mathematical Software | International Congress on Mathematical Software.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.95 I566 2006.
|
|
|
|
Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings / Luís Miguel Pinho, Michael González Harbour, eds. por Ada-Europe International Conference on Reliable Software Technologies (11 : 2006 : Porto, Portugal) | Pinho, Luís Miguel [editor] | González Harbour, Michael, 1960- [editor]. Series Lecture notes in computer science ; 4006Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: Ada-Europe 2006 | 11th Ada-Europe International Conference on Reliable Software Technologies | Eleventh Ada-Europe International Conference on Reliable Software Technologies.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73A35 A332 2006.
|
|
|
|
Reuse of off-the-shelf components : 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006 ; proceedings / Maurizio Morisio, eds. por International Conference on Software Reuse (9 : 2006 : Turin, Italia) | Morisio, Maurizio, 1960- [editor]. Series Lecture notes in computer science ; 4039Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: 9th International Conference on Software Reuse | Ninth International Conference on Software Reuse | International Conference on Software Reuse | ICSR 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76R47 I55 2006.
|
|
|
|
Software process change : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006 : proceedings / Qing Wang ... [y otros.], eds. por SPW/ProSim 2006 (2006 : Shanghai, China) | Wang, Qing, 1964 Jan. 29- [editor] | International Software Process Workshop (2006 : Shanghai, China) | International Workshop on Software Process Simulation and Modeling (2006 : Shanghai, China). Series Lecture notes in computer science ; 3966Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.751 S68 2006.
|
|
|
|
Software reuse : methods, techniques, and tools : 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004 : proceedings / Jan Bosch, Charles Krueger, eds. por International Conference on Software Reuse (8 : 2004 : Madrid, España) | Bosch, Jan [editor] | Krueger, Charles [editor]. Series Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76R47 I55 2004.
|
