Logout succeed
Logout succeed. See you again!
Top 1200 formal languages and automata theory PDF Book Page 36
Try WiseWorksheets to request a book.
Emerging Applications of Cellular Automata
Salcido A. (Ed.)
198 Pages
3.138 MB
Advanced formal verification
Drechsler R. (ed.)276 Pages
20041.934 MB
Argument realisations and related constructions in Austronesian languages
I Wayan Arka402 Pages20148.17 MB
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella, Andrzej Tarlecki598 Pages20122.564 MB
Introduction to Theory of Computation
Tom Carter76 Pages0.861 MB
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)637 Pages20107.338 MB
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)688 Pages20117.133 MB
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Jon Kleinberg (auth.), Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg (eds.)722 Pages20139.139 MB
Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi, Martin Starnberger (auth.), Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer (eds.)702 Pages20127.118 MB
A new lower bound for reset threshold of synchronizing automata with sink state
Dmitry Ananichev0.14 MB
DTIC ADA561307: Formal Specification and Analysis of Cloud Computing Management
Defense Technical Information Center2 MB
The Uralic Languages
Daniel Abondolo648 Pages199825.617 MB
Practical Formal Methods for Hardware Design
Carlos Delgado Kloos, Werner Damm, Juan Goicolea (auth.), Carlos Delgado Kloos, Werner Damm (eds.)303 Pages19979.78 MB
Two dimensional outflows for cellular automata with shuffle updates
Chikashi Arita2.5 MB
Cognitive Linguistics and Non-Indo-European Languages
Eugene H. Casad, Gary B. Palmer, International Cognitive Linguistics Conference464 Pages20033.047 MB
New Spaces in Physics; Formal and Conceptual Reflections
Mathieu Anel, Gabriel Catren437 Pages6.007 MB
On Teaching Foreign Languages: Linking Theory to Practice
Marcela T. Ruiz-Funes192 Pages20020.659 MB
Modeling Chemical Systems Using Cellular Automata
Lemont B. Kier, Paul G. Seybold, Chao-Kun Cheng,177 Pages20054.261 MB
Real-Time Systems: Formal Specification and Automatic Verification
Ernst-Rüdiger Olderog, Henning Dierks338 Pages20081.729 MB
Linguistic Relativity : Evidence Across Languages and Cognitive Domains
Caleb Everett (auth.)306 Pages20137.38 MB
Imagination and Art: Explorations in Contemporary Theory
Keith Moser and Ananta Ch. Sukla810 Pages20208.874 MB
Contacts between the Baltic and Finnic Languages
Santeri Junttila (ed.)154 Pages20152.426 MB
Systems engineering and architecting : creating formal requirements
Laurence Bellagamba415 Pages201217.17 MBMost books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
