This page contains enriched content visible when JavaScript is enabled.
My Account
Library Home
Your session will expire automatically in
0
seconds.
Continue session
End session now
Return to Browse
Limit/Sort Search
SearchType
Keyword
Title
Author (Last name first)
Subject
ISBN/ISSN
Call Number
Unit Code
Libraries Australia No.
Library of Congress No.
Search
Search Scope
Entire Collection
Print Books
E-books
All books
E-journals
All journals
Databases
All e-resources
Streaming Video
DVDs
Curriculum Resources
Deakin Theses
Special Collections
Melbourne Burwood
Warrnambool
Geelong Waterfront
Geelong Waurn Ponds
Limit search to available items
Add Marked to Bag
Add All On Page
Add Marked to My Lists
Subjects (1-13 of 13)
Formale Sprache
1
1973
1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.-12. Juli 1973
Fachtagung über Automatentheorie und Formale Sprachen (1st : 1973 : Bonn, Germany)
Rating:
Electronic Resources
2
1981
Algebraic semantics
Guessarian, Irène, 1948-
Rating:
Electronic Resources
3
1993
Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings
International Colloquium on Automata, Languages, and Programming.
Rating:
Electronic Resources
4
1975
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
Fachtagung über Automatentheorie und Formale Sprachen (2nd : 1975 : Kaiserslautern, Germany)
Rating:
Electronic Resources
5
1983
Computability, complexity, and languages : fundamentals of theoretical computer science
Davis, Martin, 1928-2023
Rating:
Electronic Resources
6
1985
Computation and automata
Salomaa, Arto
Rating:
Electronic Resources
7
2012
Einführung in die theoretische Informatik : formale sprachen und Automatentheorie
Hedtstück, Ulrich, author
5., überarbeitete Auflage
Munich, Germany : Oldenbourg Verlag, 2012
Rating:
Electronic Resources
8
2012
Formal languages in logic : a philosophical and cognitive analysis
Novaes, Catarina Dutilh.
Rating:
Electronic Resources
9
2005
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings
FORMATS (Conference) (3rd : 2005 : Uppsala, Sweden)
Rating:
Electronic Resources
More...
10
1979
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978
Berlin ; New York : Springer-Verlag, 1979
Rating:
Electronic Resources
11
2010
Logic, language and meaning : 17th Amsterdam Colloquium, Amsterdam, the Netherlands, December 16-18, 2009 : revised selected papers
Amsterdam Colloquium (17th : 2009 : Universiteit van Amsterdam)
Rating:
Electronic Resources
More...
12
2006
Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, M
European Symposium on Programming (15th : 2006 : Vienna, Austria)
Rating:
Electronic Resources
More...
13
2005
Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings
APLAS (Symposium) (3rd : 2005 : Tsukuba Kenkyū Gakuen Toshi, Japan)
Rating:
Electronic Resources
More...
Add Marked to Bag
Add All On Page
Locate in results
Return to Browse
Limit/Sort Search