|
21.
|
Verilog hardware description languages
by Thomas, Donald E. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 1998Availability: Items available for loan: [Call number: 621.392 THO] (2).
|
|
22.
|
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).
|
|
23.
|
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).
|
|
24.
|
Computer algorithms : string pattern matching strategies
by Aoe, Jun-ichi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California: IEEE Computer Society, 1994Availability: Items available for loan: [Call number: 005.1 AOE] (1).
|
|
25.
|
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).
|
|
26.
|
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).
|
|
27.
|
Networks of learning automata : techniques for online stochastic optimization
by Thathachar, M. A. L | Sastry, P. S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2004Availability: Items available for loan: [Call number: 519.23 THA] (1).
|
|
28.
|
Bayesian artificial intelligence
by Nicholson, Ann E | Korb, Kevin B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: Chapman & Hall/CRC, 2004Availability: Items available for loan: [Call number: 519.542 KOR] (1).
|
|
29.
|
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).
|
|
30.
|
Code craft : the practice of writing excellent code
by Goodliffe, Pete. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Francisco: No Starch Press, 2007Availability: Items available for loan: [Call number: 005.1 GOO] (1).
|
|
31.
|
Translation engines : techniques for machine translation
by Trujillo, Arturo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 418.020285 TRU] (1).
|
|
32.
|
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).
|
|
33.
|
Learning and generalisation : with applications to neural networks
by Vidyasagar, M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2002Availability: Items available for loan: [Call number: 006.31 VID] (1).
|
|
34.
|
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).
|
|
35.
|
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).
|
|
36.
|
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).
|
|
37.
|
Dynamic vision : from images to face recognition
by Gong, Shaogang | McKenna, Stephen J | Psarrou, Alexandra. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 2005Availability: Items available for loan: [Call number: 006.3721 GON] (1).
|
|
38.
|
Advanced Lectures on machine learning : machine learning summer school 2002 Canberra, Australia, february 11-22, 2002
by Mendelson, Shahar | Mendelson, Shahar | Smola, Alexander J | Smola, Alexander J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 006.3 MEN] (1).
|
|
39.
|
Advances in Bayesian networks
by Gamez, Jose A | Moral, Serafin | salmeron, Antonio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.32 GAM] (1).
|
|
40.
|
Applications of learning classifier systems
by Bull, Larry. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Germany: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.31 BUL] (1).
|