Your search returned 216 results.

Sort
Results
Objects, Models, Components, Patterns [Recurso electrónico] : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings / edited by Carlo A. Furia, Sebastian Nanz.

by Furia, Carlo A | Nanz, Sebastian.

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

ECOOP 2012 - Object-Oriented Programming [Recurso electrónico] : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings / edited by James Noble.

by Noble, James.

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

Reconfigurable Computing: Architectures, Tools and Applications [Recurso electrónico] : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings / edited by Oliver C. S. Choy, Ray C. C. Cheung, Peter Athanas, Kentaro Sano.

by Choy, Oliver C. S | Cheung, Ray C C | Athanas, Peter | Sano, Kentaro.

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

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [Recurso electrónico] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings / edited by Jens B. Schmitt.

by Schmitt, Jens B.

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

Formal Methods and Software Engineering [Recurso electrónico] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi.

by Aoki, Toshiaki | Taguchi, Kenji.

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

Middleware 2006 [Recurso electrónico] / ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings edited by Maarten van Steen, Michi Henning.

by van Steen, Maarten | Henning, Michi | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4290Source: 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 [Recurso electrónico] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka NiemelÃÞ.

by Dahl, Véronica | NiemelÃÞ, Ilkka | SpringerLink (Online service).

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

Job Scheduling Strategies for Parallel Processing (vol. # 3277) [Recurso electrónico] / 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegels

by Feitelson, Dror | Rudolph, Larry | Schwiegelshohn, Uwe | SpringerLink (Online service).

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

Experimental Algorithms [Recurso electrónico] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / edited by Ralf Klasing.

by Klasing, Ralf.

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

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) [Recurso electrónico] / 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings edited by Geoff Sutcliffe, Andrei Voronkov.

by Sutcliffe, Geoff | Voronkov, Andrei | SpringerLink (Online service).

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

Job Scheduling Strategies for Parallel Processing (vol. # 3834) [Recurso electrónico] / 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers edited by Dror Feitelson, Eitan Frachtenberg, Larry Ru

by Feitelson, Dror | Frachtenberg, Eitan | Rudolph, Larry | Schwiegelshohn, Uwe | SpringerLink (Online service).

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

Logic Programming (vol. # 3668) [Recurso electrónico] / 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings edited by Maurizio Gabbrielli, Gopal Gupta.

by Gabbrielli, Maurizio | Gupta, Gopal | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3668Source: 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. # 3907) [Recurso electrónico] / EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings edited by Franz Roth

by Rothlauf, Franz | Branke, JÃơrgen | Cagnoni, Stefano | Costa, Ernesto | Cotta, Carlos | Drechsler, Rolf | Lutton, Evelyne | Machado, Penousal | Moore, Jason H | Romero, Juan | Smith, George D | Squillero, Giovanni | Takagi, Hideyuki | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3907Source: 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 Composition [Recurso electrónico] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book.

by Gschwind, Thomas | Paoli, Flavio | Gruhn, Volker | Book, Matthias.

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

Reliable Software Technologies- Ada-Europe 2012 [Recurso electrónico] : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / edited by Mats Brorsson, Luís Miguel Pinho.

by Brorsson, Mats | Pinho, Luís Miguel.

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

Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [Recurso electrónico] / 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Roberto Gorrieri, Heike Wehrheim.

by Gorrieri, Roberto | Wehrheim, Heike | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4037Source: 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 Applications and Interoperable Systems (vol. # 4025) [Recurso electrónico] / 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 edited by Frank Eliassen, Alberto Montresor.

by Eliassen, Frank | Montresor, Alberto | SpringerLink (Online service).

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

Architecting Systems with Trustworthy Components [Recurso electrónico] / International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski.

by Reussner, Ralf H | Stafford, Judith A | Szyperski, Clemens A | SpringerLink (Online service).

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

Parallel Problem Solving from Nature - PPSN IX [Recurso electrónico] / 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings edited by Thomas Philip RunarssonHans-Georg Beyer, Edmund Burke, Juan J. Merelo-Guervós

by Runarsson, Thomas Philip | Beyer, Hans-Georg | Burke, Edmund | Merelo-Guervós, Juan J | Whitley, L. Darrell | Yao, Xin | SpringerLink (Online service).

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

Advanced Topics in Exception Handling Techniques [Recurso electrónico] / edited by Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi.

by Dony, Christophe | Knudsen, Jorgen Lindskov | Romanovsky, Alexander | Tripathi, Anand | SpringerLink (Online service).

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

Pages

Powered by Koha