1421. Mathematical logic

by Thomas, W | Ebbinghaus, H. -D | Flum, J.

Edition: 2nd ed.Material type: book 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1997Availability: Items available for loan: [Call number: 514.322 BUS] (1).

Powered by Koha