Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Silvano Dal Zilio, Andrew D. Gordon (auth.), Mogens Nielsen, Branislav Rovan (eds.)
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nouha Abid, Silvano Dal Zilio (auth.), Mariëlle Stoelinga, Ralf Pinger (eds.)
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nouha Abid, Silvano Dal Zilio (auth.), Mariëlle Stoelinga, Ralf Pinger (eds.)
SOFSEM’ 98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Maarten Boasson (auth.), Branislav Rovan (eds.)
Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Egon Börger (auth.), Branislav Rovan (eds.)
Mathematical Foundations of Computer Science 1994: 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Thomas Cheatham (auth.), Igor Prívara, Branislav Rovan, Peter Ruzička (eds.)
Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Harry Buhrman, Hein Röhrig (auth.), Branislav Rovan, Peter Vojtáš (eds.)
Mathematical Foundations of Computer Science 1994: 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Thomas Cheatham (auth.), Igor Prívara, Branislav Rovan, Peter Ruzička (eds.)
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.)
Mathematical Foundations of Computer Science 1986: Proceedings of the 12th Symposium Bratislava, Czechoslovakia August 25–29, 1986
  • PDF
  • English
  • Year: 1986
  • Author: Farid M. Ablaev, Rūsiņš Freivalds (auth.), Jozef Gruska, Branislav Rovan, Juraj Wiedermann (eds.)
search