|
|
121.
|
Selected writings on computing : a personal perspective
by Dijkstra, Edsger W. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1982Availability: Items available for loan: [Call number: 001.64 DIJ] (1).
|
|
|
122.
|
Linear programming. Volume 1 : introduction
by Dantzig, George B | Thapa, Mukund N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 519.72 DAN] (2).
|
|
|
123.
|
On concurrent programming
by Schneider, Fred B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.275 SCH] (1).
|
|
|
124.
|
Guide to applying the UML
by Alhir, Sinan Si. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.117 ALH] (1).
|
|
|
125.
|
Mathematical computing : an introduction to programming using Maple
by Betounes, David | Redfern, Mylan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2002Availability: Items available for loan: [Call number: 005.133 BET] (2).
|
|
|
126.
|
Programming Methodology
by Mclver, Annabelle | Morgan, Carroll. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 MCL] (1).
|
|
|
127.
|
Reasoning about program transformations : imperative programming and flow of data
by Collard, Jean-Francois. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 005.13 COL] (1).
|
|
|
128.
|
Origin of concurrent programming : from semaphores to remote procedure calls
by Hansen, Per Brinch. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.275 HAN] (1).
|
|
|
129.
|
Differentiable optimization and equation solving : a treatise on algorithmic science and the Karmarkar revolution
by Nazareth, John Lawrence. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 519.3 NAZ] (1).
|
|
|
130.
|
Science of programming
by Gries, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1981Availability: Items available for loan: [Call number: 001.642 GRI] (2).
|
|
|
131.
|
Temporal Logic of Reactive and Concurrent Systems
by Manna, Zohar | Pnueli, A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1992Availability: Items available for loan: [Call number: 005.1 MAN] (1).
|
|
|
132.
|
Refinement calculus
by Back, Ralph-Johan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.14 BAC] (1).
|
|
|
133.
|
C++ toolkit for engineers and scienctists
by Smith, James T. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 005.133 SMI] (2).
|
|
|
134.
|
Networking and online games : understanding and engineering multiplayer Internet games
by Armitage, Grenville | Branch, Philip | Claypool, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2006Availability: Items available for loan: [Call number: 794.81526 ARM] (1).
|
|
|
135.
|
Selected papers in network and system administration
by Anderson, Eric | Burgess, Mark | Couch, Alva. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: John Wiley & Sons, 2002Availability: Items available for loan: [Call number: 005.43 AND] (1).
|
|
|
136.
|
Programing language design concepts
by Findlay, William | Watt, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 005.13 WAT] (1).
|
|
|
137.
|
World Wide Web Database Programming for Windows NT
by Jepson, Brain. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 1996Availability: Items available for loan: [Call number: 005.74 JEP] (2).
|
|
|
138.
|
UPC : distributed shared-memory programming
by El-Ghazawi, Tarek | Carlson, William | Sterling, Thomas Lawrence | Yelick, Katherine. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Wiley-Interscience, 2005Availability: Items available for loan: [Call number: 005.133 ELG] (1).
|
|
|
139.
|
Programming with objects : a comparative presentation of object-oriented programming with C++ and Java
by Kak, Avinash C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley-Interscience, 2003Availability: Items available for loan: [Call number: 005.133 KAK] (1).
|
|
|
140.
|
Understanding Internet Protocols through Hands-on Programming
by Pullen, J. Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 004.62 PUL] (2).
|
