Home Advanced Search

Advanced Search - Page 1

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

PDF
English
Year: 2013
Author: Petr Ročkai, Jiří Barnat, Luboš Brim (auth.), Guillaume Brat, Neha Rungta, Arnaud Venet (eds.)

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings

PDF
English
Year: 1998
Author: Giorgio Ausiello, Giuseppe F. Italiano (auth.), Luboš Brim, Jozef Gruska, Jiří Zlatuška (eds.)

European Identity through Space: Space Activities and Programmes as a Tool to Reinvigorate the European Identity

PDF
English
Year: 2013
Author: Christophe Venet (auth.), Christophe Venet, Blandina Baranes (eds.)

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

PDF
English
Year: 2018
Author: Falk Howar, Jiří Barnat

Highlights of Astronomy: As Presented at the XIIIth General Assembly of the I.A.U. 1967

PDF
English
Year: 1969
Author: A. A. Mihajlov (auth.), Luboš Perek (eds.)

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27–31, 2001 Proceedings

PDF
English
Year: 2001
Author: Dana S. Scott (auth.), Jiří Sgall, Aleš Pultr, Petr Kolman (eds.)

Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

PDF
English
Year: 2010
Author: John Hopcroft (auth.), Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman (eds.)

Piezoelectric Ceramic Resonators

PDF
English
Year: 2017
Author: Jiří Erhart, Petr Půlpán, Martin Pustka (auth.)

Lectures on Discrete Geometry

DJVU
English
Year: 2002
Author: Jiří Matoušek (auth.), Jiří Matoušek (eds.)

A Brief History of the Czech Lands to 2000

PDF
Czech
Author: Petr Čornej; Jiří Pokorný