Reset Filters
Filter Related Topics: Theoretische Informatik
Filter Related Topics within your search.
1
The pillars of computation theory state, encoding, nondeterminism

Cover is for reference only
Main Authors: Rosenberg Arnold L
Published: Springer,
Publication Dates: c2010.
Call Number: TP301.5/R813
Book
Save to List
Saved in:
3
Introduction to automata theory, languages, and computation

Cover is for reference only
Main Authors: Hopcroft John E 1939-
Group Author: Motwani Rajeev; Ullman Jeffrey D
Published: China Machine Press,
Publication Dates: 2007.
Call Number: TP312/H791-1/3rd.ed.
Book
Save to List
Saved in:
5
Term rewriting and all that

Cover is for reference only
Main Authors: Baader Franz.
Group Author: Nipkow Tobias, 1958-
Published: Cambridge University Press,
Publication Dates: 1999.
Call Number: TP301/B111
Book
Save to List
Saved in:
6
Theoretical studies in computer science /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology.
Group Author: Ullman, Jeffrey D., 1942- (Editor)
Published: Academic Press,
Publication Dates: 1992.
eBook
Save to List
Saved in:
8
Fete of combinatorics and computer science

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Schrijver A.; Szonyi T.; Katona G.
Published: Springer,
Publication Dates: 2010.
Book
Save to List
Saved in:
10
Reasoning about knowledge

Cover is for reference only
Group Author: Fagin Ronald.
Published: MIT Press,
Publication Dates: c1995.
Call Number: B842.5/R288
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —