IST Austria Library

Your search returned 5 results.

Not what you expected? Check for suggestions
1.
Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 / Holger Giese (ed.).

by ISARCS 2010 (2010 : Prague, Czech Republic) | Giese, Holger.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2010Other title: ISARCS 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
2.
Model-based engineering of embedded real-time systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers / Holger Giese [and others] (eds.).

by International Seminar on Model-Based Engineering of Embedded Real-Time Systems (2007 : Dagstuhl, Wadern, Germany) | Giese, Holger.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
3.
Formal techniques for distributed systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / Holger Giese, Grigore Rosu (eds.).

by International Conference on Formal Methods for Open Object-Based Distributed Systems (14th : 2012 : Stockholm, Sweden) | Giese, Holger | Roşu, Grigore | FORTE 2012 (2012 : Sweden, Switzerland).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: FMOODS 2012 | FORTE 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
4.
Graph transformation : 7th International Conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22-24, 2014. Proceedings / Holger Giese, Barbara König (eds.).

by ICGT (Conference) (7th : 2014 : York, England) | Giese, Holger [editor.] | König, Barbara (Professor of Information Engineering) [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: ICGT 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
5.
Software engineering for self-adaptive systems. III, Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised selected and invited papers / Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese (eds.).

by Software Engineering for Self-Adaptive Systems (Seminar) (3rd : 2013 : Dagstuhl, Wadern, Germany) | Lemos, Rogério de, 1961- [editor.] | Garlan, David [editor.] | Ghezzi, Carlo [editor.] | Giese, Holger [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2017Other title: Assurances.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha