501. Protocols by invariants

by Schoone, Anneke A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 004.35 SCH] (1).
502. Linear logic in computer science

by Ehrhard, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
503. Handshake circuits : an asynchronous architecture for VLSI programming

by Berkel, Kees Van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 621.3815 BER] (1).
504. Online computation and competitive analysis

by Borodin, Allan | El-Yaniv, Ran.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: No items available Checked out (1).
505. Computer architecture and implementation

by Cragon, Harvey G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2000Availability: Items available for loan: [Call number: 004.22 CRA] (1).
506. Fundamentals of OOP and data structures in Java

by Wiener, Richard | Pinson, Lewis J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2000Availability: Items available for loan: [Call number: 005.133 WIE] (1).
507. Mobile computing principles : designing and developing mobile applications with UML and XML

by B'Far, Reza.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.268 BFA] (1).
508. Standard ML basis library

by Reppy, John H | Gansner, Emden R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 005.133 GAN] (1).
509. Flexible pattern matching in strings : practical on-line search algorithms for texts and biological sequences

by Raffinot, Mathieu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 005.74 NAV] (1).
510. First course in computational physics and object-oriented programming with c++

by Yevick, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.13 YEV] (2).
511. Geometry of information retrieval

by Van Rijsbergen, C. J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 025.04 VAN] (1).
512. Prediction, learning, and games

by Cesa-Bianchi, Nicolo | Lugosi, Gabor.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 519.3 CES] (1).
513. Introduction to programming with mathematica

by Gaylord, Richard | Kamin, Samuel | Wellin, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 510.28533 WEL] (1).
514. Computational introduction to number theory and algebra

by Shoup, Victor.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 512.7 SHO] (1).
515. Performance Analysis of Communications Networks and Systems

by Van Mieghem, Piet.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 004.6 VAN] (1).
516. Quantum cryptography and secret-key distillation

by Van Assche, Gilles.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 005.82 VAN] (1).
517. Elements of C++ style

by Bumgardner, Gregory | Gray, Andrew | Misfeldt, Trevor.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 005.133 MIS] (5).
518. Invitation to Computer Science: Java Version

by Gerstin, Judith L | Baase, Sara.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Brooks Cole, 2000Availability: Items available for loan: [Call number: 004 SCH] (3).
519. Understanding Data Communications and Networks

by Shay, William A.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thomson, 2004Availability: Items available for loan: [Call number: 004.6 SHA] (1).
520. Analytical engine : an introduction to computer science using the Internet

by Decker, Rick | Hirshfield, Stuart.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thompson Learning, 2004Availability: Items available for loan: [Call number: 004 DEC] (2).

Powered by Koha