Koha online

HTML5 Icon

Refine your search

Your search returned 157 results.

101.
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).
Place hold
102.
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).
Place hold
103.
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] (1). Items available for reference: Central Library [Call number: 511.5 DIE/G] (1).
Checked out (2).
Place hold
104.
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).
Place hold
105.
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).
Place hold
106.
Combinatorial optimization: polyhedra and efficiency (Set of 3 volumes), Vol. A: Paths, flows, matchings

by Schrijver, Alexander.

Edition: 1st ed. Language: English Publisher: Berlin Springer-Verlag 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
107.
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).
Place hold
108.
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
109.
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).
Place hold
110.
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
111.
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
112.
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
113.
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
114.
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
115.
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
116.
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
117.
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).
118.
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).
119.
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).
120.
Theoretical methods for strongly correlated electrons

by Senechal, David (Editor) | Tremblay, Andre-Marie (Editor) | Bourbonnais, Claude (Editor).

Language: English Publisher: New York Springer 2004Availability: Items available for loan: Central Library [Call number: 530.411 SEN/T] (1). Items available for reference: Central Library [Call number: 530.411 SEN/T] (1).
Place hold

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.