Refine your search

Your search returned 169 results.

|
1.
Types for Proofs and Programs [Recurso electrónico] / International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers edited by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner.

by Filliatre, Jean-Christophe | Paulin-Mohring, Christine | Werner, Benjamin | 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

2.
Quality of Software Architectures and Software Quality [Recurso electrónico] / First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German

by Becker, Steffen | Mayer, Johannes | Overhage, Sven | Reussner, Ralf | Schroeder, Patrick J | Stafford, Judith A | 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

3.
Foundations of Security Analysis and Design III [Recurso electrónico] / FOSAD 2004/2005 Tutorial Lectures edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.

by Aldini, Alessandro | Gorrieri, Roberto | Martinelli, Fabio | 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

4.
Implementation and Application of Automata (vol. # 4094) [Recurso electrónico] / 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings edited by Oscar H. Ibarra, Hsu-Chun Yen.

by Ibarra, Oscar H | Yen, Hsu-Chun | 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

5.
Foundations of Information and Knowledge Systems [Recurso electrónico] / 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings edited by JÃơrgen Dix, Stephen J. Hegner.

by Dix, JÃơrgen | Hegner, Stephen J | 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.
Implementation and Application of Automata (vol. # 3845) [Recurso electrónico] / 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers edited by Jacques Farré, Igor Litovsky, Sylvain Sch

by Farré, Jacques | Litovsky, Igor | Schmitz, Sylvain | 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.
Formal Modeling and Analysis of Timed Systems (vol. # 3829) [Recurso electrónico] / Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings edited by Paul Pettersson, Wang Yi.

by Pettersson, Paul | Yi, Wang | 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.
Foundations of Software Science and Computational Structures (vol. # 3921) [Recurso electrónico] / 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn

by Aceto, Luca | Ingólfsdóttir, Anna | 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

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

10.
Formal Modeling and Analysis of Timed Systems (vol. # 4202) [Recurso electrónico] / 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings edited by Eugene Asarin, Patricia Bouyer.

by Asarin, Eugene | Bouyer, Patricia | 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

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

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

13.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [Recurso electrónico] / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings edited by R. Ramanujam, Sandeep Sen.

by Ramanujam, R | Sen, Sandeep | 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

14.
Foundations of Software Science and Computational Structures (vol. # 3441) [Recurso electrónico] / 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edite

by Sassone, Vladimiro | 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

15.
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [Recurso electrónico] / 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings edited by S. Arun-Kumar, Naveen Garg.

by Arun-Kumar, S | Garg, Naveen | 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

16.
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) [Recurso electrónico] / 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, V

by Hermanns, Holger | Palsberg, Jens | 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

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

18.
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) [Recurso electrónico] / 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed

by Halbwachs, Nicolas | Zuck, Lenore | 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

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

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

Powered by Koha