|
81.
|
Lie groups by Duistermaat, J.J | Kolk, J.A.C. Edition: 1st ed. Language: English Publisher: Berlin Springer 2000Availability: Items available for loan: Central Library
[Call number: 512.482 DUI/L]
(1). Items available for reference: Central Library
[Call number: 512.482 DUI/L]
(1).
|
|
82.
|
From holomorphic functions to complex manifolds by Fritzsche, Klaus | Grauert, Hans. Language: English Publisher: New York Springer c2002Availability: Items available for loan: Central Library
[Call number: 515.98 FRI/F]
(2). Items available for reference: Central Library
[Call number: 515.98 FRI/F]
(1).
|
|
83.
|
|
|
84.
|
Automata and computability by Kozen, Dexter C. Edition: 1st ed. Language: English Publisher: New York Springer 1997Availability: Items available for loan: Central Library
[Call number: 004.0151 KOZ/A]
(6). Items available for reference: Central Library
[Call number: 004.0151 KOZ/A]
(1). Checked out (1).
|
|
85.
|
Extremal combinatorics: with applications in computer science by Jukna, Stasys. Edition: 2nd ed. Language: English Publisher: Berlin Springer c2011Availability: Items available for loan: Central Library
[Call number: 511.66004 JUK/E]
(3). Items available for reference: Central Library
[Call number: 511.66004 JUK/E]
(1). Checked out (1).
|
|
86.
|
Graph theory by Diestel, Reinhard. Edition: 5th ed. Language: English Publisher: Berlin Springer 2018Availability: Items available for loan: Central Library
[Call number: 511.5 DIE/G]
(3). Items available for reference: Central Library
[Call number: 511.5 DIE/G]
(1).
|
|
87.
|
Digraphs: theory, algorithms and applications by Bang-Jensen, Jorgen | Gutin, Gregory Z. Edition: 2nd ed. Language: English Publisher: London Springer 2010Availability: Items available for loan: Central Library
[Call number: 511.54 BAN/D]
(4). Items available for reference: Central Library
[Call number: 511.54 BAN/D]
(1).
|
|
88.
|
Introduction to coding theory by Lint, J. H. van. Edition: 3rd ed. Language: English Publisher: Berlin Springer-Verlag c1999Availability: Items available for loan: Central Library
[Call number: 003.54 LIN/I]
(1). Items available for reference: Central Library
[Call number: 003.54 LIN/I]
(1). Checked out (1).
|
|
89.
|
|
|
90.
|
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).
|
|
91.
|
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).
|
|
92.
|
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]
(4). Items available for reference: Central Library
[Call number: 004.0151 KOZ/T]
(1). Checked out (3).
|
|
93.
|
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).
|
|
94.
|
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).
|
|
95.
|
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).
|
|
96.
|
|
|
97.
|
|
|
98.
|
|
|
99.
|
Time series: theory and methods by Brockwell, Peter J | Davis, Richard A. Edition: 2nd ed. Language: English Publisher: New York Springer 1991Availability: Items available for loan: Central Library
[Call number: 519.55 BRO/T]
(5). Items available for reference: Central Library
[Call number: 519.55 BRO/T]
(1).
|
|
100.
|
Algorithmic algebra by Mishra, Bhubaneswar. Language: English Publisher: New York Springer 1993Availability: Items available for loan: Central Library
[Call number: 004 MIS/A]
(2). Items available for reference: Central Library
[Call number: 004 MIS/A]
(1). Checked out (1).
|