Resultados
|
|
|
Intelligent agents VI : agent theories, architectures, and languages : 6th International Workshop, ATAL'99, Orlando, Florida, USA, july 1999 : proceedings / Nicholas R. Jennings, Yves Lesperance, eds. por Workshop on Agent Theories, Architectures, and Languages (6 : 1999 : Orlando, Florida) | Jennings, Nicholas R [editor] | Lesperance, Yves [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligenceTipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q336 E33 2000.
|
|
|
|
|
|
|
|
International Conference on Intelligent Computing : ICIC 2006, Kunming, China, August 16-19, 2006 : proceedings / De-Shuang Huang, Kang Li, George William Irwin, eds. por International Conference on Intelligent Computing (2 : 2006 : Kunming Shi, China) | Huang, De-Shuang [editor] | Li, Kang [editor] | Irwin, G. W, 1950- [editor]. Series Lecture notes in computer science ; 4113, etc. | Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : New York : Springer Verlag, 2006-Otro título: Intelligent computing | Computational intelligence.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q342 I57.
|
|
|
|
|
|
|
|
|
|
|
|
Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings / Magnus Boman, Walter Van de Velde (eds.) por European Workshop on Modelling Autonomous Agents in a Multi-Agent World (8 : 1997 : Ronneby, Suecia) | Boman, Magnus [editor] | Velde, Walter Van de [editor]. Series Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1237.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76I58 E87 1997.
|
|
|
|
|
|
|
|
Persuasive technology : 7th International Conference On Persuasive Technology, Persuasive 2012, Linkoeping, Sweden, June 6-8, 2012. Proceedings / [edited by] Magnus Bang, Eva L. Ragnemalm. por International Conference on Persuasive Technology for Human Well-Being (7 : 2012 : Linköping, Suecia) | Bang, Magnus [editor] | Ragnemalm, Eva L [editor]. Series Lecture notes in computer science ; 7284 | LNCS sublibrary. SL 3, Information systems and application, incl. Internet/Web and HCITipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: New York : Springer, 2012Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: BF637.P4 I58 2012, ...
|
|
|
|
|
|
|
|
PRICAI 2006 : trends in artificial intelligence : 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006 : proceedings / Qiang Yang, Geoff Webb, eds por Pacific Rim International Conference on Artificial Intelligence (9 : 2006 : Guilin, Guangxi Zhuangzu Zizhiqu, China) | Yang, Qiang, 1961- [editor] | Webb, Geoffrey I [editor]. Series Lecture notes in computer science ; 4099 | Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: Trends in artificial intelligence | 9th Pacific Rim International Conference on Artificial Intelligence | Ninth Pacific Rim International Conference on Artificial Intelligence.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334 P33 2006.
|
|
|
|
Product-focused software process improvement : 7th international conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006 : proceedings / Jürgen Münch, Matias Vierimaa, eds. por International Conference PROFES 2006 (7 : 2006 : Amsterdam, Holanda) | Münch, Jürgen [editor] | Vierimaa, Matias [editor]. Series Lecture notes in computer science ; 4034Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: PROFES 2006 | International Conference PROFES 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.758 I56 2006.
|
|
|
|
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona Spain, March 29 -April 2, 2004 : proceedings / David Schmidt, ed. por European Symposium on Programming (13 : 2004 : Barcelona, España) | Schmidt, David A, 1953- [editor] | ETAPS 2004 (2004 : Barcelona , España). 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.6 E87 2004.
|
|
|
|
|
|
|
|
Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / Renate A. Schmidt, ed. por International Seminar on Relational Methods in Computer Science (9 : 2006 : Manchester, Inglaterra) | Schmidt, Renate A [editor] | International Workshop on Applications of Kleene Algebra (4 : 2006 : Manchester, Inglaterra). Series Lecture notes in computer science ; 4136Tipo 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: QA10 I58 2006.
|
|
|
|
|
|
|
|
Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / Kwangkeun Yi, ed. por International Static Analysis Symposium (13 : 2006 : Seúl, Corea) | Yi, Kwangkeun [editor] | SAS (13 : 2006 : Seúl, Corea). Series Lecture notes in computer science ; 4134Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SAS 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 I578 2006.
|
|
|
|
Subspace, latent structure and feature selection : Statistical and Optimization Perspectives Workshop, SLSFS 2005, Bohinj, Slovenia, February 23-25, 2005 : revised selected papers / Craig Saunders ... [y otros.], eds. por SLSFS 2005 (2005 : Bohinj, Eslovenia) | Saunders, Craig [editor] | Subspace Latent Structure and Feature Selection (2005 : Bohinj, Eslovenia). Series Lecture notes in computer science ; 3940Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA402 S575.
|
|
|
|
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning, ed. por International Conference on Rewriting Techniques and Applications (17 : 2006 : Seattle, Washington) | Pfenning, Frank [editor]. Series Lecture notes in computer science ; 4098Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: RTA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 I58 2006.
|
|
|
|
Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes, eds. por SAT 2006 (2006 : Seattle, Washington) | Biere, Armin [editor] | Gomes, Carla [editor]. Series Lecture notes in computer science ; 4121Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SAT 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.3 S35 2006.
|
|
|
|
UbiComp 2006 : ubiquitous computing : 8th international conference, UbiComp 2006, Orange County, CA, USA, September 17-21, 2006 : proceedings / Paul Dourish, Adrian Friday, eds. por UbiComp 2006 (2006 : Orange County, California) | Dourish, Paul [editor] | Friday, Adrian [editor]. Series Lecture notes in computer science ; 4206Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: Ubiquitous computing.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.5915 U34 2006.
|
