Your search returned 400 results.

Sort
Results
Testing of Communicating Systems (vol. # 3502) [Recurso electrónico] / 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings edited by Rachida Dssouli, Ferhat Khendek.

by Dssouli, Rachida | Khendek, Ferhat | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3502Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Environments for Multi-Agent Systems [Recurso electrónico] / First International Workshop, E4MAS, 2004, New York, NY, July 19, 2004, Revised Selected Papers edited by Fabien Michel, H. Van Dyke Parunak, Danny Weyns.

by Michel, Fabien | Van Dyke Parunak, H | Weyns, Danny | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3374Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Environments for Multi-Agent Systems II [Recurso electrónico] / Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers edited by Danny Weyns, H. Van Dyke Parunak, Fabien Michel.

by Weyns, Danny | Michel, Fabien | Parunak, H. Van Dyke | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3830Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Learning and Adaption in Multi-Agent Systems [Recurso electrónico] / First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers edited by Karl Tuyls, Pieter Jan 't Hoen, Katja Verbeeck, Sandip S

by Tuyls, Karl | Sen, Sandip | 't Hoen, Pieter Jan | Verbeeck, Katja | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3898Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Testing of Communicating Systems (vol. # 3964) [Recurso electrónico] / 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings edited by M. Ãœmit Uyar, Ali Y. Duale, Mariusz A. Fecko.

by Uyar, M. Ãœmit | Duale, Ali Y | Fecko, Mariusz A | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3964Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Software Engineering and Middleware [Recurso electrónico] / 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers edited by Thomas Gschwind, Cecilia Mascolo.

by Gschwind, Thomas | Mascolo, Cecilia | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3437Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Passive and Active Network Measurement [Recurso electrónico] / 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings edited by Constantinos Dovrolis.

by Dovrolis, Constantinos | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3431Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Computational Logic in Multi-Agent Systems (vol. # 3487) [Recurso electrónico] / 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers edited by João Leite, Paolo Torroni.

by Leite, João | Torroni, Paolo | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3487Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Computational Logic in Multi-Agent Systems (vol. # 3900) [Recurso electrónico] / 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers edited by Francesca Toni, Paolo Torroni.

by Toni, Francesca | Torroni, Paolo | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3900Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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 | Omicini, Andrea | Zambonelli, Franco | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3451Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Artificial Intelligence and Simulation [Recurso electrónico] / 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers edited by Tag G. K

by Kim, Tag G | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3397Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Wireless Systems and Network Architectures in Next Generation Internet [Recurso electrónico] / Second International Workshop of the EURO-NGI Network of Excellence, Villa Vigoni, Italy, July 13-15, 2005, Revised Selected Papers edited by Matte

by Cesana, Matteo | Fratta, Luigi | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3883Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Groupware: Design, Implementation, and Use (vol. # 4154) [Recurso electrónico] / 12th International Workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006, Proceedings edited by Yannis A. Dimitriadis, Ilze Zigurs, Eduardo Gómez-

by Dimitriadis, Yannis A | Gómez-Sánchez, Eduardo | Zigurs, Ilze | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4154Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Wireless Systems and Mobility in Next Generation Internet [Recurso electrónico] / First International Workshop of the EURO-NGI Network of Excellence, Dagstuhl Castle, Germany, June 7-9, 2004, Revised Selected Papers edited by Gabriele Kotsis,

by Kotsis, Gabriele | Spaniol, Otto | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3427Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Groupware: Design, Implementation, and Use (vol. # 3706) [Recurso electrónico] / 11th International Workshop, CRIWG 2005, Porto de Galinhas, Brazil, September 25-29, 2005, Proceedings edited by Hugo Fuks, Stephan Lukosch, Ana Carolina Salgado

by Fuks, Hugo | Lukosch, Stephan | Salgado, Ana Carolina | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3706Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Formal Techniques for Networked and Distributed Systems - FORTE 2005 [Recurso electrónico] / 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings edited by Farn Wang.

by Wang, Farn | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3731Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Self-Managed Networks, Systems, and Services [Recurso electrónico] / Second IEEE International Workshops, SelfMan 2006, Dublin, Ireland, June 16, 2006, Proceedings edited by Alexander Keller, Jean-Philippe Martin-Flatin.

by Keller, Alexander | Martin-Flatin, Jean-Philippe | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3996Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Formal Techniques for Networked and Distributed Systems - FORTE 2006 [Recurso electrónico] / 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings edited by Elie Najm, Jean-Francois Pradat-Peyre, Véroniq

by Najm, Elie | Donzeau-Gouge, Véronique Viguié | Pradat-Peyre, Jean-Francois | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4229Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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 | Kasabov, Nik | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3371Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Formal Methods and Stochastic Models for Performance Evaluation [Recurso electrónico] / Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings edited by András Horváth, Miklós Telek.

by Horváth, András | Telek, Miklós | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4054Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Pages

Powered by Koha