Title: Automata, Logics, and Infinite Games: A Guide to Current Research / Edition 1, Author: Erich Grïdel
Title: Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, Author: Arnold Beckmann
Title: Applications of Process Algebra, Author: J. C. M. Baeten
Title: Probabilistic Foundations of Statistical Network Analysis / Edition 1, Author: Harry Crane
Title: Synthesis of Finite State Machines: Functional Optimization / Edition 1, Author: Timothy Kam
Title: Introducing the Theory of Computation / Edition 1, Author: Wayne Goddard
Title: Problem Solving in Automata, Languages, and Complexity / Edition 1, Author: Ding-Zhu Du
Title: Theories of Computability, Author: Nicholas Pippenger
Title: Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, Author: Frank Drewes
Title: Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems / Edition 1, Author: Howard Bowman
Title: Cellular Automata and Discrete Complex Systems: 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings, Author: Matthew Cook
Title: Computing Meaning: Volume 2 / Edition 1, Author: H. Bunt
Title: Evolving Computability: 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings, Author: Arnold Beckmann
Title: Membrane Computing: 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers, Author: Grzegorz Rozenberg
Title: Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, Author: Jarkko Kari
Title: Presumptive Meanings: The Theory of Generalized Conversational Implicature, Author: Stephen C. Levinson
Title: Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / Edition 1, Author: Juhani Karhumïki
Title: Swarm, Evolutionary, and Memetic Computing: 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers, Author: Bijaya Ketan Panigrahi
Title: Approximate Iterative Algorithms / Edition 1, Author: Anthony Louis Almudevar
Title: Semigroups and Automata. Selecta Uno Kaljulaid (1941-1999), Author: Jaak Peetre

Pagination Links