Home Advanced Search

Advanced Search - Page 1

Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Patricia Bouyer, Nicolas Markey, Ocan Sankur (auth.), Parosh Aziz Abdulla, Igor Potapov (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Parosh Aziz Abdulla (auth.), Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe (eds.)
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Mikołaj Bojańczyk, Sławomir Lasota (auth.), Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov (eds.)
Neuroimaging of Traumatic Brain Injury
  • PDF
  • English
  • Year: 2014
  • Author: Natalia Zakharova, Valery Kornienko, Alexander Potapov, Igor Pronin (auth.)
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Hague, Matthew; Potapov, Igor
Reachability Problems: 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Emmanuel Filiot, Raphaël Jungers, Igor Potapov
Foundations of Cognitive Therapy: Theoretical Methods and Practical Applications
  • PDF
  • English
  • Year: 1984
  • Author: Nicolas Hoffmann (auth.), Nicolas Hoffman (eds.)
search