Welcome to the Kids' Library!

Algebraic theory of automata and languages

Ito, Masami, 1941-
River Edge, N.J. : World Scientific, 2004. 2004

Automata and computability

Kozen, Dexter, 1951- author.
New York : Springer, 1997. 1997

Automata studies

Shannon, Claude E., 1916-2001.
Princeton, Princeton University Press, 1956. 1956

Automata theory and formal languages

Chavan, Pallavi.
London ; San Diego, CA : Academic Press, an imprint of Elsevier, [2023] 2023

Automatic defense against zero-day polymorphic worms in communication networks

Mohammed, Mohssen, 1982- author.
Boca Raton, Florida : CRC Press, [2013] 2013

Computability, complexity, and languages : fundamentals of theoretical computer science

Davis, Martin, 1928-2023.
Boston : Academic Press, Harcourt, Brace, 1994. 1994

Computability, complexity, and languages : fundamentals of theoretical computer science

Davis, Martin, 1928-2023 author.
New York, New York ; London, [England] : Academic Press, 1983. 1983

Computers classical, quantum and others

Suprun, Sergey P.
[Saif Zone, Sharjah, U. A. E.] : Bentham Science, [2012] 2012

Data clustering algorithms and applications

Boca Raton, Fla. : CRC Press, 2014. 2014

Discrete mathematical structures with applications to computer science

Tremblay, Jean-Paul, 1938-
New York : McGraw-Hill, [1975] 1975

Formal languages, automata and numeration systems 1 : applications to recognizability and decidabili

Rigo, Michel, author.
London, England ; Hoboken, New Jersey : ISTE : Wiley, 2014. 2014

Formal languages, automata and numeration systems 2

Rigo, Michel, author.
London, England ; Hoboken, New Jersey : ISTE : Wiley, 2014. 2014

Formale Sprachen : mit Anwendungen auf die Beschreibung naturlicher Sprachen

Klenk, Ursula, author.
Tubingen : Max Niemeyer Verlag, [1980] 1980

Fuzzy switching and automata : theory and applications

Kandel, Abraham.
New York, N.Y. : Crane Russak, c1979. 1979

Handbook of process algebra

Amsterdam ; New York : Elsevier, 2001. 2001

How to build your own self-programming robot

Heiserman, David L., 1940-
Blue Ridge Summit, Pa. : Tab Books, c1979. 1979

Infinite words : automata, semigroups, logic and games

Perrin, Dominique.
Amsterdam ; Boston : Elsevier, 2004. 2004

Introduction to languages, machines and logic : computable languages, abstract machines and formal l

Parkes, Alan.
London, [England] ; New York, [N.Y.] : Springer, c2002. 2002

Logic and automata history and perspectives

Amsterdam : Amsterdam University Press, c2008. 2008

Logic and automata : history and perspectives

Amsterdam : Amsterdam University Press, ©2008. 2008

Machines, languages, and computation

Denning, Peter J., 1942-
Englewood Cliffs, N.J. : Prentice-Hall, c1978. 1978

Mechanism design a linear programming approach

Vohra, Rakesh V.
Cambridge ; New York : Cambridge University Press, 2011. 2011

Rudiments of [mu]-calculus

Arnold, A. (André), 1945-
Amsterdam ; New York : Elsevier, 2001. 2001

Semigroups and automata selecta, Uno Kaljulaid (1941-1999)

Kaljulaid, U. (Uno)
Amsterdam ; Washington, DC : IOS, c2006. 2006

Stable networks and product graphs

Feder, Tomas, author.
Providence, Rhode Island : American Mathematical Society, 1995. 1995

Statistical and machine learning approaches for network analysis

Hoboken, N.J. : Wiley, 2012. 2012