Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Results
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4378.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 5947. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12829361Publication details: Berlin : Springer, ©2010Other title: PSI 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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-2020 | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 7162. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Other title: PSI 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers / Andrei Voronkov, Irina Virbitskaite (eds.).

by International Andrei Ershov Memorial Conference (9th : 2014 : Saint Petersburg, Russia) | Voronkov, Andrei, 1959- [editor.] | Virbitskaite, Irina [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8974. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer, 2015Other title: PSI 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 11964. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cham : Springer, 2019Other title: PSI 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha