|
|
1.
|
Computation engineering : applied automata theory and logic
by Gopalakrishnan, Ganesh. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 511.35 GOP] (1).
|
|
|
2.
|
Codes, systems, and graphical models
by Marcus, Brain | Marcus, Brain | Rosenthal, Joachim | Rosenthal, Joachim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 003.54 MAR] (1).
|
|
|
3.
|
Modern formal methods and applications
by Gabbar, Hossam A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004 GAB] (1).
|
|
|
4.
|
Formal models of communicating systems : languages, automata and monadic second-order logic
by Bollig, Benedikt. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 511.35 BOL] (1).
|
|
|
5.
|
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
by Mayr, Ernst W | Puech, Claude. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
|
|
|
6.
|
Logics for concurrency : structure versus automata
by Moller, Faron | Birtwistle, Graham. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 004 MOL] (1).
|
|
|
7.
|
Switching And Finite Automata Theory
by Kohavi, Zvi. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 1998Availability: Items available for loan: [Call number: 621.3815 KOH] (1).
|
|
|
8.
|
Computability and Complexity Theory
by Homer, Steven | Selman, Alam L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004 HOM] (1).
|
|
|
9.
|
Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz
by Ravi, S. S | Shukla, Sandeep K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004 RAV] (1).
|
|
|
10.
|
Introduction to automata theory, languages and computation
by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D. Edition: 2nd edMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education Asia, 2001Availability: Items available for loan: [Call number: 511.3 HOP] (7).
|
|
|
11.
|
Information and the history of philosophy
by Meyns, Chris ed. Publisher: Milton Park : Routledge, 2021Availability: Items available for loan: [Call number: 020.1 MEY] (1).
|
