|
|
5441.
|
Cost effectiveness
: the economic evaluation of engineered systems
by English, J. Morley [ed.]. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xii, 301p.Publisher: New York John Wiley & Sons 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.15 C823] (1).
|
|
|
5442.
|
The nuclear apple and the solar orange
: alternatives in world energy
by Grenon, Michel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxix, 155 p.Publisher: New York : Pergamon Press; c1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 333.79 G865pE] (1).
|
|
|
5443.
|
High temperature superconductivity
: the road to higher critical temperature
by Uchida, Shin-ichi. Description: x, 92p.Publisher: Japan Springer 2015Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 573.623 Uc4h] (1).
|
|
|
5444.
|
Processing declarative knowledge :
: international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings /
by PDK '91 Kaiserslautern, Germany) (1991 : | Boley, H.,(ed.) | Richter, Michael M.,(ed.). Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 427 p.Publisher: Berlin ; New York : Springer-Verlag, c1991Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 v.567] (1).
|
|
|
5445.
|
Resilience of Cities to Terrorist and other Threats
: Learning from 9/11 and further Research Issues /
: [electronic resource] :
by Pasman, Hans J [editor.] | Kirillov, Igor A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XIII, 545 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Other title: Proceedings of the NATO Advanced Research Workshop on Urban Structures Resilience under Multi-Hazard Threats: Lessons of 9/11 and Research Issues for Future Work, Moscow, Russia, 16-18 July, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5446.
|
Alternative Breast Imaging
: Four Model-Based Approaches /
: [electronic resource] :
by Paulsen, Keith D [author.] | Meaney, Paul M [author.] | Gilman, Larry C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 254 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5447.
|
QoS in Packet Networks
: [electronic resource] /
by Park, Kun I [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 243 p. 164 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5448.
|
Privacy, Security and Trust within the Context of Pervasive Computing
: [electronic resource] /
by Robinson, Philip [editor.] | Vogt, Harald [editor.] | Wagealla, Waleed [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 171 p. 16 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5449.
|
The Next Wave in Computing, Optimization, and Decision Technologies
: [electronic resource] /
by Golden, Bruce [editor.] | Raghavan, S [editor.] | Wasil, Edward [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 396 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5450.
|
Reverse Engineering of Object Oriented Code
: [electronic resource] /
by Tonella, Paolo [author.] | Potrich, Alessandra [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 208 p. 80 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5451.
|
Evolutionary Synthesis of Pattern Recognition Systems
: [electronic resource] /
by Bhanu, Bir [author.] | Lin, Yingqiang [author.] | Krawiec, Krzysztof [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 296 p. 95 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5452.
|
Certification and Security in Inter-Organizational E-Service
: [electronic resource] /
by Nardelli, Enrico [editor.] | Talamo, Maurizio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VII, 149 p. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5453.
|
Super-Recursive Algorithms
: [electronic resource] /
by Burgin, Mark [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 304 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5454.
|
Abstraction, Refinement and Proof for Probabilistic Systems
: [electronic resource] /
by McIver, Annabelle [author.] | Morgan, Carroll [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 388 p. 63 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5455.
|
Introduction to Assembly Language Programming
: For Pentium and RISC Processors /
: [electronic resource] :
by Dandamudi, Sivarama P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 692 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5456.
|
Geometric Fundamentals of Robotics
: [electronic resource] /
by Selig, J. M [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 398 p. 32 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5457.
|
Nearest Neighbor Search
: A Database Perspective /
: [electronic resource] :
by Papadopoulos, Apostolos N [author.] | Manolopoulos, Yannis [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 170 p. 77 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5458.
|
From Specification to Embedded Systems Application
: [electronic resource] /
by Rettberg, Achim [editor.] | Zanella, Mauro C [editor.] | Rammig, Franz J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 320 p. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2005.Other title: IFIP TC10 Working Conference: Internationall Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5459.
|
An Integrated Approach to Software Engineering
: [electronic resource] /
by Jalote, Pankaj [author.] | SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 566 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5460.
|
Soft Real-Time Systems
: Predictability vs. Efficiency /
: [electronic resource] :
by Buttazzo, Giorgio [author.] | Lipari, Giuseppe [author.] | Abeni, Luca [author.] | Caccamo, Marco [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 275 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
