Refine your search

Your search returned 90 results. Subscribe to this search

|
1. Object-Oriented Technology. ECOOP 2004 Workshop Reader [Recurso electrónico] / ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports edited by Jacques Malenfant, Bjarte M. Ãs̃tvold. by Malenfant, Jacques. 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. 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:

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

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

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

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. Theoretical Aspects of Computing - ICTAC 2004 [Recurso electrónico] / First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers edited by Keijiro Araki, Zhiming Liu. by Araki, Keijiro. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

8. Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) [Recurso electrónico] / 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed by Halbwachs, Nicolas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

10. Formal Methods for Mobile Computing [Recurso electrónico] / 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures edit by Bernardo, Marco. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

12. Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) [Recurso electrónico] / 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings edited by Martin Steffen, Gianluigi Zavattaro. by Steffen, Martin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005 Availability: No items available:

13. Scenarios: Models, Transformations and Tools [Recurso electrónico] / International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers edited by Stefan Leue, Tarja J. SystÃÞ. by Leue, Stefan. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

14. Distributed Applications and Interoperable Systems (vol. # 3543) [Recurso electrónico] / 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings edited by Lea Kutvonen. by Kutvonen, Lea. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

15. ECOOP 2005 - Object-Oriented Programming [Recurso electrónico] / 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings edited by Andrew Black. by Black, Andrew. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

16. Cryptographic Hardware and Embedded Systems - CHES 2005 [Recurso electrónico] / 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings edited by Josyula R. Rao, Berk Sunar. by Rao, Josyula R. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

17. Formal Techniques for Computer Systems and Business Processes [Recurso electrónico] / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September by Bravetti, Mario. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

18. Software Composition (vol. # 3628) [Recurso electrónico] / 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers edited by Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz. by Assmann, Uwe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

19. Quality of Software Architectures and Software Quality [Recurso electrónico] / First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German by Becker, Steffen. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

20. 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. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha