Your search returned 216 results.

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; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

First
Previous
2
3
4
5
6
7
8
9
10
11

Powered by Koha