Your search returned 158 results.

Sort
Results
Advanced Functional Programming [Recurso electrónico] / 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures edited by Tarmo Uustalu, Varmo Vene.

by Uustalu, Tarmo | Vene, Varmo | SpringerLink (Online service).

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

Central European Functional Programming School [Recurso electrónico] / First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures edited by Zoltán Horváth.

by Horváth, Zoltán | SpringerLink (Online service).

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

Reuse of Off-the-Shelf Components [Recurso electrónico] / 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings edited by Maurizio Morisio.

by Morisio, Maurizio | SpringerLink (Online service).

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

Open Source Ecosystems: Diverse Communities Interacting [Recurso electrónico] : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, SkÃœvde, Sweden, June 3-6, 2009. Proceedings / edited by Cornelia Boldyreff, Kevin Crowston, BjÃœrn Lundell, Anthony I. Wasserman.

by Boldyreff, Cornelia | Crowston, Kevin | Lundell, BjÃœrn | Wasserman, Anthony I | SpringerLink (Online service).

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

Practical Aspects of Declarative Languages (vol. # 3350) [Recurso electrónico] / 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings edited by Daniel Cabeza, Manuel Hermenegildo.

by Cabeza, Daniel | Hermenegildo, Manuel | SpringerLink (Online service).

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

Communicating Sequential Processes. The First 25 Years [Recurso electrónico] / Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders.

by Abdallah, Ali E | Jones, Cliff B | Sanders, Jeff W | SpringerLink (Online service).

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

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.

Perspectives of Systems Informatics [Recurso electrónico] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov.

by Virbitskaite, Irina | Voronkov, Andrei | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4378Source: 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] / 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol.

by Romijn, Judi M.T | Smith, Graeme P | van de Pol, Jaco C | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3771Source: 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] / 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings edited by Bernhard Gramlich.

by Gramlich, Bernhard | SpringerLink (Online service).

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

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.

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.

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.

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.

Pages

Powered by Koha