Refine your search

Your search returned 180 results.

|
1.
Interactive Systems. Design Specification, and Verification [Recurso electrónico] / 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers edited by Stephen W. Gilroy, Michael D. Harrison.

by Gilroy, Stephen W | Harrison, Michael D | 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.
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

3.
Correct Hardware Design and Verification Methods [Recurso electrónico] / 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, SaarbrÃơcken, Germany, October 3-6, 2005, Proceedings edited by Dominique Borrione, Wolfgang Paul.

by Borrione, Dominique | Paul, Wolfgang | 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.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) [Recurso electrónico] / 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings edited by Vassili

by Paliouras, Vassilis | Verkest, Diederik | Vounckx, Johan | 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

5.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) [Recurso electrónico] / 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings edited by Joh

by Vounckx, Johan | Azemard, Nadine | Maurine, Philippe | 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.
Theorem Proving in Higher Order Logics [Recurso electrónico] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings edited by Joe Hurd, Tom Melham.

by Hurd, Joe | Melham, Tom | 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

7.
Computer Aided Verification (vol. # 4144) [Recurso electrónico] / 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Thomas Ball, Robert B. Jones.

by Ball, Thomas | Jones, Robert B | 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

8.
Computer Aided Verification (vol. # 3576) [Recurso electrónico] / 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings edited by Kousha Etessami, Sriram K. Rajamani.

by Etessami, Kousha | Rajamani, Sriram K | 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.
Evolvable Systems: From Biology to Hardware [Recurso electrónico] / 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings edited by Jordi Cosp, Jordi Madrenas, J. Manuel Moreno.

by Cosp, Jordi | Madrenas, Jordi | Moreno, J. Manuel | 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

10.
Job Scheduling Strategies for Parallel Processing (vol. # 3277) [Recurso electrónico] / 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegels

by Feitelson, Dror | Rudolph, Larry | Schwiegelshohn, Uwe | 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.
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).

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

12.
Job Scheduling Strategies for Parallel Processing (vol. # 3834) [Recurso electrónico] / 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers edited by Dror Feitelson, Eitan Frachtenberg, Larry Ru

by Feitelson, Dror | Frachtenberg, Eitan | Rudolph, Larry | Schwiegelshohn, Uwe | 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.
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).

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

14.
Advances in Computer Systems Architecture (vol. # 4186) [Recurso electrónico] / 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings edited by Chris Jesshope, Colin Egan.

by Jesshope, Chris | Egan, Colin | 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

15.
Advances in Computer Systems Architecture (vol. # 3740) [Recurso electrónico] / 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.

by Chang, Chip-Hong | Srikanthan, Thambipillai | Xue, Jingling | 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

16.
High Performance Embedded Architectures and Compilers [Recurso electrónico] / First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings edited by Tom ConteWen-mei W. Hwu, Nacho Navarro, Theo Ungerer et a

by Conte, Tom | Hwu, Wen-mei W | Navarro, Nacho | Ungerer, Theo | Valero, Mateo | 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

17.
Computer Aided Systems Theory - EUROCAST 2005 [Recurso electrónico] / 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers edited by Roberto Moreno-DÃ{u037F}

by Moreno-DÃ{u037F}az, Roberto | Pichler, Franz | Quesada Arencibia, Alexis | 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

18.
Processes, Terms and Cycles: Steps on the Road to Infinity [Recurso electrónico] / Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday edited by Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk.

by de Vrijer, Roel | Middeldorp, Aart | van Oostrom, Vincent | van Raamsdonk, Femke | 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.
Computer Science Logic (vol. # 4207) [Recurso electrónico] / 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings edited by Zoltán Üsik.

by Üsik, Zoltán | 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

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

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