|
1421.
|
Mathematical logic
by Thomas, W | Ebbinghaus, H. -D | Flum, J. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1994Availability: Items available for loan: [Call number: 511.3 EBB] (1).
|
|
1422.
|
Philosophical essay on probabilities : translated from the fifth French edition of 1825, with notes by the translator
by Laplace, Pierre-Simon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1995Availability: Items available for loan: [Call number: 519.2 LAP] (1).
|
|
1423.
|
Why Math
by Driver, R. D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1984Availability: Items available for loan: [Call number: 510 DRI] (1).
|
|
1424.
|
Linear functions and matrix thoery
by Jacob, Bill. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1995Availability: Items available for loan: [Call number: 512.5 JAC] (1).
|
|
1425.
|
Probability theory : an advanced course
by Borkar, Vivek S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1995Availability: Items available for loan: [Call number: 519.2 BOR] (1).
|
|
1426.
|
Discrete-time markov control processes : basic optimality criteria
by Hernandez-Lerma, Onesimo | Lasserre, Jean-Bernard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1996Availability: Items available for loan: [Call number: 003.830115 HER] (1).
|
|
1427.
|
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).
|
|
1428.
|
Network Orange
by Crandall, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004.6 CRA] (1).
|
|
1429.
|
Algorithmic Beauty of Plants : The Virtual Laboratory.
by Prusinkiewicz, Przemyslaw | Lindenmayer, Aristid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1990Availability: Items available for loan: [Call number: 581.30113 PRU] (1).
|
|
1430.
|
Introduction to Coding and Information Theory
by Roman, Steven. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 005.72 ROM] (1).
|
|
1431.
|
Winning Solutions
by Lozansky, Edward | Rousseau, Cecil. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 510.76 LOZ] (1).
|
|
1432.
|
Solutions manual for Lang's Linear algebra
by Shakarchi, Rami. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1996Availability: Items available for loan: [Call number: 512.5 SHA] (1).
|
|
1433.
|
Ultimate Zero and One
by Williams, Colin P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004.1 WIL] (1).
|
|
1434.
|
Fragile Objects. Soft Matter, Hard Science and the Thrill of Discovery
by Gennes, Pierre-Gilles De. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 530 GEN] (1).
|
|
1435.
|
Theory of objects
by Abadi, Martin | Cardelli, Luca. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 005.131 ABA] (1).
|
|
1436.
|
Competitive Markov decision processes : with 57 illustrations
by Filar, Jerzy | Vrieze, Koos. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1997Availability: Items available for loan: [Call number: 519.542 FIL] (1).
|
|
1437.
|
Image models (and their speech model cousins)
by Shepp, Larry | Levinson, Stephen E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1996Availability: Items available for loan: [Call number: 006.4015195 LEV] (1).
|
|
1438.
|
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).
|
|
1439.
|
CAN system engineering : from theory to practical applications
by Lawrenz, Wolfhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1997Availability: Items available for loan: [Call number: 670.4275 LAW] (2).
|
|
1440.
|
Topological spaces : from distance to neighborhood
by Buskes, Gerard | Rooij, Arnoud van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1997Availability: Items available for loan: [Call number: 514.322 BUS] (1).
|