Your search returned 102 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 ; 4449Source: 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.

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 ; 4015Source: 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.

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 ; 3474Source: 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.

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.

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.

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.

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.

Typed Lambda Calculi and Applications [Recurso electrónico] / 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings edited by Pawel Urzyczyn.

by Urzyczyn, Pawel | SpringerLink (Online service).

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

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.

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.

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.

Logic Based Program Synthesis and Transformation (vol. # 3573) [Recurso electrónico] / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers edited by Sandro Etalle.

by Etalle, Sandro | SpringerLink (Online service).

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

CONCUR 2005 - Concurrency Theory [Recurso electrónico] / 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings edited by MartÃ{u037F}n Abadi, Luca de Alfaro.

by Abadi, MartÃ{u037F}n | de Alfaro, Luca | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3653Source: 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 Composition (vol. # 3628) [Recurso electrónico] / 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers edited by Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz.

by Assmann, Uwe | Gschwind, Thomas | Nierstrasz, Oscar | SpringerLink (Online service).

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

Pages

Powered by Koha