Your search returned 216 results.

Sort
Results
Tools for Practical Software Verification [Recurso electrónico] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

by Meyer, Bertrand | Nordio, Martin.

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

S-BPM ONE â€{u04E5}tting the Stage for Subject-Oriented Business Process Management [Recurso electrónico] : First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers / edited by Hagen Buchwald, Albert Fleischmann, Detlef Seese, Christian Stary.

by Buchwald, Hagen | Fleischmann, Albert | Seese, Detlef | Stary, Christian | SpringerLink (Online service).

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

Large-Scale Scientific Computing [Recurso electrónico] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wa¿رniewski.

by Lirkov, Ivan | Margenov, Svetozar | Wa¿رniewski, Jerzy.

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

Graph Structures for Knowledge Representation and Reasoning [Recurso electrónico] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby.

by Croitoru, Madalina | Rudolph, Sebastian | Wilson, Nic | Howse, John | Corby, Olivier.

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

Leveraging Knowledge for Innovation in Collaborative Networks [Recurso electrónico] : 10th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2009, Thessaloniki, Greece, October 7-9, 2009. Proceedings / edited by Luis M. Camarinha-Matos, Iraklis Paraskakis, Hamideh Afsarmanesh.

by Camarinha-Matos, Luis M | Paraskakis, Iraklis | Afsarmanesh, Hamideh | SpringerLink (Online service).

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

Genetic Programming (vol. # 3905) [Recurso electrónico] / 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings edited by Pierre ColletMarco Tomassini, Marc Ebner, Steven Gustafson et al.

by Collet, Pierre | Ebner, Marc | Ekárt, Anikó | Gustafson, Steven | Tomassini, Marco | SpringerLink (Online service).

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

Principle and Practice of Constraint Programming - CP 2006 [Recurso electrónico] / 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings edited by Frédéric Benhamou.

by Benhamou, Frédéric | SpringerLink (Online service).

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

Genetic Programming (vol. # 3447) [Recurso electrónico] / 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings edited by Pierre ColletMaarten Keijzer, Andrea Tettamanzi, Marco Tomassini et al.

by Collet, Pierre | Keijzer, Maarten | Tettamanzi, Andrea | Tomassini, Marco | van Hemert, Jano | SpringerLink (Online service).

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

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

Series: Lecture Notes in Computer Science ; 3511Source: 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 and Practice of Constraint Programming - CP 2005 [Recurso electrónico] / 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 edited by Peter van Beek.

by van Beek, Peter | SpringerLink (Online service).

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

Perspectives of Systems Informatics [Recurso electrónico] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov.

by Clarke, Edmund | Virbitskaite, Irina | Voronkov, Andrei.

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

Computational Issues in Fluid Construction Grammar [Recurso electrónico] : A New Formalism for the Representation of Lexicons and Grammars / edited by Luc Steels.

by Steels, Luc.

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

Progress in VLSI Design and Test [Recurso electrónico] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay.

by Rahaman, Hafizur | Chattopadhyay, Sanatan | Chattopadhyay, Santanu.

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

Multiagent System Technologies [Recurso electrónico] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings / edited by Paolo Petta, JÃœrg P. MÃơller, Matthias Klusch, Michael Georgeff.

by Petta, Paolo | Georgeff, Michael | Klusch, Matthias | MÃơller, JÃœrg P | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4687Source: 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 Scientific Computing [Recurso electrónico] / 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski.

by Lirkov, Ivan | Margenov, Svetozar | Wasniewski, Jerzy | SpringerLink (Online service).

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

Diagrammatic Representation and Inference [Recurso electrónico] / 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda.

by Barker-Plummer, Dave | Cox, Richard | Swoboda, Nik | SpringerLink (Online service).

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