Home Advanced Search

Advanced Search - Page 1

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
  • PDF
  • English
  • Year: 2010
  • Author: Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)
Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
  • PDF
  • English
  • Year: 2018
  • Author: Alexander K. Petrenko,Andrei Voronkov (eds.)
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.)
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)
Introduction to Operating System Design and Implementation: the OSP 2 Approach
Introduction to Operating System Design and Implementation: the OSP 2 Approach
  • PDF
  • English
  • Year: 2007
  • Author: Abramsky, Samson;Hankin, Chris;Mackie, Ian
The Compatriots: Dissidents, Hackers, Oligarchs, and Spies--The Story of Russia’s Uncontrollable Emigres
The Compatriots: Dissidents, Hackers, Oligarchs, and Spies--The Story of Russia’s Uncontrollable Emigres
  • EPUB
  • English
  • Year: 2019
  • Author: Andrei Soldatov; Irina Borogan
The New Nobility: The Restoration of Russia’s Security State and the Enduring Legacy of the KGB
The New Nobility: The Restoration of Russia’s Security State and the Enduring Legacy of the KGB
  • EPUB
  • English
  • Year: 14 Sept 2010
  • Author: Andrei Soldatov, Irina Borogan
The Red Web: The Struggle Between Russia’s Digital Dictators and the New Online Revolutionaries
The Red Web: The Struggle Between Russia’s Digital Dictators and the New Online Revolutionaries
  • AZW3
  • English
  • Year: 2017
  • Author: Andrei Soldatov & Irina Borogan
search