IST Austria Library

Your search returned 6 results.

Not what you expected? Check for suggestions
1.
Model checking software : 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings / Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.).

by International SPIN Workshop (15th : 2008 : Los Angeles, Calif.) | Havelund, Klaus, 1955- | Majumdar, Rupak | Palsberg, Jens.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2008Online 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.
Hybrid systems : computation and control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, proceedings / Rupak Majumdar, Paulo Tabuada (Eds.).

by HSCC (Conference) (2009 : San Francisco, Calif.) | Majumdar, Rupak | Tabuada, Paulo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2009Other title: HSCC 2009.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
3.
Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings / Javier Esparza, Rupak Majumdar (eds.).

by TACAS (Conference) (16th : 2010 : Paphos, Cyprus) | Esparza, Javier | Majumdar, Rupak.

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
4.
Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.).

by RV (Conference) (6th : 2015 : Vienna, Austria) | Bartocci, Ezio (Computer scientist) [editor.] | Majumdar, Rupak [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: RV 2015.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.
Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part II / Rupak Majumdar, Viktor Kunčak (eds.).

by CAV (Conference) (29th : 2017 : Heidelberg, Germany) | Majumdar, Rupak [editor.] | Kuncak, Viktor [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2017Other title: CAV 2017.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
6.
Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part I / Rupak Majumdar, Viktor Kunčak (eds.).

by CAV (Conference) (29th : 2017 : Heidelberg, Germany) | Majumdar, Rupak [editor.] | Kuncak, Viktor [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: CAV 2017.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