IST Austria Library

Your search returned 14 results.

Not what you expected? Check for suggestions
1.
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).

by International Andrei Ershov Memorial Conference (4th : 2001 : Akademgorodok, Novosibirsk, Russia) | Bjørner, D. (Dines), 1937- | Broy, M, 1949- | Zamulin, A. V. (Aleksandr Vasilʹevich) | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2001Other title: PSI 2001.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.
Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers / Manfred Broy, Alexandre V. Zamulin (eds.).

by International Andrei Ershov Memorial Conference (5th : 2003 : Novosibirsk, Russia) | Broy, M, 1949- | Zamulin, A. V. (Aleksandr Vasilʹevich) | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2003Online 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.
Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers / Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (6th : 2006 : Novosibirsk, Russia) | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Perspectives of system informatics | 6th International Andrei Ershov Memorial Conference | Sixth International Andrei Ershov Memorial Conference | International Andrei Ershov Memorial Conference | PSI 2006.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.
Web information systems engineering : WISE 2007 : 8th International Conference on Web Information Systems Engineering, Nancy, France, December 3-7, 2007 : proceedings / Boualem Benatallah [and others] (eds.).

by International Conference on Web Information Systems Engineering (8th : 2007 : Nancy, France) | Benatallah, Boualem.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: WISE 2007 | 8th International Conference on Web Information Systems Engineering | Eighth International Conference on Web Information Systems Engineering | International Conference on Web Information Systems Engineering.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.
Web information systems engineering : WISE 2007 Workshops : WISE 2007 International Workshops, Nancy, France, December 3, 2007 : proceedings / Mathias Weske, Mohand-Saïd Hacid, Claude Godart (eds.).

by International Conference on Web Information Systems Engineering Workshops (8th : 2007 : Nancy, France) | Weske, Mathias, 1963- | Hacid, Mohand-Saïd, 1963- | Godart, Claude.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: WISE 2007 Workshops | WISE 2007 International Workshops.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.
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.).

by International Andrei Ershov Memorial Conference (2nd : 1996 : Akademgorodok, Novosibirsk, Russia) | Bjørner, D. (Dines), 1937- | Broy, M, 1949- | Pottosin, I. V.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
7.
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (7th : 2009 : Novosibirsk, Russia) | Pnueli, Amir, 1941-2009 | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2010Other title: PSI 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
8.
Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (8th : 2011 : Novosibirsk, Russia) | Clarke, Edmund M., Jr. (Edmund Melson), 1945- | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: PSI 2011.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
9.
Model-based methodologies for pervasive and embedded software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers / Ricardo J. Machado [and others] (eds.).

by International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (8th : 2012 : Essen, Germany) | Machado, Ricardo J.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: MOMPES 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
10.
Advanced information systems engineering : 25th international conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013, proceedings / Camille Salinesi, Moira C. Norrie, Óscar Pastor (eds.).

by CAiSE (Conference) (25th : 2013 : Valencia, Spain) | Salinesi, Camille [editor.] | Norrie, Moira C. (Moira Constable), 1953- [editor.] | Pastor, Óscar, 1962- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Copyright date: ©2013Other title: CAiSE 2013.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
11.
Web information systems engineering -- WISE 2013 : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings. Part II / Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang (eds.).

by International Conference on Web Information Systems Engineering. Workshops (14th : 2013 : Nanjing Shi, China) | Lin, Xuemin [editor.].

Source: Web information system engineering - WISE 2013Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
12.
Web information systems engineering-- WISE 2013 : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings. Part I / Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang (eds.).

by International Conference on Web Information Systems Engineering. Workshops (14th : 2013 : Nanjing Shi, China) | Lin, Xuemin [editor.].

Source: Web information system engineering - WISE 2013Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 2013Other title: WISE 2013.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
13.
Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering / Rocco de Nicola, Rolf Hennicker (eds.).

by De Nicola, Rocco [editor.] | Hennicker, Rolf, 1952- [editor.] | Wirsing, M. (Martin) [honouree.].

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Cham : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
14.
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers / Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (12th : 2019 : Novosibirsk, Russia) | Bjørner, Nikolaj | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

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