Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday /

New topics in theoretical computer science /
Published: (2008)

Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 /
Published: (1985)

Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 /
Published: (1985)

Advances in Swarm Intelligence : 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022, Proceedings, Part I /
Published: (2022)

Neural computation in Hopfield networks and Boltzmann machines /
by: Coughlin, James P.
Published: (1995)

Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings /
Published: (2007)

Concept data analysis : theory and applications /
by: Carpineto, Claudio
Published: (2004)

Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 /
Published: (1985)

Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday /
Published: (2022)

Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems /
by: Bowman, Howard, 1966-
Published: (2006)

The theory of computer science : a programming approach /
by: Brady, J. M.
Published: (1977)

Logic and automata : history and perspectives /
Published: (2008)

Mathematics in cyber research /
Published: (2022)

Elements of quantum computation and quantum communication /
by: Pathak, Anirban
Published: (2013)

Advances in Computing and Data Sciences : 6th International Conference, ICACDS 2022, Kurnool, India, April 22-23, 2022, Revised Selected Papers, Part I /
Published: (2022)

Introduction to lattice theory with computer science applications /
by: Garg, Vijay K. (Vijay Kumar), 1963-
Published: (2015)

Theory and Applications of Models of Computation : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings /
Published: (2022)

Algorithmic Aspects in Information and Management : 16th International Conference, AAIM 2022, Guangzhou, China, August 13-14, 2022, Proceedings /
Published: (2022)

Modeling and analysis of communicating systems /
by: Groote, J. F. (Jan Friso), 1965-
Published: (2014)

Discrete Mathematics : Proofs, Structures and Applications, Third Edition.
by: Garnier, Rowan
Published: (2009)

Foundations of discrete mathematics with algorithms and programming /
by: Sridharan, Sriraman, et al.
Published: (2019)

Turing's World 3.0 for the Macintosh : an introduction to computability theory /
by: Barwise, Jon
Published: (1993)

Mathematical theory of domains /
by: Stoltenberg-Hansen, Viggo
Published: (1994)

Foundations of discrete mathematics with algorithms and programming /
by: Sridharan, Sriraman, et al.
Published: (2019)

Concept data analysis : theory and applications /
by: Carpineto, Claudio
Published: (2004)

Discrete mathematics : proofs, structures and applications /
by: Garnier, Rowan, et al.
Published: (2009)

Large-scale kernel machines /
Published: (2007)

Parallel Problem Solving from Nature - PPSN XVII : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part I /
Published: (2022)

Automata, languages and programming : 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings /
Published: (2002)

Automata, languages and programming : 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
Published: (1998)

Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
Published: (2000)

Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings /
Published: (1999)

Bounded Queries in Recursion Theory /
by: Gasarch, William I.
Published: (1999)

Mathematics in cyber research /
Published: (2022)

Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988 /
by: Selman, Alan L.
Published: (1990)

Elements of quantum computation and quantum communication /
by: Pathak, Anirban
Published: (2013)