|
|
381.
|
Discrete mathematics : elementary and beyond
by Lovasz, Laszlo | Pelikan, J | Vesztergombi, K. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 510 LOV] (1).
|
|
|
382.
|
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).
|
|
|
383.
|
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).
|
|
|
384.
|
Complexity and real computation
by Blum, Lenore. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 BLU] (1).
|
|
|
385.
|
Partial differential equations for computational science : with Maple and vector analysis
by Betounes, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 515.353 BET] (2).
|
|
|
386.
|
Talking back to the machine : computer and human aspriration
by Denning, Peter J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 303.4834 DEN] (2).
|
|
|
387.
|
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).
|
|
|
388.
|
Specification of software systems
by Alagar, Vangalur S | Periyasamy, K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1998Availability: Items available for loan: [Call number: 005.1 ALA] (1).
|
|
|
389.
|
Clinical decision support systems : theory and practice
by Berner, Eta S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 616.0750285 BER] (1).
|
|
|
390.
|
Beyond calculation : next fifty years of computing
by Denning, Peter J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New york: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004.0905 DEN] (1).
|
|
|
391.
|
C programming : the essentials for engineering and scientists
by Brooks, David R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1999Availability: Items available for loan: [Call number: 005.133 BRO] (1).
|
|
|
392.
|
Modal and temporal properties of processes
by Stirling, Colin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 STI] (1).
|
|
|
393.
|
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).
|
|
|
394.
|
Dynamic modeling
by Ruth, Matthias | Hannon, Bruce. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 003.8501135369 HAN] (2).
|
|
|
395.
|
Computer science education in the 21st century
by Greening, Tony. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004.071 GRE] (1).
|
|
|
396.
|
Modeling biological systems : principles and applications
by Haefner, James W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: International Thompson Publishing, 1996Availability: Items available for loan: [Call number: 574.0113 HAE] (1).
|
|
|
397.
|
Foundations of computer technology
by Anderson, A. John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Chapman & Hall, 1994Availability: Items available for loan: [Call number: 004 AND] (1).
|
|
|
398.
|
Philosophy and computing: an introduction
by Floridi, Luciano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Routledge, 1999Availability: Items available for loan: [Call number: 004.01 FLO] (1).
|
|
|
399.
|
Java programming for spatial sciences
by Wood, Jo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Taylor & Francis, 2002Availability: Items available for loan: [Call number: 005.133 WOO] (1).
|
|
|
400.
|
Cyborgs@cyberspace? : an ethnographer looks to the future
by Hakken, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Routledge, 1999Availability: Items available for loan: [Call number: 303.4834 HAK] (1).
|
