HTML5 Icon

Refine your search

Your search returned 107 results.

21.
Decision procedures: an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed. Language: English Publisher: Berlin Springer 2016Availability: Items available for loan: Central Library [Call number: 004.0151 KRO/D] (1). Items available for reference: Central Library [Call number: 004.0151 KRO/D] (1).
22.
Linear algebra

by Lang, Serge.

Edition: 3rd ed. Language: English Publisher: New York Springer 1987Availability: Items available for reference: Central Library [Call number: 512.5 LAN/L] (1). Checked out (4).
23.
Numerical methods for conservation laws

by LeVeque, Randall J.

Edition: 2nd ed. Language: English Publisher: Basel Springer 1992Availability: Items available for reference: Central Library [Call number: 518 LEV/N] (1). Checked out (1).
24.
Proofs from the book

by Aigner, Martin | Ziegler, Gunter M.

Edition: 5th ed. Language: English Publisher: Berlin Springer 2014Availability: Items available for reference: Central Library [Call number: 510 AIG/P] (1). Checked out (1).
25.
Teaching about technology: an introduction to the philosophy of technology for non-philosophers

by Vries, Marc J. de.

Edition: 2nd ed. Language: English Publisher: Switzerland Springer 2016Availability: Items available for loan: Central Library [Call number: 601 VRI/T] (1). Items available for reference: Central Library [Call number: 601 VRI/T] (1).
26.
Electroanalytical methods: guide to experiments and applications

by Scholz, F.(Editor).

Edition: 2nd rev. ed. Language: English Publisher: New York Springer 2010Availability: Items available for loan: Central Library [Call number: 543.4 SCH/E] (1). Items available for reference: Central Library [Call number: 543.4 SCH/E] (1).
Checked out (1).
27.
Additive manufacturing technologies: 3D printing, rapid prototyping, and direct digital manufacturing

by Gibson, Ian | Rosen, David | Stucker, Brent.

Edition: 2nd ed. Language: English Publisher: New York Springer 2015Availability: Items available for loan: Central Library [Call number: 670.4275 GIB/A] (18). Items available for reference: Central Library [Call number: 670.4275 GIB/A] (1).
Checked out (1).
28.
A course in multivariable calculus and analysis

by Ghorpade, Sudhir R | Limaye, Balmohan V.

Language: English Publisher: New York Springer 2010Availability: Items available for loan: Central Library [Call number: 515 GHO/C] (13). Items available for reference: Central Library [Call number: 515 GHO/C] (1).
Checked out (1).
29.
Large deviations techniques and applications, Vol.38

by Dembo, Amir | Zeitouni, Ofer.

Edition: 2nd ed. Language: English Publisher: New York Springer 2010Availability: Items available for loan: Central Library [Call number: 519.534 DEM/L] (1). Items available for reference: Central Library [Call number: 519.534 DEM/L] (1).
30.
Finance for engineers: evaluation and funding of capital projects

by Crundwell, F. K.

Language: English Publisher: London Springer 2008Availability: Items available for loan: Central Library [Call number: 658.152 CRU/F] (1). Items available for reference: Central Library [Call number: 658.152 CRU/F] (1).
31.
Linear algebra

by Nair, M. Thamban | Singh, Arindama.

Language: English Publisher: Singapore Springer 2018Availability: Items available for reference: Central Library [Call number: 512.5 NAI/L] (1). Checked out (1).
32.
An introduction to signal detection and estimation

by Poor, H. Vincent.

Edition: 2nd ed. Language: English Publisher: Berlin Springer 1994Availability: Items available for loan: Central Library [Call number: 621.3822 POO/I] (7). Items available for reference: Central Library [Call number: 621.3822 POO/I] (1).
33.
Parameterized algorithms

by Cygan, Marek | Fomin, Fedor V | Kowalik, Lukasz | Lokshtanov, Daniel | Marx, Daniel | Pilipczuk, Marcin | Pilipczuk, Michael | Saurabh, Saket.

Language: English Publisher: Switzerland Springer 2015Availability: Items available for loan: Central Library [Call number: 005.1 CYG/P] (4). Items available for reference: Central Library [Call number: 005.1 CYG/P] (1).
34.
Inorganic and organometallic polymers

by Chandrasekhar, Vadapalli.

Language: English Publisher: Berlin Springer 2005Availability: Items available for loan: Central Library [Call number: 541.2254 CHA/I] (4). Items available for reference: Central Library [Call number: 541.2254 CHA/I] (1).
35.
Materials chemistry

by Fahlman, Bradley D.

Edition: 3rd ed. Language: English Publisher: Dordrecht Springer 2018Availability: Items available for reference: Central Library [Call number: 543.0284 FAH/M] (1). Checked out (1).
36.
Scanning electron microscopy and x-ray microanalysis (with CD)

by Goldstein, Joseph I | Newbury, Dale E | Echlin, Patrick | Joy, David C | Lyman, Charles E | Lifshin, Eric | Sawyer, Linda | Michael, Joseph R.

Edition: 3rd ed. Language: English Publisher: New York Springer 2003Availability: Items available for loan: Central Library [Call number: 502.825 GOL/S] (1). Items available for reference: Central Library [Call number: 502.825 GOL/S] (1).
37.
Transmission electron microscopy: a textbook for materials science (Set of 4 volumes), Part-1 : basics

by Williams, David B | Carter, C. Barry.

Edition: 2nd ed. Language: English Publisher: New York Springer 2009Availability: Items available for loan: Central Library [Call number: 502.825 WIL/T] (1). Items available for reference: Central Library [Call number: 502.825 WIL/T] (1).
38.
Physical principles of electron microscopy: an introduction to TEM, SEM and AEM

by Egerton, R. F.

Edition: 2nd ed. Language: English Publisher: Switzerland Springer 2016Availability: Items available for loan: Central Library [Call number: 502.825 EGE/P] (3). Items available for reference: Central Library [Call number: 502.825 EGE/P] (1).
39.
Modern electrochemistry: ionics, Vol.1

by Bockris, John O'M | Reddy, Amulya K.N.

Edition: 2nd ed. Language: English Publisher: New York Springer 2018Availability: Items available for loan: Central Library [Call number: 541.37 BOC/M] (1). Items available for reference: Central Library [Call number: 541.37 BOC/M] (1).
40.
Spectroscopic methods in organic chemistry

by Fleming, Ian | Williams, Dudley.

Edition: 7th ed. Language: English Publisher: Switzerland Springer 2019Availability: Items available for loan: Central Library [Call number: 543.5 FLE/S] (3). Items available for reference: Central Library [Call number: 543.5 FLE/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.