Refine your search

Your search returned 48 results. Subscribe to this search

|
1. Global Computing [Recurso electrónico] / IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers edited by Corrado Priami, Paola Quaglia. by Priami, Corrado. 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
2. Agent-Oriented Software Engineering V [Recurso electrónico] / 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers edited by Paolo Giorgini, JÃœrg, P. MÃơller, James Odell. by Giorgini, Paolo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

3. Programming Multi-Agent Systems (vol. # 3346) [Recurso electrónico] / Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, JÃơrgen Dix, Amal El by Bordini, Rafael H. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

4. Agent Communication [Recurso electrónico] / International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 edited by Frank Dignum, Marc-Philippe Huget, Rogier M. van Eijk. by Dignum, Frank. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

5. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) [Recurso electrónico] / 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings edited by Franz Baader, Andrei Voronkov. by Baader, Franz. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

6. Adaptive Agents and Multi-Agent Systems II [Recurso electrónico] / Adaptation and Multi-Agent Learning edited by Eduardo Alonso, Dimitar Kazakov, Daniel Kudenko. by Alonso, Eduardo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

7. Intelligent Agents and Multi-Agent Systems [Recurso electrónico] / 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers edited by Michael Wayne Barley, Nik Kasab by Barley, Michael Wayne. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

8. Compiler Construction (vol. # 3443) [Recurso electrónico] / 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edited by Rastislav Bodik. by Bodik, Rastislav. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

9. Declarative Agent Languages and Technologies II [Recurso electrónico] / Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers edited by João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum. by Leite, João. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

10. 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:

11. 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:

12. 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:

13. 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:

14. 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:

15. Programming Multi-Agent Systems (vol. # 3862) [Recurso electrónico] / Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, JÃơrgen Dix, Amal by Bordini, Rafael H. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

16. Defence Applications of Multi-Agent Systems [Recurso electrónico] / International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers edited by Simon G. Thompson, Robert Ghanea-Hercock. by Thompson, Simon G. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

17. Compiler Construction (vol. # 3923) [Recurso electrónico] / 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings] by Mycroft, Alan. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

18. Declarative Agent Languages and Technologies III [Recurso electrónico] / Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Pao by Baldoni, Matteo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

19. Relational Methods in Computer Science [Recurso electrónico] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin by MacCaull, Wendy. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

20. Agent-Oriented Software Engineering VI [Recurso electrónico] / 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers edited by JÃœrg P. MÃơller, Franco Zambonelli. by MÃơller, JÃœrg P. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Powered by Koha