|
|
1.
|
Computability, complexity and language : fundamentals of theoretical computer science
by Davis, Martin D | Sigal, Ron | Weyuker, Elaine J. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 1994Availability: Items available for loan: [Call number: 511.3 DAV] (1).
|
|
|
2.
|
Communication and concurrency
by Milner, Robin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Prentice Hall, 1989Availability: Items available for loan: [Call number: 511 MIL] (1).
|
|
|
3.
|
Digital logic and state machine design
by Comer, David J. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Oxford University Press, 1995Availability: Items available for loan: [Call number: 621.395 COM] (1).
|
|
|
4.
|
Languages and machines : an introduction to the theory of computer science
by Sudkamp, Thomas A. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Addison-Wesley, 2005Availability: Items available for reference: [Call number: 511.3 SUD] (1).
|
|
|
5.
|
Philosophy and computing: an introduction
by Floridi, Luciano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Routledge, 1999Availability: Items available for loan: [Call number: 004.01 FLO] (1).
|
|
|
6.
|
Arithmetic and logic in computer systems
by Lu, Mi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 004.0151 LUM] (1).
|
|
|
7.
|
Switching theory for logic synthesis.
by Sasao, Tsutomu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 1999Availability: Items available for loan: [Call number: 621.395 SAS] (1).
|
|
|
8.
|
Synthesis of finite state machines : logic optimization
by Villa, Tiziano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 1997Availability: Items available for loan: [Call number: 621.395 VIL] (1).
|
|
|
9.
|
Classical and quantum computation
by Shen, A. H | Kitaev, A. Yu | Vyalyi, M. N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Providence: American Mathematcial Society, 2002Availability: Items available for loan: [Call number: 530.12 KIT] (1).
|
|
|
10.
|
Word processing in groups
by Epstein, David B. A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Jones & Bartlett, 1992Availability: Items available for loan: [Call number: 511.3 EPS] (1).
|
|
|
11.
|
Handbook of elliptic and hyperelliptic curve cryptography
by Cohen, Henri | Frey, Gerhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Chapman & Hall, 2005Availability: Items available for loan: [Call number: 516.352 COH] (1).
|
|
|
12.
|
Automata and languages: Theory and applications
by Meduna, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 511.3 MED] (1).
|
|
|
13.
|
Exploring Randomness
by Chaitin, Gregory J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 511.3 CHA] (1).
|
|
|
14.
|
Introduction to languages, machines and logic: Computable languages, abstract machines and formal logic
by Parkes, Alan P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 511.3 PAR] (1).
|
|
|
15.
|
Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems
by Bowman, Howard | Gomez, Rodolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 004.015113 BOW] (1).
|
|
|
16.
|
UbiComp 2004 : ubiquitous computing : 6th International Conference, Nottingham, UK, September 7-10, 2004, proceedings
by Davies, Nigel | Mynatt, Elizabeth | Siio, Itiro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 DAV] (1).
|
|
|
17.
|
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
by Wang, Farn. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1).
|
|
|
18.
|
Algorithmic information theory: mathematics of digital information processing
by Seibt, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 006.31 SEI] (1).
|
|
|
19.
|
Automata and computability
by Kozen, Dexter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1997Availability: Items available for reference: [Call number: 511.3 KOZ] (1).
|
|
|
20.
|
Elements of the Theory of Computation
by Lewis, Harry R | Papadimitriou, Christos H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2003Availability: Items available for loan: [Call number: 004 LEW] (8).
|
