IST Austria Library

Your search returned 3 results.

Not what you expected? Check for suggestions
1.
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
2.
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
3.
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