Top 1200 symposium on mathematical foundations of computer science 1972 26th 2001 maria nske la zne czech republic PDF Book Page 6
Theoretical Foundations of Computer Science
Dino Mandrioli, Carlo Ghezzi
·254 Pages
·1988
·96.419 MB
Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
Vittorio Cortellessa
·203 Pages
·2010
·6.16 MB
OECD Economic Surveys : Czech Republic 2003.
OECD
·181 Pages
·1.159 MB
Czech Republic
OECD
·160 Pages
·2.861 MB
Czech Republic
Heather Docalavich; Shaina Carmel Indovino
·66 Pages
·2013
·2.518 MB
Czech Republic
coll.
·4.452 MB
Algorithms and Computation: 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings
Khaled Elbassioni, Kazuhisa Makino (eds.)
·786 Pages
·2015
·15.747 MB
Mathematical Foundations of Computer Science 1977: Proceedings, 6th Symposium, Tatranská Lomnica September 5–9, 1977
Giorgio Ausiello (auth.), Jozef Gruska (eds.)
·605 Pages
·1977
·16.695 MB
Education Czech Republic
['Renata Bockova']
·9 Pages
·2020
European Symposium on Computer Aided Process Engineering - 11, 34 European Symposium of the Working Party on Computer Aided Process Engineering
Rafiqul Gani and Sten Bay Jørgensen (Eds.)
·1205 Pages
·2001
·65.84 MB
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
M. P. Fourman, P. T. Johnstone, A. M. Pitts
·349 Pages
·1992
·6.39 MB
Computer Science – Theory and Applications: Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
Avi Wigderson (auth.), Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko (eds.)
·421 Pages
·2008
·4.38 MB
Victoria Symposium on Nonstandard Analysis: University of Victoria 1972
Andrew Adler (auth.), Albert Hurd, Peter Loeb (eds.)
·356 Pages
·1974
·6.269 MB
Homotopy Type Theory: Univalent Foundations of Mathematics
The Univalent Foundations Program
·599 Pages
·2013
·3.17 MB
The Czech Republic: A Nation of Velvet
Rick Fawn
·193 Pages
·2000
·1.21 MB
Kategorizované kempy ČR Certified camping sites of the Czech Republic
41 Pages
·2014
·12.11 MB
Computer security-- ESORICS 2021 : 26th European Symposium on Research in Commputer Security, Darmstadt, Germany, October 4-8, 2021, proceedings
Haya Shulman (editor); Elisa Bertino (editor); Michael Waidner (editor)
·799 Pages
·2021
·32.845 MB
Logic for computer science: foundations of automatic theorem proving
Jean H. Gallier
·534 Pages
·1986
·1.847 MB
The Mathematical Sciences in 2025
Committee on the Mathematical Sciences in 2025, Board on Mathematical Sciences and Their Applications, Division on Engineering and Physical Sciences, National Research Council
·199 Pages
·2013
·5.54 MB
SOFSEM 2004: Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 Proceedings
H. J. van den Herik, H. H. L. M. Donkers (auth.), Peter Van Emde Boas, Jaroslav Pokorný, Mária Bieliková, Július à tuller (eds.)
·397 Pages
·2004
·3.016 MB
Mathematical Logic For Computer Science
Mordechai Ben-Ari
·160 Pages
·1993
·20.381 MB
Mathematical foundations of parallel computing
Valentin V. Voevodin.
·362 Pages
·40.011 MB
Forests in the Czech Republic
173 Pages
·2011
·8.54 MB
Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
International Conference on Conceptual Structures (9th : 2001 : Stanford, Calif.)
·386 Pages
·2001
·6.1 MB
