Home Advanced Search

Advanced Search - Page 1

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Markus Holzer, Martin Kutrib (auth.), Antonín Kučera, Igor Potapov (eds.)
Descriptional Complexity of Formal Systems: 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jarkko Kari (auth.), Markus Holzer, Martin Kutrib, Giovanni Pighizzini (eds.)
Mathematical Foundations of Computer Science 2010: 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Andris Ambainis (auth.), Petr Hliněný, Antonín Kučera (eds.)
Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Krishnendu Chatterjee (auth.), Giorgio Delzanno, Igor Potapov (eds.)
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Dirk Beyer, Andreas Stahlbauer (auth.), Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš (eds.)
Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mohamed Faouzi Atig, Ahmed Bouajjani (auth.), Olivier Bournez, Igor Potapov (eds.)
Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mohamed Faouzi Atig, Ahmed Bouajjani (auth.), Olivier Bournez, Igor Potapov (eds.)
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Arne Andersson, Jim Wilenius (auth.), Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia (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: 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.)
search