|
|
10641.
|
The simple art of SoC design
: closing the gap between RTL and ESL
by Keating, Michael. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xvii, 234p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381 K222s] (1).
|
|
|
10642.
|
Complex-valued neural networks with multi-valued neurons
by Aizenberg, Igor. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 262p.Publisher: Berlin Springer-Verlag 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 Ai99c] (1).
|
|
|
10643.
|
Dark web
: exploring and data mining the dark side of the web
by Chen, Hsinchun. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvi, 451p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 363.32502854678 C42] (1).
|
|
|
10644.
|
Advanced dynamics and model-based control of structures and machines
by | Irschik, Hans, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 241p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3 Ad95] (1).
|
|
|
10645.
|
Elasticity and plasticity of large deformations
: an introduction
by Bertram, Albrecht. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 345p.Publisher: Berlin Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.1123 B462e3] (1).
|
|
|
10646.
|
Singularities in elliptic boundary value problems and elasticity and their connection with failure initiation
by Yosibash, Zohar. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 459p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.3533 Y83] (1).
|
|
|
10647.
|
Vehicle dynamics and control
by Rajamani, Rajesh. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 496p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.231 R137v2] (1).
|
|
|
10648.
|
Parametric resonance in dynamical systems
by | Fossen, Thor I., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 330p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 531.11 P212] (1).
|
|
|
10649.
|
Multiobjective genetic algorithms for clustering
: applications in data mining and bioinformatics
by Maulik, Ujjwal | Bandyopadhyay, Sanghamitra. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 281p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.53 M443m] (1).
|
|
|
10650.
|
Handbook of memetic algorithms
by | Neri, Ferrante, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvi, 368p.Publisher: Berlin Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 H191] (1).
|
|
|
10651.
|
Nonlinear approaches in engineering applications
by | Dai, Liming, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxxii, 535p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.104 N731] (1).
|
|
|
10652.
|
Specification of software systems
by Alagar, V.S | Periyasamy, K. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 644p.Publisher: London Springer-Verlag 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 Al11s2] (1).
|
|
|
10653.
|
Rigorous software development
: an introduction to program verification
by Almeida, Jose Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 263p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 R449] (1).
|
|
|
10654.
|
Applications of pulse-coupled neural networks
by Ma, Yide | Zhan, Kun. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 199p.Publisher: Berlin Springer-Verlag 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.32 M11a] (1).
|
|
|
10655.
|
Intelligence-based systems engineering
by | Tolk, Andreas, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 342p.Publisher: Berlin Springer-Verlag 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.001171 In8] (1).
|
|
|
10656.
|
How organizations remember
: retaining knowledge through organizational action
by O'Toole, Paddy. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 191p.Publisher: New York Springer 2011Availability: No items available Checked out (1).
|
|
|
10657.
|
Service design and delivery
by | Macintyre,Mairi, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 169p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658 Se69] (1).
|
|
|
10658.
|
Accelerating global supply chains with IT-innovation
: ITAIDE tools and methods
by | Tan. You-Hua, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 379 p.Publisher: Heidelberg Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.70285 Ac22] (1).
|
|
|
10659.
|
Encyclopaedia of the history of science, technology, and medicine in Non-Western cultures [2 volume set]
by Selin, Helaine [ed.]. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: various pagings.Publisher: Berlin Springer 2008Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 509 En19h2 v.1] (2).
|
|
|
10660.
|
Advances in modeling concrete service life
: proceedings...
by | International Workshop on RILEM Madrid, Spain 19, 2010 | Andrade, Carmen, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 164p.Publisher: Dordecht Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.1834 In8] (1).
|
