|
161.
|
Geometric algorithms and combinatorial optimization by Grotschel, Martin | Lovasz, Laszlo | Schrijver, Alexander. Edition: 2nd corrected ed. Language: English Publisher: Berlin Springer-Verlag 1993Availability: Items available for loan: Central Library
[Call number: 516.13 GRO/G]
(3). Items available for reference: Central Library
[Call number: 516.13 GRO/G]
(1). Checked out (1).
|
|
162.
|
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).
|
|
163.
|
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).
|
|
164.
|
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).
|
|
165.
|
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]
(4). Items available for reference: Central Library
[Call number: 004.0151 JUK/B]
(1).
|
|
166.
|
An Introduction to statistical learning: with applications in R by James, Gareth | Witten, Daniela | Hastie, Trevor | Tibshirani, Robert. Edition: 2nd ed. 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).
|
|
167.
|
Pattern recognition and machine learning by Bishop, Christopher M. Language: English Publisher: New York Springer 2009Availability: Items available for reference: Central Library
[Call number: 006.4 BIS/P]
(1). Checked out (2).
|
|
168.
|
|
|
169.
|
|
|
170.
|
|
|
171.
|
|
|
172.
|
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).
|
|
173.
|
|
|
174.
|
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).
|
|
175.
|
|
|
176.
|
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).
|
|
177.
|
|
|
178.
|
|
|
179.
|
|
|
180.
|
|