Your search returned 216 results.

Sort
Results
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 | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3573Source: 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.

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

Series: Lecture Notes in Computer Science ; 3544Source: 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.

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 | de Alfaro, Luca | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3653Source: 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.

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 | Pfahringer, Bernhard | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3625Source: 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.

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 | Gschwind, Thomas | Nierstrasz, Oscar | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3628Source: 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.

Inductive Logic Programming [Recurso electrónico] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad.

by Muggleton, Stephen | Otero, Ramon | Tamaddoni-Nezhad, Alireza | SpringerLink (Online service).

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

Software Engineering for Multi-Agent Systems IV [Recurso electrónico] / Research Issues and Practical Applications edited by Alessandro GarciaRicardo Choren, Carlos Lucena, Paolo Giorgini et al.

by Garcia, Alessandro | Choren, Ricardo | Giorgini, Paolo | Holvoet, Tom | Lucena, Carlos | Romanovsky, Alexander | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3914Source: 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.

Recent Advances in Parallel Virtual Machine and Message Passing Interface [Recurso electrónico] : 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings. Franck Cappello, Thomas Herault, Ja

by Cappello, Franck | Dongarra, Jack | Herault, Thomas | SpringerLink (Online service).

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

Rewriting, Computation and Proof [Recurso electrónico] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, HélÃn̈e Kirchner.

by Comon-Lundh, Hubert | Kirchner, Claude | Kirchner, HélÃn̈e | SpringerLink (Online service).

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

Large Scale Management of Distributed Systems [Recurso electrónico] / 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings edited by Radu State,

by State, Radu | O'Sullivan, Declan | Pfeifer, Tom | van der Meer, Sven | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4269Source: 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.

Open Source Ecosystems: Diverse Communities Interacting [Recurso electrónico] : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, SkÜvde, Sweden, June 3-6, 2009. Proceedings / edited by Cornelia Boldyreff, Kevin Crowston, BjÜrn Lundell, Anthony I. Wasserman.

by Boldyreff, Cornelia | Crowston, Kevin | Lundell, BjÜrn | Wasserman, Anthony I | SpringerLink (Online service).

Series: IFIP Advances in Information and Communication Technology ; 299Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.

Distributed Computing [Recurso electrónico] : 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings / edited by Andrzej Pelc.

by Pelc, Andrzej | SpringerLink (Online service).

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

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 | Siveroni, Igor | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3672Source: 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.

Coordination Models and Languages [Recurso electrónico] / 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Amy L. Murphy, Jan Vitek.

by Murphy, Amy L | Vitek, Jan | SpringerLink (Online service).

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

Static Analysis [Recurso electrónico] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé.

by Nielson, Hanne Riis | Filé, Gilberto | SpringerLink (Online service).

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

Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192) [Recurso electrónico] / 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings edited by Bernd Mohr, Jesper Larsson

by Mohr, Bernd | Dongarra, Jack | Larsson TrÃÞff, Jesper | Worringen, Joachim | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4192Source: 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.

Distributed Computing (vol. # 4167) [Recurso electrónico] / 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings edited by Shlomi Dolev.

by Dolev, Shlomi | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4167Source: 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 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 | Garcia, Alessandro | Lucena, Carlos | Romanovsky, Alexander | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3390Source: 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.

Software Engineering for Multi-Agent Systems V [Recurso electrónico] : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky.

by Choren, Ricardo | Garcia, Alessandro | Giese, Holger | Leung, Ho-fung | Lucena, Carlos | Romanovsky, Alexander | SpringerLink (Online service).

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

Distributed Computing (vol. # 3724) [Recurso electrónico] / 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings edited by Pierre Fraigniaud.

by Fraigniaud, Pierre | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3724Source: 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.

Pages

Powered by Koha