Koha online

HTML5 Icon

Refine your search

Your search returned 434 results.

281.
ASIC/SoC functional design verification: a comprehensive guide to technologies and methodologies

by Mehta, Ashok B.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: United States of America -- Springer -- 2018Availability: Items available for loan: Central Library [Call number: 621.3815 MEM/A] (1). Items available for reference: Central Library [Call number: 621.3815 MEM/A] (1).
Place hold
282.
MEMS linear and nonlinear statics and dynamics

by Younis, Mohammad I.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: United States of America -- Springer -- 2011Availability: Items available for loan: Central Library [Call number: 621.381 YOU/M] (1). Items available for reference: Central Library [Call number: 621.381 YOU/M] (1).
Place hold
283.
Handbook of modern sensors: physics, designs, and applications

by Fraden, Jacob.

Edition: 5th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: United States of America -- Springer -- 2016Availability: Items available for loan: Central Library [Call number: 681.2 FRA/H] (1). Items available for reference: Central Library [Call number: 681.2 FRA/H] (1).
Place hold
284.
Plasticity and Geotechnics

by Hai-Sui Yu.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Springer ; 2006Availability: No items available
285.
Constitutive Modeling in Geomechanics

by Alexander M. Puzrin.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Springer ; 2012Availability: No items available
286.
Exact exponential algorithms

by Fomin, Fedor V | Kratsch, Dieter.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Heidelberg Springer c2010Online access: Publisher's URL Availability: No items available
287.
Reliability-based structural design

by Choi, Seung-Kyum | Canfield, Robert A | Grandhi, Ramana V.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: London Springer c2007Online access: Publisher's URL Availability: No items available
288.
The Engineer and the Scandal: A Piece of Science History

by Reint Boer.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Springer Availability: No items available
289.
Lectures on runtime verification: introductory and advanced topics

by Bartocci, Ezio (Editor) | Ylies Falcone (Editor).

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Switzerland Springer 2018Online access: Publisher's URL Availability: Items available for loan: Central Library [Call number: 005.14 BAR/L] (1). Items available for reference: Central Library [Call number: 005.14 BAR/L] (1).
Place hold
290.
SVA: the power of assertions in SystemVerilog

by Cerny, Eduard | Dudani, Surrendra | Havlicek, John | Korchemny, Dmitry.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Heidelberg Springer c2015Online access: Publisher's URL Availability: Items available for loan: Central Library [Call number: 621.392 CER/S] (1). Items available for reference: Central Library [Call number: 621.392 CER/S] (1).
Place hold
291.
Software product management: the ISPMA-compliant study guide and handbook

by Kittlaus, Hans-Bernd.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Heidelberg Springer 2022Online access: Publisher's URL Availability: Items available for loan: Central Library [Call number: 005.1065 KIT/S] (1). Items available for reference: Central Library [Call number: 005.1065 KIT/S] (1).
Place hold
292.
Industrial Internet of Things: cybermanufacturing systems

by Jeschke, Sabina (Editor) | Brecher, Christian (Editor) | Song, Houbing (Editor) | Rawat, Danda B. (Editor).

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Switzerland Springer 2017Online access: Publisher's URL Availability: Items available for loan: Central Library [Call number: 670.427 JES/I] (1). Items available for reference: Central Library [Call number: 670.427 JES/I] (1).
Place hold
293.
Graph colouring and the probabilistic method

by Molloy, Michael | Reed, Bruce.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin Springer c2002Online access: Publisher's URL Availability: Items available for loan: Central Library [Call number: 514.223 MOL/G] (1). Items available for reference: Central Library [Call number: 514.223 MOL/G] (1).
Place hold
294.
Elements of computation theory

by Singh, Arindama.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: London Springer c2009Online access: Publisher's URL Availability: Items available for loan: Central Library [Call number: 004.0151 SIN/E] (1). Items available for reference: Central Library [Call number: 004.0151 SIN/E] (1).
Place hold
295.
Embedded system design: embedded systems foundations of cyber-physical systems, and the internet of things

by Marwedel, Peter.

Edition: 4th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Cham, Switzerland Springer 2022Online access: Publisher's URL Availability: Items available for loan: Central Library [Call number: 004.21 MAR/E] (1). Items available for reference: Central Library [Call number: 004.21 MAR/E] (1).
Place hold
296.
Fundamentals of parameterized complexity

by Downey, Rodney G | Fellows, Michael R.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: London Springer 2016Online access: Publisher's URL Availability: Items available for loan: Central Library [Call number: 004.0151 DOW/F] (1). Items available for reference: Central Library [Call number: 004.0151 DOW/F] (1).
Place hold
297.
Autism and the Family in Urban India: Looking Back, Looking Forward

by Shubhangi Vaidya.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Springer ; 2016Availability: No items available
298.
Action Research and Critical Psychology: An Investigation of Subjectivity and Participation

by Martin Dege.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Springer Cham ; 2023Availability: No items available
299.
Phenomenology of Anxiety

by Stefano Micali.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Springer Cham ; 2022Availability: No items available
300.
Totality and Infinity: An Essay on Exteriority

by Emmanuel Levinas.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Springer Dordrecht ; 4th ed./ 1980Availability: No items available

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.