321. Computer organization

by Hamacher, V. Carl | Vranesic, Zvonko | Zaky, Safwat.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: McGraw-Hill, 2002Availability: Items available for loan: [Call number: 004.22 HAM] (1).
322. Introduction to statistical pattern recognition

by Fukunaga, Keinosuke.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 1990Availability: Items available for loan: [Call number: 006.4 FUK] (1).
323. Recursive function theory and logic

by Yasuhara, Ann.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
324. Haskell : the craft of functional programming

by Thompson, Simon.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow: Addison-Wesley, 2011Availability: Items available for loan: [Call number: 005.133 THO] (1).
325. Using advanced MPI : modern features of the Message-Passing-Interface

by Gropp, William | Hoefler, Torsten | Lusk, Ewing | Thakur, Rajeev.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2014Availability: Items available for loan: [Call number: 005.711 GRO] (1).
326. Mobile IP : present state and future

by Mondal, Abdul Sakib.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New york: Kluwer Academic, 2003Availability: Items available for loan: [Call number: 004.62 MON] (1).
327. Concurrent systems : an integrated approach to operating systems, distributed systems and databases

by Bacon, Jean.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow: Addison-Wesley, 2003Availability: Items available for loan: [Call number: 004.35 BAC] (1).
328. Parsing techniques : a practical guide

by Grune, Dick | Jacobs, Ceruel J. H.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 005.131 GRU] (1).
329. Geometric fundamentals of robotics

by Selig, J. M.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 629.892 SEL] (1).
330. Evolutionary synthesis of pattern recognition systems

by Bhanu, Bir | Krawiec, Krzysztof | Lin, Yingqiang.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.4 BHA] (1).
331. Process Assessment and Improvement : a practical guide for managers, quality professionals, and assessors

by Loon, Han van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 005 LOO] (1).
332. Introduction to Kolmogorov complexity and its applications

by Li, Ming.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 511.3 LIM] (1).
333. Abstraction, Refinement and Proof for Probabilistic Systems

by McIver, Annabelle | Morgan, Carroll.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MCL] (1).
334. Computer and computing technologies in agriculture. Volume I

by Li, Daoliang.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 630.285 LID] (1).
335. Computer and computing technologies in agriculture. Volume II

by Li, Daoliang.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 630.285 LID] (1).
336. Vehicle routing problem : latest advances and new challenges

by Golden, Bruce.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 519.72 GOL] (1).
337. Telecommunications modeling, policy, and technology

by Raghavan, S | Golden, Bruce L | Raghavan, S | Wasil, Edward A | INFORMS Telecommunications Conference.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 621.3821 RAG] (1).
338. First-order logic and automated theorem proving

by Fitting, Melvin.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 FIT] (1).
339. Theory of objects

by Abadi, Martin | Cardelli, Luca.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 005.131 ABA] (1).
340. Exploring computer science with scheme

by Grillmeyer, Oliver.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 004 GRI] (1).

Powered by Koha