Your search returned 299 results.

Sort
Results
Implementation and Application of Functional Languages [Recurso electrónico] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Zoltán Horváth, Viktória Zsók, Andrew Butterfield.

by Horváth, Zoltán | Butterfield, Andrew | Zsók, Viktória | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4449Material 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.

Implementation and Application of Functional Languages (vol. # 4015) [Recurso electrónico] / 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers edited by Andrew Butterfield, Clemens Grelck,

by Butterfield, Andrew | Grelck, Clemens | Huch, Frank | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4015Material 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.

Implementation and Application of Functional Languages (vol. # 3474) [Recurso electrónico] / 16th International Workshop, IFL 2004, LÃơbeck, Germany, September 8-10, 2004, Revised Selected Papers edited by Clemens Grelck, Frank Huch, Greg Mich

by Grelck, Clemens | Huch, Frank | Michaelson, Greg | Trinder, Phil | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3474Material 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.

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot.

by Cousot, Radhia | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3385Material 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.

Model-Based Testing of Reactive Systems [Recurso electrónico] / Advanced Lectures edited by Manfred BroyBengt Jonsson, Joost-Pieter Katoen, Martin Leucker et al.

by Broy, Manfred | Jonsson, Bengt | Katoen, Joost-Pieter | Leucker, Martin | Pretschner, Alexander | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3472Material 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.

Formal Methods and Software Engineering (vol. # 3785) [Recurso electrónico] / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings edited by Richard Banach, Kung-Kiu Lau.

by Banach, Richard | Lau, Kung-Kiu | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3785Material 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.

ZB 2005: Formal Specification and Development in Z and B [Recurso electrónico] / 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings edited by Martin Henson, Steve King, Steve Schneider, Helen Treharne

by Henson, Martin | King, Steve | Schneider, Steve | Treharne, Helen | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3455Material 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.

Model Checking Software [Recurso electrónico] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bosnacki, Stefan Edelkamp.

by Bosnacki, Dragan | Edelkamp, Stefan | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4595Material 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.

Model Checking Software (vol. # 3639) [Recurso electrónico] / 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings edited by Patrick Godefroid.

by Godefroid, Patrick | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3639Material 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.

Fundamental Approaches to Software Engineering (vol. # 3922) [Recurso electrónico] / 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March

by Baresi, Luciano | Heckel, Reiko | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3922Material 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.

Model Checking Software (vol. # 3925) [Recurso electrónico] / 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings edited by Antti Valmari.

by Valmari, Antti | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3925Material 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.

Verification, Model Checking, and Abstract Interpretation (vol. # 3855) [Recurso electrónico] / 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings edited by E. Allen Emerson, Kedar S. Namjoshi.

by Emerson, E. Allen | Namjoshi, Kedar S | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3855Material 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.

Formal Methods and Software Engineering (vol. # 4260) [Recurso electrónico] / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings edited by Zhiming Liu, Jifeng He.

by Liu, Zhiming | He, Jifeng | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4260Material 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.

Fundamental Approaches to Software Engineering (vol. # 3442) [Recurso electrónico] / 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April

by Cerioli, Maura | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3442Material 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.

Hardware and Software, Verification and Testing [Recurso electrónico] / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal.

by Ur, Shmuel | Bin, Eyal | Wolfsthal, Yaron | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3875Material 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.

Variations on Constants [Recurso electrónico] / Flow Analysis of Sequential and Parallel Programs edited by Markus MÃơller-Olm.

by MÃơller-Olm, Markus | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3800Material 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.

B 2007: Formal Specification and Development in B [Recurso electrónico] / 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings edited by Jacques Julliand, Olga Kouchnarenko.

by Julliand, Jacques | Kouchnarenko, Olga | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4355Material 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.

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, 0302-9743 ; ; 3771Material 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] : 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, 0302-9743 ; ; 4378Material 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.

Formal Techniques for Networked and Distributed Systems - FORTE 2006 [Recurso electrónico] / 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings edited by Elie Najm, Jean-Francois Pradat-Peyre, Véroniq

by Najm, Elie | Donzeau-Gouge, Véronique Viguié | Pradat-Peyre, Jean-Francois | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4229Material 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