|
|
601.
|
IPv6 in Practice
: A Unixer’s Guide to the Next Generation Internet /
: [electronic resource] :
by Stockebrand, Benedikt [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XXII, 390 p. 50 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
602.
|
Decrypted Secrets
: Methods and Maxims of Cryptology /
: [electronic resource] :
by Bauer, Friedrich L [author.] | SpringerLink (Online service). Edition: Fourth, Revised and Extended Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 525 p. 183 illus., 16 illus. in color. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
603.
|
Classification and Learning Using Genetic Algorithms
: Applications in Bioinformatics and Web Intelligence /
: [electronic resource] :
by Bandyopadhyay, Sanghamitra [author.] | Pal, Sankar K [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 311 p. 87 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
604.
|
Formal Correctness of Security Protocols
: With 62 Figures and 4 Tables /
: [electronic resource] :
by Bella, Giampaolo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 274 p. 64 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
605.
|
Artificial General Intelligence
: [electronic resource] /
by Goertzel, Ben [editor.] | Pennachin, Cassio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 509 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
606.
|
Asymmetry: The Foundation of Information
: [electronic resource] /
by Muller, Scott J [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 165 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
607.
|
Software Product Lines in Action
: The Best Industrial Practice in Product Line Engineering /
: [electronic resource] :
by Linden, Frank van der [author.] | Schmid, Klaus [author.] | Rommes, Eelco [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 333 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
608.
|
Software Measurement
: Establish — Extract — Evaluate — Execute /
: [electronic resource] :
by Ebert, Christof [author.] | Dumke, Reiner [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 561 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
609.
|
Anti-Spam Measures
: Analysis and Design /
: [electronic resource] :
by Schryen, Guido [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 209 p. 50 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
610.
|
Model-Driven Architecture in Practice
: A Software Production Environment Based on Conceptual Modeling /
: [electronic resource] :
by Pastor, Oscar [author.] | Molina, Juan Carlos [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 302 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
611.
|
Conceptual Modelling in Information Systems Engineering
: [electronic resource] /
by Krogstie, John [editor.] | Opdahl, Andreas Lothe [editor.] | Brinkkemper, Sjaak [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 346 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
612.
|
Test and Analysis of Web Services
: [electronic resource] /
by Baresi, Luciano [editor.] | Nitto, Elisabetta Di [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 478 p. 140 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
613.
|
Ruby on Rails for PHP and Java Developers
: [electronic resource] /
by Vohra, Deepak [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 394 p. 202 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
614.
|
Business Process Management
: Concepts, Languages, Architectures /
: [electronic resource] :
by Weske, Mathias [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 368 p. 265 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
615.
|
Learning from Data Streams
: Processing Techniques in Sensor Networks /
: [electronic resource] :
by Gama, Jo�o [editor.1 ] | Gaber, Mohamed Medhat [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 244 p. 73 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
616.
|
Modelling Distributed Systems
: [electronic resource] /
by Fokkink, Wan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 154 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
617.
|
The Calculus of Computation
: Decision Procedures with Applications to Verification /
: [electronic resource] :
by Bradley, Aaron R [author.] | Manna, Zohar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 366 p. 60 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
618.
|
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques
: Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings /
: [electronic resource] :
by Huang, De-Shuang [editor.] | Heutte, Laurent [editor.] | Loog, Marco [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: LIV, 1375 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Other title: Third International Conference on Intelligent Computing, ICIC 2007Qingdao, China, August 21-24, 2007, Proceedings.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
619.
|
AsiaSim 2007
: Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007. Proceedings /
: [electronic resource] :
by Park, Jin-Woo [editor.] | Kim, Tag- Gon [editor.] | Kim, Yun-Bae [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 404 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
620.
|
Adaptive Bidding in Single-Sided Auctions Under Uncertainty
: An Agent-based Approach in Market Engineering /
: [electronic resource] :
by Dinther, Clemens van [author.] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 238 p. online resource.Publisher: Basel : Birkh�user Basel, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
