|
|
1.
|
Programming Challenges: The programming contest training manual
by Skiena, Stevan S | Revilla, Miguel A. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 SKI] (1).
|
|
|
2.
|
Verification of sequential and concurrent programs
by Apt, Krzysztof R | Olderog, Ernst-Rudiger. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.14 APT] (1).
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
Descriptive complexity
by Immerman, Neil. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1999Availability: Items available for loan: [Call number: 511.3 IMM] (1).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
Automata and computability
by Kozen, Dexter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1997Availability: Items available for loan: [Call number: 511.3 KOZ] (1).
|
|
|
10.
|
Introduction to assembly language programming : from 8086 to Pentium processors
by Dandamudi, Sivarama P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.265 DAN] (1).
|
|
|
11.
|
Introduction to Kolmogorov complexity and its applications
by Li, Ming. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 511.3 LIM] (1).
|
|
|
12.
|
First-order logic and automated theorem proving
by Fitting, Melvin. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 FIT] (1).
|
|
|
13.
|
Exploring computer science with scheme
by Grillmeyer, Oliver. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 004 GRI] (1).
|
|
|
14.
|
Computability and Complexity Theory
by Homer, Steven | Selman, Alam L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004 HOM] (1).
|
|
|
15.
|
Introduction to constraint databases
by Revesz, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 005.75 REV] (1).
|
|
|
16.
|
Computational intelligence : a methodological introduction
by Kruse, Rudolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2013Availability: Items available for loan: [Call number: 006.3 KRU] (1).
|
|
|
17.
|
Fundamentals of predictive text mining
by Indurkhya, Nitin | Weiss, Sholom M | Zhang, Tong. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2015Availability: Items available for loan: [Call number: 006.312 WEI] (1).
|
|
|
18.
|
Theory of computation
by Kozen, Dexter C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 511.352 KOZ] (1).
|
|
|
19.
|
Ethical and social issues in the information age
by Kizza, Joseph Migga. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 174.90904 KIZ] (1).
|
|
|
20.
|
Fundamentals of the new artificial intelligence : neural, evolutionary, fuzzy and more
by Munakata, Toshinori. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 006.3 MUN] (1).
|
