Your search returned 12 results.

Not what you expected? Check for suggestions
1.
Probabilistic and statistical methods in cryptology : an introduction by selected topics / Daniel Neuenschwander.

by Neuenschwander, Daniel, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock (eds.).

by International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China) | George, Chris W | Liu, Zhiming, 1961- | Woodcock, Jim | ICTAC (Colloquium) (4th : 2007 : Macau, China).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Duration caculus.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures / Marco Bernardo, Jane Hillston (eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th : 2007 : Bertinoro, Italy) | Bernardo, Marco | Hillston, J. (Jane), 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Formal methods for the design of computer, communication and software systems | SFM 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Human-centered visualization environments : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006 : revised lectures / Andreas Kerren, Achim Ebert, Jörg Meyer (eds.).

by GI-Dagstuhl Research Seminar (2006 : Dagstuhl, Wadern, Germany) | Kerren, Andreas | Ebert, Achim | Meyer, Jörg, Dr.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Embedded systems design : the ARTIST roadmap for research and development / Bruno Bouyssounouse, Joseph Sifakis (eds.).

by Bouyssounouse, Bruno | Sifakis, J. (Joseph), 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: ARTIST roadmap for research and development.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures / Varmo Vene, Tarmo Uustalu (eds.).

by AFP 2004 (2004 : Tartu, Estonia) | Vene, Varmo | Uustalu, Tarmo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: AFP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures / Frank S. de Boer [and others] (eds.).

by FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands) | Boer, Frank S. de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: FMCO 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures / Pedro Barahona [and others] (eds.).

by Summer School on Reasoning Web (2nd : 2006 : Lisbon, Portugal) | Barahona, P. (Pedro), 1954-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Software engineering education in the modern age : software education and training sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005 : revised lectures / Paola Inverardi, Mehdi Jazayeri (eds.).

by Inverardi, Paola | Jazayeri, Mehdi | International Conference on Software Engineering (2005 : Saint Louis, Mo.).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: International Conference on Software Engineering | ICSE 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures / Ana Bove [and others] (eds.).

by LerNet ALFA Summer School (2008 : Piriapolis, Uruguay) | Bove, Ana.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures / Alessandro Aldini [and others] (eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th : 2010 : Bertinoro, Italy) | Aldini, Alessandro.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: SFM 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Lectures on runtime verification : introductory and advanced topics / edited by Ezio Bartocci, Yliès Falcone.

by Bartocci, Ezio (Computer scientist) [editor.] | Falcone, Yliès [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2018Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha