|
|
8541.
|
A Roadmap for Formal Property Verification
: [electronic resource] /
by DasGupta, Pallab [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XIV, 252 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8542.
|
Sustainable Urban Housing in China
: Principles and Case Studies for Low-Energy Design /
: [electronic resource] :
by Glicksman, Leon [editor.] | Lin, Juintow [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXV, 267 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8543.
|
Continuous-Time Signals
: [electronic resource] /
by Shmaliy, Yuriy [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 356 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8544.
|
Fast, Efficient and Predictable Memory Accesses
: Optimization Algorithms for Memory Architecture Aware Compilation /
: [electronic resource] :
by Wehmeyer, Lars [author.] | Marwedel, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 258 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8545.
|
Radio Design in Nanometer Technologies
: [electronic resource] /
by ISMAIL, MOHAMMED [editor.] | GONZÁLEZ, DELIA RODRÍGUEZ DE LLERA [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVIII, 316 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8546.
|
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
: [electronic resource] /
by Kogel, Tim [author.] | Leupers, Rainer [author.] | Meyr, Heinrich [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 186 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8547.
|
Models of Mechanics
: [electronic resource] /
by Klarbring, Anders [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 204 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8548.
|
Fracture Mechanics
: Inverse Problems and Solutions /
: [electronic resource] :
by Bui, H. D [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIII, 375 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8549.
|
Advances in Engineering Structures, Mechanics & Construction
: [electronic resource] /
by Pandey, M [editor.] | Xie, Wei-Chau [editor.] | Xu, Lei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 876 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8550.
|
Challenging American Leadership
: Impact of National Quality on Risk of Losing Leadership /
: [electronic resource] :
by Frankel, Ernst Gabriel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 255 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8551.
|
Countering Nuclear and Radiological Terrorism
: [electronic resource] /
by Apikyan, Samuel [editor.] | Diamond, David [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 282 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Other title: Proceedings of the NATO Advanced Research Workshop on Countering Nuclear and Radiological Terrorism, Yerevan, Armenia, 2-6 October 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8552.
|
Protection of Civilian Infrastructure from Acts of Terrorism
: [electronic resource] /
by Frolov, Konstantin V [editor.] | Baecher, Gregory B [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 244 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Other title: Proceedings of the NATO Advanced Research Workshop on Protection of Civilian Infrastructure from Acts of Terrorism, Moscow, Russia, May 27-29, 2004.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8553.
|
The Nuclear Imperative
: A Critical Look at the Approaching Energy Crisis /
: [electronic resource] :
by Eerkens, Jeff W [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 162 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8554.
|
Embedded Systems – Modeling, Technology, and Applications
: [electronic resource] /
by Hommel, Günter [editor.] | Huanye, Sheng [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 195 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8555.
|
Mechanics of Microelectronics
: [electronic resource] /
by Zhang, G. Q [editor.] | Driel, W. D. Van [editor.] | Fan, X. J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 566 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8556.
|
Advances in Robot Kinematics
: Mechanisms and Motion /
: [electronic resource] :
by Lennarčič, Jadran [editor.] | Roth, B [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 498 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8557.
|
IUTAM Symposium on Size Effects on Material and Structural Behavior at Micron- and Nano-Scales
: Proceedings of the IUTAM Symposium held in Hong Kong, China, 31 May–4 June, 2004 /
: [electronic resource] :
by Sun, Q. P [editor.] | Tong, P [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVI, 272 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8558.
|
Fracture of Nano and Engineering Materials and Structures
: Proceedings of the 16th European Conference of Fracture, Alexandroupolis, Greece, July 3–7, 2006 /
: [electronic resource] :
by Gdoutos, E. E [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: C, 1416 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8559.
|
IUTAM Symposium on Computational Approaches to Multiphase Flow
: Proceedings of an IUTAM Symposium held at Argonne National Laboratory, October 4–7, 2004 /
: [electronic resource] :
by Balachandar, S [editor.] | Prosperetti, A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 450 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8560.
|
Applications of Specification and Design Languages for SoCs
: Selected papers from FDL 2005 /
: [electronic resource] :
by Vachoux, A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 312 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
