|
561.
|
Term rewriting systems
by Terese Group | Bezem, Marc | Klop, Jan Willem | Vrijer, Roel de. Material type: 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for reference: [Call number: 025.04 MAN] (1). Checked out (1).
|
|
576.
|
Concurrent and real-time programming in Ada 2005
by Burns, Alan | Wellings, Andy. Material type: 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; 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; 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; 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; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Houghton Mifflin, 2009Availability: Items available for loan: [Call number: 511.1 FER] (1).
|