Koha online

HTML5 Icon

Your search returned 97 results.

81.
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
82.
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
83.
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
84.
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
85.
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
86.
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
87.
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
88.
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
89.
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
90.
Understanding psychology in the context of relationship, community, workplace and culture

by Sia, Surendra Kumar (Editor) | Crane, Lauren S. (Editor) | Jain, Ajay K. (Editor) | Bano, Shabana (Editor).

Language: English Publisher: Singapore Springer 2022Availability: Items available for loan: Central Library [Call number: 150 SIA/U] (2). Items available for reference: Central Library [Call number: 150 SIA/U] (1).
Place hold
91.
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).
Place hold
92.
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).
Place hold
93.
Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra

by Cox, David A | Little, John | O’Shea, Donal.

Edition: 4th ed. Language: English Publisher: Cham Springer 2015Availability: Items available for loan: Central Library [Call number: 516.35 COX/I] (1). Items available for reference: Central Library [Call number: 516.35 COX/I] (1).
Checked out (2).
Place hold
94.
Theory and practice of finite elements

by Ern, Alexandre | Guermond, Jean-Luc.

Language: English Publisher: New York Springer 2004Availability: Items available for loan: Central Library [Call number: 518.25 ERN/T] (2). Items available for reference: Central Library [Call number: 518.25 ERN/T] (1).
Place hold
95.
The mathematical theory of finite element methods

by Brenner, Susanne C | Scott, L. Ridgway.

Edition: 3rd ed. Language: English Publisher: New York Springer 2008Availability: Items available for reference: Central Library [Call number: 518.25 BRE/M] (1). Checked out (2).
Place hold
96.
Numerical approximation of partial differential equations

by Quarteroni, Alfio | Valli, Alberto.

Language: English Publisher: Berlin Springer 2008Availability: Items available for loan: Central Library [Call number: 515.353 QUA/N] (1). Items available for reference: Central Library [Call number: 515.353 QUA/N] (1).
Checked out (1).
Place hold
97.
Visual Complex Functions: An Introduction with Phase Portraits

by Wegert, Elias.

Language: English Publisher: United States of America -- Springer -- 2012Availability: Items available for loan: Central Library [Call number: 515.9 WEG/V] (7). Items available for reference: Central Library [Call number: 515.9 WEG/V] (1).
Checked out (2).
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.