Refine your search

Your search returned 100 results. Subscribe to this search

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

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

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

4. Multiparadigm Programming in Mozart [Recurso electrónico] / Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers edited by Peter Van Roy. by Van Roy, Peter. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

5. Programming Languages and Systems (vol. # 3444) [Recurso electrónico] / 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, by Sagiv, Mooly. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

6. Typed Lambda Calculi and Applications [Recurso electrónico] / 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings edited by Pawel Urzyczyn. by Urzyczyn, Pawel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

7. Communicating Sequential Processes. The First 25 Years [Recurso electrónico] / Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. by Abdallah, Ali E. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

8. Component-Based Software Engineering (vol. # 3489) [Recurso electrónico] / 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 edited by Ivica CrnkovicGeorge Heineman, Heinz W. Schmidt, Judith A. Stafford et al. by Crnkovic, Ivica. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

9. Implementation and Application of Functional Languages (vol. # 3474) [Recurso electrónico] / 16th International Workshop, IFL 2004, LÃơbeck, Germany, September 8-10, 2004, Revised Selected Papers edited by Clemens Grelck, Frank Huch, Greg Mich by Grelck, Clemens. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

10. Constraint Solving and Language Processing [Recurso electrónico] / First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers edited by Henning Christiansen, Peter Rossen Skadhauge, JÃ ̧ by Christiansen, Henning. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

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

13. Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) [Recurso electrónico] / 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings edited by Hubert Baumeister, Mike Holcombe, Michele Marc by Baumeister, Hubert. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

14. Reliable Software Technology - Ada-Europe 2005 [Recurso electrónico] / 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings edited by Tullio Vardanega, Andy Wellings. by Vardanega, Tullio. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

15. FM 2005: Formal Methods [Recurso electrónico] / International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

17. Languages and Compilers for High Performance Computing [Recurso electrónico] / 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers edited by Rudolf Eigenmann, Zhiyuan Li, Samuel P. M by Eigenmann, Rudolf. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

18. CONCUR 2005 - Concurrency Theory [Recurso electrónico] / 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings edited by MartÃ{u037F}n Abadi, Luca de Alfaro. by Abadi, MartÃ{u037F}n. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

19. Advanced Functional Programming [Recurso electrónico] / 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures edited by Tarmo Uustalu, Varmo Vene. by Uustalu, Tarmo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

20. Static Analysis (vol. # 3672) [Recurso electrónico] / 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings edited by Chris Hankin, Igor Siveroni. by Hankin, Chris. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha