Your search returned 216 results.

Sort
Results
Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] / International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert.

by Beckert, Bernhard | SpringerLink (Online service).

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

Frontiers of Combining Systems [Recurso electrónico] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / edited by Boris Konev, Frank Wolter.

by Konev, Boris | Wolter, Frank | SpringerLink (Online service).

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

Component-Based Software Engineering (vol. # 3489) [Recurso electrónico] / 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 edited by Ivica CrnkovicGeorge Heineman, Heinz W. Schmidt, Judith A. Stafford et al.

by Crnkovic, Ivica | Heineman, George | Schmidt, Heinz W | Stafford, Judith A | Szyperski, Clemens | Wallnau, Kurt | SpringerLink (Online service).

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

Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti.

by Olivetti, Nicola | SpringerLink (Online service).

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

Integrated Formal Methods [Recurso electrónico] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons.

by Davies, Jim | Gibbons, Jeremy | SpringerLink (Online service).

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

Practical Aspects of Declarative Languages (vol. # 3819) [Recurso electrónico] / 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings edited by Pascal van Hentenryck.

by van Hentenryck, Pascal | SpringerLink (Online service).

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

Refinement Techniques in Software Engineering [Recurso electrónico] / First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures edited by Ana Cavalcanti, Augusto Sampaio,

by Cavalcanti, Ana | Sampaio, Augusto | Woodcock, Jim | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3167Source: 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 (vol. # 4089) [Recurso electrónico] / 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers edited by Welf LÃœwe, Mario SÃơdholt.

by LÃœwe, Welf | SÃơdholt, Mario | SpringerLink (Online service).

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

Component-Based Software Engineering [Recurso electrónico] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford.

by Schmidt, Heinz W | Crnkovic, Ivica | Heineman, George T | Stafford, Judith A | SpringerLink (Online service).

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

Unifying Theories of Programming [Recurso electrónico] / First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers edited by Steve Dunne, Bill Stoddart.

by Dunne, Steve | Stoddart, Bill | SpringerLink (Online service).

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

Coordination Models and Languages (vol. # 3454) [Recurso electrónico] / 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings edited by Jean-Marie Jacquet, Gian Pietro Picco.

by Jacquet, Jean-Marie | Picco, Gian Pietro | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3454Source: 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 Based Program Synthesis and Transformation (vol. # 3901) [Recurso electrónico] / 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers edited by Patricia M. Hill.

by Hill, Patricia M | SpringerLink (Online service).

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

CONCUR 2007 - Concurrency Theory [Recurso electrónico] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / edited by LuÃ{u037F}s Caires, Vasco T. Vasconcelos.

by Caires, LuÃ{u037F}s | Vasconcelos, Vasco T | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4703Source: 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. # 3666) [Recurso electrónico] / 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings edited by Beniamino Di Martino, Ja

by Di Martino, Beniamino | Dongarra, Jack | KranzlmÃơller, Dieter | SpringerLink (Online service).

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

Ambient Networks [Recurso electrónico] / 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings edited by JÃơrgen SchÃœnwÃÞlder, Joan Serrat.

by SchÃœnwÃÞlder, JÃơrgen | Serrat, Joan | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3775Source: 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] : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / edited by Rory V. Oâ€{u3BEE}nor, Nathan Baddoo, Kari Smolander, Richard Messnarz.

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

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

Component-Based Software Engineering (vol. # 4063) [Recurso electrónico] / 9th International Symposium, CBSE 2006, VÃÞsteras, Sweden, June 29 - July 1, 2006, Proceedings edited by Ian GortonGeorge T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt

by Gorton, Ian | Crnkovic, Ivica | Heinemann, George T | Schmidt, Heinz W | Stafford, Judith A | Szyperski, Clemens | Wallnau, Kurt | SpringerLink (Online service).

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

Principles of Distributed Systems (vol. # 3974) [Recurso electrónico] / 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer.

by Anderson, James H | Prencipe, Giuseppe | Wattenhofer, Roger | SpringerLink (Online service).

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

CONCUR 2006 - Concurrency Theory [Recurso electrónico] / 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 edited by Christel Baier, Holger Hermanns.

by Baier, Christel | Hermanns, Holger | SpringerLink (Online service).

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

Principles of Distributed Systems (vol. # 4305) [Recurso electrónico] / 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings edited by Alexander A. Shvartsman.

by Shvartsman, Alexander A | SpringerLink (Online service).

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