Refine your search

Your search returned 590 results. Subscribe to this search

|
1. Transactions on Aspect-Oriented Software Development II [Recurso electrónico] / Focus: AOP Systems, Software and Middleware edited by Awais Rashid, Mehmet Aksit. by Rashid, Awais. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Log in to add tags. Add to cart
2. 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:

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

4. Peer-to-Peer Systems III [Recurso electrónico] / Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers edited by Scott Shenker, Geoffrey M. Voelker. by Shenker, Scott. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

5. Inconsistency Tolerance [Recurso electrónico] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub. by Bertossi, Leopoldo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

7. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) [Recurso electrónico] / International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers edited by Gilles BartheLilian by Barthe, Gilles. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

8. Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot. by Cousot, Radhia. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

9. SOFSEM 2005: Theory and Practice of Computer Science [Recurso electrónico] / 31st Conference on Current Trends in Theory and Practice of Computer Science, LiptovskÃư Ján, Slovakia, January 22-28, 2005, Proceedings edited by Maria Bieliková, C by Bieliková, Maria. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

10. Practical Aspects of Declarative Languages (vol. # 3350) [Recurso electrónico] / 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings edited by Daniel Cabeza, Manuel Hermenegildo. by Cabeza, Daniel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

11. Service Availability (vol. # 3335) [Recurso electrónico] / First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers edited by JÃœrg Kaiser, Miroslaw Malek, Manfred Reitenspieß. by Kaiser, JÃœrg. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

12. Information Networking [Recurso electrónico] / Convergence in Broadband and Mobile Networking. International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings edited by Cheeha Kim. by Kim, Cheeha. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

13. Formal Concept Analysis (vol. # 3403) [Recurso electrónico] / Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings edited by Bernhard Ganter, Robert Godin. by Ganter, Bernhard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

14. COTS-Based Software Systems [Recurso electrónico] / 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings edited by Xavier Franch, Dan Port. by Franch, Xavier. 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. # 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:

16. Shared Memory Parallel Programming with Open MP [Recurso electrónico] / 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 edited by Barbara M. Chapman. by Chapman, Barbara M. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

17. Software Engineering for Multi-Agent Systems III [Recurso electrónico] / Research Issues and Practical Applications edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

19. RoboCup 2004: Robot Soccer World Cup VIII [Recurso electrónico] / edited by Daniele Nardi, Martin Riedmiller, Claude Sammut, José Santos-Victor. by Nardi, Daniele. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

20. Mechanizing Mathematical Reasoning [Recurso electrónico] / Essays in Honor of JÃœrg H. Siekmann on the Occasion of His 60th Birthday edited by Dieter Hutter, Werner Stephan. by Hutter, Dieter. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha