|
|
1.
|
Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle. by Baier, Christel [editor.] | Haverkort, Boudewijn R [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | Siegle, Markus [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
|
|
2.
|
Component Deployment [electronic resource] : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004. Proceedings / edited by Wolfgang Emmerich, Alexander L. Wolf. by Emmerich, Wolfgang [editor.] | Wolf, Alexander L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
Formal Methods for Components and Objects [electronic resource] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :
|
|
|
8.
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings / edited by Elie Najm, Uwe Nestmann, Perdita Stevens. by Najm, Elie [editor.] | Nestmann, Uwe [editor.] | Stevens, Perdita [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :
|
|
|
9.
|
Formal Techniques for Networked and Distributed Systems - FORTE 2003 [electronic resource] : 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings / edited by Hartmut König, Monika Heiner, Adam Wolisz. by König, Hartmut [editor.] | Heiner, Monika [editor.] | Wolisz, Adam [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :
|
|
|
10.
|
|
|
|
11.
|
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [electronic resource] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers / edited by Corrado Priami. by Priami, Corrado [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :
|
|
|
12.
|
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings / edited by Wolfgang Weck, Jürg Gutknecht. by Weck, Wolfgang [editor.] | Gutknecht, Jürg [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: No items available :
|
|
|
13.
|
Embedded Software [electronic resource] : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings / edited by Rajeev Alur, Insup Lee. by Alur, Rajeev [editor.] | Lee, Insup [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :
|
|
|
14.
|
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings / edited by László Böszörményi, Peter Schojer. by Böszörményi, László [editor.] | Schojer, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :
|
|
|
15.
|
Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings / edited by Jack Davidson, Sang Lyul Min. by Davidson, Jack [editor.] | Min, Sang Lyul [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available :
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
Persistent Object Systems: Design, Implementation, and Use [electronic resource] : 9th International Workshop, POS-9 Lillehammer, Norway, September 6–8, 2000 Revised Papers / edited by Graham N. C. Kirby, Alan Dearle, Dag I. K. Sjøberg. by Kirby, Graham N. C [editor.] | Dearle, Alan [editor.] | Sjøberg, Dag I. K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Other title: Design, Implementation, and Use.Online access: Click here to access online Availability: No items available :
|
|
|
21.
|
Real-Time: Theory in Practice [electronic resource] : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings / edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg. by Bakker, J. W [editor.] | Huizing, C [editor.] | Roever, W. P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: No items available :
|
|
|
22.
|
|
|
|
23.
|
|
|
|
24.
|
|
|
|
25.
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean. by Barthe, Gilles [editor.] | Burdy, Lilian [editor.] | Huisman, Marieke [editor.] | Lanet, Jean-Louis [editor.] | Muntean, Traian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available :
|
