Refine your search

Your search returned 186 results. Subscribe to this search

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

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

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

24. Logic Based Program Synthesis and Transformation (vol. # 3573) [Recurso electrónico] / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers edited by Sandro Etalle. by Etalle, Sandro. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

25. Advances in Grid Computing - EGC 2005 [Recurso electrónico] / European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers edited by M. BubakA.G. Hoekstra, T. Priol, A. Reinefeld et al. by Bubak, M. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

26. Principles of Distributed Systems (vol. # 3544) [Recurso electrónico] / 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers edited by Teruo Higashino. by Higashino, Teruo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

27. Metainformatics [Recurso electrónico] / International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers edited by Uffe Kock Wiil. by Kock Wiil, Uffe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

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

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

31. Inductive Logic Programming [Recurso electrónico] / 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings edited by Stefan Kramer, Bernhard Pfahringer. by Kramer, Stefan. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

33. Logic Programming and Nonmonotonic Reasoning [Recurso electrónico] / 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina. by Baral, Chitta. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

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

36. Multiagent System Technologies (vol. # 3550) [Recurso electrónico] / Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings edited by Torsten EymannMichael N. Huhns, Franziska KlÃơgl, Matthias Klusch et al. by Eymann, Torsten. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

38. Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] / International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert. by Beckert, Bernhard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

39. Computer Algebra in Scientific Computing (vol. # 3718) [Recurso electrónico] / 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Ganzha, Victor G. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

40. Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666) [Recurso electrónico] / 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings edited by Beniamino Di Martino, Ja by Di Martino, Beniamino. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha