-
1
Grammars for programming languages
New York : Elsevier, 1977Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
2
Rational series and their languages
Berlin ; New York : Springer-Verlag, 1988Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
3
Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers
Berlin : Springer, 2004Format: Conference Proceeding Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
4
Formal languages and automata theory
Rockville, Md. : Computer Science Press, 1989Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
5
Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings
Berlin ; New York : Springer, 2005Format: Electronic Conference Proceeding eBook -
6
Developmental systems and languages
Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
7
Principles of constructing linguistic models,
The Hague, Mouton, 1973Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
8
Introduction to formal languages
New York : Dover Publications, 1991Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
9
Theory of computation
New York, Wiley 1974Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
10
Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings
Berlin ; New York : Springer, 1998Format: Electronic Conference Proceeding eBook -
11
Algebraic informatics : second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers
Berlin ; New York : Springer, 2007Format: Electronic Conference Proceeding eBook -
12
Computability, complexity, and languages : fundamentals of theoretical computer science
New York : Academic Press, 1983Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
13
Logic and language models for computer science
Upper Saddle River, N.J. : Prentice Hall, 2002Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
14
Language equations
New York : Springer, 1999Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
15
Formal languages and applications
Berlin ; New York : Springer, 2004Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
16
Problem solving methods : understanding, description, development, and reuse
New York : Springer, 2000Format: Electronic eBook -
17
Formal languages; automata and structures.
Chicago, Markham Pub. Co. 1968Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
18
Large infinitary languages : model theory
Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
19
Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers
Berlin ; New York : Springer, 2003Format: Electronic Conference Proceeding eBook -
20
Advances in computing science : ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 ; proceedings
Berlin ; London : Springer, 1999Format: Electronic Conference Proceeding eBook