561. 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).
562. 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).
563. 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).
564. 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).
565. 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).
566. 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).
567. 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).
568. 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).
569. 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).
570. 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).
571. 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).
572. 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).
573. 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).
574. 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).
575. 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).
576. 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).
577. 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).
578. Programming in objective-C : a complete introduction to theobjective-C language

by Kochan, Stephen G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indiana: Sams Publishing, 2003Availability: Items available for loan: [Call number: 005.133 KOC] (1).
579. Zend Studio for eclipse developer's guide

by MacIntyre, Peter | Morse, Ian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indianapolis: Pearson Education, 2008Availability: Items available for loan: [Call number: 006.76 MAC] (1).
580. Mastering unreal technology. Volume 1, introduction to level design with unreal engine 3

by Busby, Jason | Parrish, Zak | Wilson, Jeff.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indianapolis: Sams Publishing, 2010Availability: Items available for loan: [Call number: 794.81526 BUS] (2).

Powered by Koha