Koha online

HTML5 Icon

Refine your search

Your search returned 199 results.

141.
Handbook of model checking

by Clarke, Edmund M. (Editor) | Henzinger, Thomas A. (Editor) | Veith, Helmut (Editor) | Bloem, Roderick (Editor).

Edition: 1st ed. Language: English Publisher: Switzerland Springer 2018Availability: Items available for loan: Central Library [Call number: 004.24 CLA/H] (4). Items available for reference: Central Library [Call number: 004.24 CLA/H] (1).
Place hold
142.
Theory of computation

by Kozen, Dexter C.

Language: English Publisher: London Springer-Verlag c2006Availability: Items available for loan: Central Library [Call number: 004.0151 KOZ/T] (3). Items available for reference: Central Library [Call number: 004.0151 KOZ/T] (1).
Checked out (4).
Place hold
143.
Introduction to circuit complexity: a uniform approach

by Vollmer, Heribert.

Edition: 1st ed. Language: English Publisher: Berlin Springer-Verlag c1999Availability: Items available for loan: Central Library [Call number: 004.0151 VOL/I] (4). Items available for reference: Central Library [Call number: 004.0151 VOL/I] (1).
Place hold
144.
Boolean function complexity: advances and frontiers

by Jukna, Stasys.

Edition: 1st ed. Language: English Publisher: Berlin Springer 2012Availability: Items available for loan: Central Library [Call number: 004.0151 JUK/B] (3). Items available for reference: Central Library [Call number: 004.0151 JUK/B] (1).
Checked out (1).
Place hold
145.
An Introduction to Statistical Learning: with Applications in R

by James, Gareth | Witten, Daniela Hastie, Trevor Tibshirani, Robert.

Edition: Ed. 2 Language: English Publisher: United States of America -- Springer -- 2021Availability: Items available for loan: Central Library [Call number: 006.31 JAM/I] (2). Items available for reference: Central Library [Call number: 006.31 JAM/I] (1).
Place hold
146.
Pattern recognition and machine learning

by Bishop, Christopher M.

Language: English Publisher: New York Springer 2009Availability: Items available for loan: Central Library [Call number: 006.4 BIS/P] (1). Items available for reference: Central Library [Call number: 006.4 BIS/P] (1).
Checked out (1).
Place hold
147.
Combinatorial optimization: polyhedra and efficiency (Set of 3 volumes), Vol. B: Matroids, trees, stable sets

by Schrijver, Alexander.

Edition: 1st edMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin Springer 2003Availability: Items available for loan: Central Library [Call number: 519.64 SCH/C] (3). Items available for reference: Central Library [Call number: 519.64 SCH/C] (1).
Checked out (1).
Place hold
148.
Combinatorial optimization: polyhedra and efficiency (Set of 3 volumes), Vol. C: Disjoints paths, hypergraphs

by Schrijver, Alexander.

Edition: 1st edMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin Springer 2003Availability: Items available for loan: Central Library [Call number: 519.64 SCH/C] (3). Items available for reference: Central Library [Call number: 519.64 SCH/C] (1).
Checked out (1).
Place hold
149.
Sustainability in manufacturing: recovery of resources in product and material cycles

by Seliger, Gunther (Editor).

Language: English Publisher: Berlin Springer 2007Availability: Items available for reference: Central Library [Call number: 658.5 SEL/S] (1).
150.
No cover image available
Defect and material mechanics: proceedings of the International Symposium on Defect and Material Mechanics (ISDMM), held in Aussois, France, March 25-29, 2007

by Dascalu, Cristian (Editor) | Maugin, Gerard A. (Editor) | Stolz, Calude (Editor).

Language: English Publisher: Dordrecht Springer 2008Availability: Items available for reference: Central Library [Call number: 620.1126 DAS/D] (1).
151.
Disordered materials: an introduction

by Ossi, Paolo M.

Edition: 2nd ed. Language: English Publisher: Berlin Springer 2006Availability: Items available for reference: Central Library [Call number: 530.413 OSS/D] (1).
152.
Statistical physics: an advanced approach with applications

by Honerkamp, Josef.

Edition: 3rd ed. Language: English Publisher: Berlin Springer 2012Availability: Items available for reference: Central Library [Call number: 530.13 HON/S] (1).
153.
Advanced design and manufacturing based on STEP

by Xu, Xun (Editor) | Nee, Andrew Y.C. (Editor).

Language: English Publisher: London Springer 2009Availability: Items available for reference: Central Library [Call number: 670.285 XU/A] (1).
154.
No cover image available
Electronic states in crystals of finite size: Quantum confinement of Bloch waves

by Ren, Shang Yuan.

Edition: Ed. 2 Language: English Publisher: Singapore -- Springer -- 2017Availability: Items available for loan: Central Library [Call number: 530.41 REN/E] (1). Items available for reference: Central Library [Call number: 530.41 REN/E] (1).
Place hold
155.
Industrial applications of affective engineering

by Watada, Junzo (Editor) | Shiizuka, Hisao (Editor) | Lee, Kun-Pyo (Editor) | Otani, Tsuyoshi (Editor) | Lim, Chee-Peng (Editor).

Language: English Publisher: Switzerland Springer 2014Availability: Items available for reference: Central Library [Call number: 658.575 WAT/I] (1).
156.
Mechanosensing and mechanochemical transduction in extracellular matrix: biological, chemical, engineering and physiological aspects

by Silver, Frederick H.

Language: English Publisher: New York Springer 2006Availability: Items available for reference: Central Library [Call number: 610.28 SIL/M] (1).
157.
Micro-scaled products development via microforming: deformation behaviours, processes, tooling and its realization

by Fu, Ming Wang | Chan, Wai Lun.

Language: English Publisher: London Springer 2014Availability: Items available for reference: Central Library [Call number: 670 FU/M] (1).
158.
Nonsmooth dynamics of contacting thermoelastic bodies

by Awrejcewicz, Jan | Pyr'yev, Yuriy.

Language: English Publisher: New York Springer 2009Availability: Items available for reference: Central Library [Call number: 515.39 AWR/N] (1).
159.
Springer handbook of experimental fluid mechanics (with DVD)

by Tropea, Cameron (Editor) | Yarin, Alexander L. (Editor) | Foss, John F. (Editor).

Language: English Publisher: Berlin Springer 2007Availability: Items available for reference: Central Library [Call number: 532 TRO/S] (1).
160.
Stochastic and integral geometry

by Schneider, Rolf | Weil, Wolfgang.

Language: English Publisher: Berlin Springer 2008Availability: Items available for reference: Central Library [Call number: 519.2 SCH/S] (1).

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.