|
|
41.
|
Concurrent Zero-Knowledge
: With Additional Background by Oded Goldreich /
: [electronic resource] :
by Rosen, Alon [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XIV, 184 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
42.
|
Software Engineering 2
: Specification of Systems and Languages /
: [electronic resource] :
by Bj�rner, Dines [author.1] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 780 p. 151 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
43.
|
Software Engineering 3
: Domains, Requirements, and Software Design /
: [electronic resource] :
by Bjøner, Dines [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXX, 768 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
44.
|
Interactive Computation
: The New Paradigm /
: [electronic resource] :
by Goldin, Dina [editor.] | Smolka, Scott A [editor.] | Wegner, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 487 p. 84 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
45.
|
Software Agent-Based Applications, Platforms and Development Kits
: [electronic resource] /
by Unland, Rainer [editor.] | Calisti, Monique [editor.] | Klusch, Matthias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 451 p. online resource.Publisher: Basel : Birkhäuser Basel, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
46.
|
Ontologies for Agents: Theory and Experiences
: [electronic resource] /
by Tamma, Valentina [editor.] | Cranefield, Stephen [editor.] | Finin, Timothy W [editor.] | Willmott, Steven [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 345 p. online resource.Publisher: Basel : Birkhäuser Basel, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
47.
|
Applications of Agent Technology in Traffic and Transportation
: [electronic resource] /
by Kl�gl, Franziska [editor.1 ] | [editor.1 ] | [editor.2 ]. Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 209 p. online resource.Basel : Birkh�user Basel, 2005. Availability: Items available for loan: (1).
|
|
|
48.
|
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
: [electronic resource] /
by Nowak, Ivo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 213 p. online resource.Publisher: Basel : Birkhäuser Basel, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
49.
|
Agent-based Supply Network Event Management
: [electronic resource] /
by Zimmermann, Roland [author.] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 329 p. online resource.Publisher: Basel : Birkh�user Basel, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
50.
|
Algorithms for Fuzzy Clustering
: Methods in c-Means Clustering with Applications /
: [electronic resource] :
by Miyamoto, Sadaaki [author.] | Ichihashi, Hidetomo [author.] | Honda, Katsuhiro [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 247 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
51.
|
Automatic Quantum Computer Programming
: A Genetic Programming Approach /
: [electronic resource] :
by Spector, Lee [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 154 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
52.
|
Evolutionary Algorithms for Solving Multi-Objective Problems
: Second Edition /
: [electronic resource] :
by Coello, Carlos A. Coello [author.] | Lamont, Gary B [author.] | Veldhuizen, David A. Van [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 800 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
53.
|
Software Verification and Validation
: An Engineering and Scientific Approach /
: [electronic resource] :
by Fisher, Marcus S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 172 p. 20 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
54.
|
Genetic Programming Theory and Practice IV
: [electronic resource] /
by Riolo, Rick [editor.] | Soule, Terence [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 338 p. 200 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
55.
|
Introduction to C++ Programming and Graphics
: [electronic resource] /
by Pozrikidis, Constantine [author.] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 372 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
56.
|
An Introduction to Network Programming with Java
: [electronic resource] /
by Graba, Jan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 416 p. 104 illus. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
57.
|
An Introduction to HTML and JavaScript
: for Scientists and Engineers /
: [electronic resource] :
by Brooks, David R [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 200 p. 6 illus. in color. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
58.
|
Embedded Java Security
: Security for Mobile Devices /
: [electronic resource] :
by Debbabi, Mourad [author.] | Saleh, Mohamed [author.] | Talhi, Chamseddine [author.] | Zhioua, Sami [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 246 p. 38 illus. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
59.
|
Java Methods for Financial Engineering
: Applications in Finance and Investment /
: [electronic resource] :
by Barker, Philip [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 568 p. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
60.
|
Principles of Data Mining
: [electronic resource] /
by Bramer, Max [author.] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 344 p. 200 illus. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
