Refine your search

Your search returned 187 results. Subscribe to this search

|
21. Innovations in Applied Artificial Intelligence [Recurso electrónico] / 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceed by Esposito, Floriana. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
22. Computer Aided Verification (vol. # 3576) [Recurso electrónico] / 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings edited by Kousha Etessami, Sriram K. Rajamani. by Etessami, Kousha. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

23. Metainformatics [Recurso electrónico] / International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers edited by Uffe Kock Wiil. by Kock Wiil, Uffe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

24. Engineering Societies in the Agents World V [Recurso electrónico] / 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers edited by Marie-Pierre Gleizes, Andrea Omicini, Franco Zambo by Gleizes, Marie-Pierre. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

25. Biomimetic Neural Learning for Intelligent Robots [Recurso electrónico] / Intelligent Systems, Cognitive Robotics, and Neuroscience edited by Mark Elshaw, GÃơnther Palm, Stefan Wermter. by Elshaw, Mark. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

26. Nonlinear Speech Modeling and Applications [Recurso electrónico] / Advanced Lectures and Revised Selected Papers edited by Gerard Chollet, Anna Esposito, Marcos Faundez-Zanuy, Maria Marinaro. by Chollet, Gerard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

27. Advanced Data Mining and Applications (vol. # 3584) [Recurso electrónico] / First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings edited by Zhao Yang Dong, Xue Li, Shuliang Wang. by Dong, Zhao Yang. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

28. Automated Deduction - CADE-20 [Recurso electrónico] / 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings edited by Robert Nieuwenhuis. by Nieuwenhuis, Robert. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

29. Advanced Distributed Systems [Recurso electrónico] / 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers edited by Victor Lrios Rosillo, Felix F. Ramos, Herwig Unger. by Lrios Rosillo, Victor. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

30. Theorem Proving in Higher Order Logics [Recurso electrónico] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings edited by Joe Hurd, Tom Melham. by Hurd, Joe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

31. Multiagent System Technologies (vol. # 3550) [Recurso electrónico] / Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings edited by Torsten EymannMichael N. Huhns, Franziska KlÃơgl, Matthias Klusch et al. by Eymann, Torsten. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

32. Principles and Practice of Semantic Web Reasoning (vol. # 3703) [Recurso electrónico] / Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings edited by Francois Fages, Sylvain Soliman. by Fages, Francois. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

33. Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] / International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert. by Beckert, Bernhard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

34. Multi-Agent Systems and Applications IV [Recurso electrónico] / 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings edited by Michal Pechoucek, P by Pechoucek, Michal. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

35. Frontiers of Combining Systems [Recurso electrónico] / 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings edited by Bernhard Gramlich. by Gramlich, Bernhard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

36. Correct Hardware Design and Verification Methods [Recurso electrónico] / 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, SaarbrÃơcken, Germany, October 3-6, 2005, Proceedings edited by Dominique Borrione, Wolfgang Paul. by Borrione, Dominique. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

37. Conceptual Modeling - ER 2005 [Recurso electrónico] / 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings edited by Lois DelcambreChristian Kop, Heinrich C. Mayr, John Mylopoulos et al. by Delcambre, Lois. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

38. Advances in Informatics [Recurso electrónico] / 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings edited by Panayiotis Bozanis, Elias N. Houstis. by Bozanis, Panayiotis. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

39. Virtual Storytelling. Using Virtual Reality Technologies for Storytelling [Recurso electrónico] / Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings edited by Gérard Subsol. by Subsol, Gérard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

40. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) [Recurso electrónico] / 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings edited by Geoff Sutcliffe, Andrei Voronkov. by Sutcliffe, Geoff. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha