21. Verilog hardware description languages

by Thomas, Donald E.

Edition: 4th ed.Material type: book 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 Book; Format: print ; Literary form: Not fiction Publisher: Germany: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.31 BUL] (1).

Powered by Koha