561. Term rewriting systems

by Terese Group | Bezem, Marc | Klop, Jan Willem | Vrijer, Roel de.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 005.131 TER] (1).
562. Computing tomorrow : future research directions in computer science

by Wand, Ian | Milner, Robin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1996Availability: Items available for loan: [Call number: 004.072 WAN] (1).
563. Hybrid graph theory and network analysis

by Novak, Ladislav | Gibbons, Alan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1999Availability: Items available for loan: [Call number: 511.5 NOV] (1).
564. Pearls of functional algorithm design

by Bird, Richard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 006.31 BIR] (1).
565. From semantics to computer science : essays in honour of Gilles Kahn

by Bertot, Yves.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 004 BER] (1).
566. Functional approach to programming

by Cousineau, Guy | Mauny, Michel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1998Availability: Items available for loan: [Call number: 005.133 COU] (1).
567. Information flow : the logic of distributed systems

by Seligman, Jerry.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1997Availability: Items available for loan: [Call number: 003.54 BAR] (1).
568. Elements of UML 2.0 style

by Ambler, Scott W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.1 AMB] (1).
569. Computability and logic

by Boolos, George S | Burgess, John P | Jeffrey, Richard C.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.352 BOO] (1).
570. Steps in Scala : an introduction to object-functional programming

by Loverdos, Christos K. K | Syropoulos, Apostolos.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.114 LOV] (1).
571. Independent component analysis: Principles and practice

by Roberts, Stephen | Everson, Richard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2001Availability: Items available for loan: [Call number: 006.32 ROB] (1).
572. Knowledge representation, reasoning, and declarative problem solving

by Baral, Chitta.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 006.33 BAR] (1).
573. Modern computer algebra

by Gathen, Joachim von Zur | Gerhard, Jurgen.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 512.00285 VON] (1).
574. Scientific computation

by Gonnet, Gaston H | Scholl, Ralf.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 501.51 GON] (1).
575. Introduction to information retrieval

by Manning, Christopher D | Raghavan, Prabhakar | Schutze, Hinrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 025.04 MAN] (2).
576. Concurrent and real-time programming in Ada 2005

by Burns, Alan | Wellings, Andy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 005.133 BUR] (1).
577. Multimedia networking : from theory to practice

by Hwang, Jenq - Neng.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 006.7 HWA] (1).
578. Final Jeopardy : man vs. machine and the quest to know everything

by Baker, Stephen.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Houghton Mifflin, 2011Availability: Items available for loan: [Call number: 006.3 BAK] (1).
579. Programming entity framework

by Lerman, Julia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Sebastopol: O'Reilly, 2009Availability: Items available for loan: [Call number: 005.741 LER] (1).
580. Discrete mathematics : an introduction to proofs and combinatorics

by Ferland, Kevin K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Houghton Mifflin, 2009Availability: Items available for loan: [Call number: 511.1 FER] (1).

Powered by Koha