Your search returned 216 results.

Sort
Results
Static Analysis (vol. # 4134) [Recurso electrónico] / 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings edited by Kwangkeun Yi.

by Yi, Kwangkeun | SpringerLink (Online service).

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

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 | Huhns, Michael N | KlÃơgl, Franziska | Klusch, Matthias | Lamersdorf, Winfried | SpringerLink (Online service).

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

Languages and Compilers for Parallel Computing (vol. # 2481) [Recurso electrónico] / 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers edited by Bill Pugh, Chau-Wen Tseng.

by Pugh, Bill | Tseng, Chau-Wen | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2481Source: 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 Process Improvement [Recurso electrónico] : 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings / edited by Rory V. Oâ€{u3BEE}nor, Nathan Baddoo, Juan Cuadrago Gallego, Ricardo Rejas Muslera, Kari Smolander, Richard Messnarz.

by Oâ€{u3BEE}nor, Rory V | Baddoo, Nathan | Cuadrago Gallego, Juan | Rejas Muslera, Ricardo | Smolander, Kari | Messnarz, Richard | SpringerLink (Online service).

Series: Communications in Computer and Information Science ; 42Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.

Dependable Networks and Services [Recurso electrónico] : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings / edited by Ramin Sadre, JirÃ{u03AF}votnÃ{uC810}avel Celeda, Martin Waldburger, Burkhard Stiller.

by Sadre, Ramin | NovotnÃ{uC80A}irÃ{uE029} | Celeda, Pavel | Waldburger, Martin | Stiller, Burkhard.

Series: Lecture Notes in Computer Science ; 7279Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

Coordination Models and Languages (vol. # 4038) [Recurso electrónico] / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Paolo Ciancarini, Herbert Wiklicky.

by Ciancarini, Paolo | Wiklicky, Herbert | SpringerLink (Online service).

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

Modular Programming Languages [Recurso electrónico] / 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings edited by David Lightfoot, Clemens Szyperski.

by Lightfoot, David | Szyperski, Clemens | SpringerLink (Online service).

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

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

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

Component Deployment [Recurso electrónico] / Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings edited by Alan Dearle, Susan Eisenbach.

by Dearle, Alan | Eisenbach, Susan | SpringerLink (Online service).

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

Implementation and Application of Functional Languages [Recurso electrónico] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage.

by Gill, Andy | Hage, Jurriaan.

Series: Lecture Notes in Computer Science ; 7257Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available.

Functional and Logic Programming [Recurso electrónico] / 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings edited by Masami Hagiya, Philip Wadler.

by Hagiya, Masami | Wadler, Philip | SpringerLink (Online service).

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

Model Checking and Artificial Intelligence [Recurso electrónico] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio.

by Edelkamp, Stefan | Lomuscio, Alessio | SpringerLink (Online service).

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

Soft Computing Methods for Microwave and Millimeter-Wave Design Problems [Recurso electrónico] / by Narendra Chauhan, Machavaram Kartikeyan, Ankush Mittal.

by Chauhan, Narendra | Kartikeyan, Machavaram | Mittal, Ankush.

Series: Studies in Computational Intelligence ; 392Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

Coordination Models and Languages [Recurso electrónico] : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings / edited by Marjan Sirjani.

by Sirjani, Marjan.

Series: Lecture Notes in Computer Science ; 7274Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

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 | Li, Zhiyuan | Midkiff, Samuel P | SpringerLink (Online service).

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

Multiagent System Technologies (vol. # 4196) [Recurso electrónico] / 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings edited by Klaus Fischer, Elisabeth André, Ingo J. Timm, Ning Zhong.

by Fischer, Klaus | André, Elisabeth | Timm, Ingo J | Zhong, Ning | SpringerLink (Online service).

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

Logic Programming (vol. # 4079) [Recurso electrónico] / 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Sandro Etalle, Miroslav Truszczynski.

by Etalle, Sandro | Truszczynski, Miroslav | SpringerLink (Online service).

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

Trustworthy Global Computing [Recurso electrónico] / International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers edited by Rocco De Nicola, Davide Sangiorgi.

by De Nicola, Rocco | Sangiorgi, Davide | SpringerLink (Online service).

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

Applications of Evolutionary Computing (vol. # 3449) [Recurso electrónico] / Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC edited by JÃơrgen BrankeStefano Cagnoni, David W. Corne, Rolf Drechsler et al.

by Branke, JÃơrgen | Cagnoni, Stefano | Corne, David W | Drechsler, Rolf | Jin, Yaochu | Machado, Penousal | Marchiori, Elena | Romero, Juan | Rothlauf, Franz | Smith, George D | Squillero, Giovanni | SpringerLink (Online service).

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

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

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