Refine your search

Your search returned 102 results.

|
1.
2.
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).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

3.
Implementation and Application of Functional Languages [Recurso electrónico] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage.

by Gill, Andy | Hage, Jurriaan.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

4.
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [Recurso electrónico] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings / edited by Jens B. Schmitt.

by Schmitt, Jens B.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

5.
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).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

6.
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).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

7.
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).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

8.
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).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

9.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) [Recurso electrónico] / Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers edited by Gilles Barthe, Benj

by Barthe, Gilles | Gregoire, Benjamin | Huisman, Marieke | Lanet, Jean-Luis | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

10.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) [Recurso electrónico] / International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers edited by Gilles BartheLilian

by Barthe, Gilles | Burdy, Lilian | Huisman, Marieke | Lanet, Jean-Louis | Muntean, Traian | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

11.
Rewriting, Computation and Proof [Recurso electrónico] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, HélÃn̈e Kirchner.

by Comon-Lundh, Hubert | Kirchner, Claude | Kirchner, HélÃn̈e | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

12.
Functional and Logic Programming [Recurso electrónico] / 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings edited by Masami Hagiya, Philip Wadler.

by Hagiya, Masami | Wadler, Philip | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

13.
Programming Languages and Systems [Recurso electrónico] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings / edited by Ranjit Jhala, Atsushi Igarashi.

by Jhala, Ranjit | Igarashi, Atsushi.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

14.
15.
Logic and Program Semantics [Recurso electrónico] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva.

by Constable, Robert L | Silva, Alexandra.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

16.
Functional and Logic Programming [Recurso electrónico] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / edited by Tom Schrijvers, Peter Thiemann.

by Schrijvers, Tom | Thiemann, Peter.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

17.
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).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

18.
Tests and Proofs [Recurso electrónico] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand.

by Brucker, Achim D | Julliand, Jacques.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

19.
Tests and Proofs [Recurso electrónico] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand.

by Brucker, Achim D | Julliand, Jacques.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

20.
Fundamentals of Software Engineering [Recurso electrónico] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.

by Arbab, Farhad | Sirjani, Marjan.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

Powered by Koha