|
4861.
|
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).
|
|
4862.
|
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).
|
|
4863.
|
PEACH - Intelligent Interfaces for Museum Visits
: [electronic resource] /
by Stock, Oliviero [editor.] | Zancanaro, Massimo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 318 p. 102 illus., 32 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).
|
|
4864.
|
Modeling Decisions
: Information Fusion and Aggregation Operators /
: [electronic resource] :
by Torra, Vicen� [author.1] | Narukawa, Yasuo [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 284 p. 55 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).
|
|
4865.
|
Bioinformatics
: [electronic resource] /
by Polanski, Andrzej [author.] | Kimmel, Marek [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 376 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).
|
|
4866.
|
Security, Privacy, and Trust in Modern Data Management
: [electronic resource] /
by Petković, Milan [editor.] | Jonker, Willem [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 472 p. 89 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).
|
|
4867.
|
Spatial Data on the Web
: Modeling and Management /
: [electronic resource] :
by Belussi, Alberto [editor.] | Catania, Barbara [editor.] | Clementini, Eliseo [editor.] | Ferrari, Elena [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 314 p. 111 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).
|
|
4868.
|
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).
|
|
4869.
|
Semantic Web Services
: Concepts, Technologies, and Applications /
: [electronic resource] :
by Studer, Rudi [editor.] | Grimm, Stephan [editor.] | Abecker, Andreas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VI, 406 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).
|
|
4870.
|
Rethinking Knowledge Management
: From Knowledge Objects to Knowledge Processes /
: [electronic resource] :
by McInerney, Claire R [editor.] | Day, Ronald E [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 359 p. 18 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).
|
|
4871.
|
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).
|
|
4872.
|
Successfully Implementing Microsoft Dynamics™
: by Using the Regatta® Approach for Microsoft Dynamics™ /
: [electronic resource] :
by Koop, Reinder [author.] | Muris, Esther [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 225 p. 35 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).
|
|
4873.
|
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).
|
|
4874.
|
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).
|
|
4875.
|
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).
|
|
4876.
|
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).
|
|
4877.
|
Computational Intelligence in Economics and Finance
: Volume II /
: [electronic resource] :
by Chen, Shu-Heng [editor.] | Wang, Paul P [editor.] | Kuo, Tzu-Wen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 228 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).
|
|
4878.
|
Multimedia Retrieval
: [electronic resource] /
by Blanken, Henk M [editor.] | Blok, Henk Ernst [editor.] | Feng, Ling [editor.] | Vries, Arjen P. de [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 372 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).
|
|
4879.
|
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).
|
|
4880.
|
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).
|