Resultados
|
|
|
|
|
CONCUR 2006--concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings / Christel Baier, Holger Hermanns, eds. por International Conference on Concurrency Theory (17 : 2006 : Bonn, Alemania) | Baier, Christel [editor] | Hermanns, Holger, 1967- [editor] | CONCUR (17 : 2006 : Bonn, Alemania). Series Lecture notes in computer science ; 4137Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.58 I57 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, ...
|
|
|
Data and applications security XX : 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006 : proceedings / Ernesto Damiani, Peng Liu, eds. por IFIP WG 11.3 Working Conference on Data and Applications Security (20 : 2006 : Sophia-Antipolis, Francia) | Damiani, Ernesto, 1960- [editor] | Liu, Peng, 1970- [editor]. Series Lecture notes in computer science ; 4127Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: IFIP WG 11.3 Working Conference on Data and Applications Security | Data and applications security 20 | Data and applications security twenty.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D314 I45 2006.
|
|
|
Data mining for biomedical applications : PAKDD 2006 workshop, BioDM 2006, Singapore, April 9, 2006 : proceedings / Jinyan Li, Qiang Yang, Ah-Hwee Tan (eds.) por BioDM 2006 (2006 : Singapur) | Li, Jinyan, ed | Yang, Qiang, 1961- [editor] | Tan, Ah-Hwee [editor] | Pacific-Asia Conference on Knowledge Discovery and Data Mining (10 : 2006 : Singapur). Series Lecture notes in computer science ; 3916 | Lecture notes in computer science. Lecture notes in bioinformatics | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: PAKDD 2006 workshop, BioDM | BioDM 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: R858.A2 B56 2006.
|
|
|
Deep structure, singularities, and computer vision : first International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005 : revised selected papers / Ole Fogh Olsen, Luc Florack, Arjan Kuijper, eds. por International Workshop on Deep Structure, Singularities and Computer Vision (2005 : Maastrich, Países Bajos) | Olsen, Ole Fogh [editor] | Florack, Luc [editor] | Kuijper, Arjan [editor]. Series Lecture notes in computer science ; 3753Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA1634 I595.
|
|
|
|
|
|
|
|
|
Digital earth moving : first international symposium, DEM 2001, Manno, Switzerland, September 5-7,2001 : proceedings / Caroline Y. Westort, ed. por DEM 2001 (2001 : Manno, Suiza) | Westort, Caroline Y, 1964- [editor]. Series Lecture notes in computer science ; 2181Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TA715 D54, ...
|
|
|
|
|
|
Electronic government : first international conference, EGOV 2002, Aix-en-Provence, France, September 2-6, 2002 : proceedings / Roland Traunmuller, Klaus Lenk eds. por EGOV 2002 (2002 : Aix-en-Provence, Francia) | Lenk, Klaus, 1940- [editor] | Traunmüller, Roland [editor]. Series Lecture notes in computer science ; 2456Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, 2002Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: JF1525.A8 E46.
|
|
|
|
|
|
Emerging directions in embedded and ubiquitous computing : EUC 2006 workshops : NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006 : proceedings / Xiaobo Zhou ... [y otros.], eds. por Zhou, Xiaobo, 1973- [editor] | Federación Internacional para el Tratamiento de Información | EUC 2006 (2006 : Seul, Corea). Series Lecture notes in computer science ; 4097Tipo 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: TK7895.E42 E536 2006.
|
|
|
Entertainment computing--ICEC 2006 : 5th international conference, Cambridge, UK, September 20-22, 2006 : proceedings / Richard Harper, Matthias Rauterberg, Marco Combetto, eds. por ICEC 2006 (2006 : Cambridge, Inglaterra) | Harper, Richard, 1960- [editor] | Rauterberg, Matthias [editor] | Combetto, Marco [editor] | Federación Internacional para el Tratamiento de Información. Series Lecture notes in computer science ; 4161Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: ICEC 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9E57 I55.
|
|
|
Evolutionary multi-criterion optimization : third International Conference, EMO 2005, Guanajuato, México, March 9-11, 205 : proceedings / Carlos A. Coello Coello, Arturo Hernández Aguirre, Eckart Zitzler (eds.) por International Conference on Multi-Criterion Optimization (3 2005 : Guanajuato, Gto.) | Hernández Aguirre, Arturo [editor] | Zitzler, Eckart [editor]. Series Lecture notes in computer science ; 1993Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: EMO 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: T57.95 I55 2005.
|
|
|
Fast software encryption : 7th International Workshop, FSE 2000 , New York, N Y, USA, april 10-12, 2000 :proceedings / Bruce Schneier, ed. por FSE 2000 (7 : 2000 : New York, New York) | Schneier, Bruce, 1963- [editor]. Series Lecture notes in computer science ; 1978Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A25 F74 2000.
|
|
|
|
|
|
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.
|
|
|
|