|
|
41.
|
Agile Software Construction
: [electronic resource] /
by Hunt, John [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: X, 254 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
42.
|
Theoretical Introduction to Programming
: [electronic resource] /
by Mills, Bruce [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 358 p. 29 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
43.
|
Computer Insecurity
: Risking the System /
: [electronic resource] :
by Furnell, Steven [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 240 p. 30 illus. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
44.
|
Mathematical and Computer Programming Techniques for Computer Graphics
: [electronic resource] /
by Comninos, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 548 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
45.
|
Concurrency Theory
: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
: [electronic resource] :
by Bowman, Howard [author.] | Gomez, Rodolfo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 422 p. 126 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
46.
|
Theory of Computation
: [electronic resource] /
by Kozen, Dexter C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 418 p. 1 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
47.
|
Information Visualization
: Beyond the Horizon /
: [electronic resource] :
by Chen, Chaomei [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 316 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
48.
|
Foundations of 3D Graphics Programming
: Using JOGL and Java3D /
: [electronic resource] :
by Chen, Jim X [author.] | Wegman, Edward J [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 293 p. 173 illus., 34 illus. in color. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
49.
|
Computational Intelligence in Fault Diagnosis
: [electronic resource] /
by Palade, Vasile [editor.] | Jain, Lakhmi [editor.] | Bocaniala, Cosmin Danut [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 362 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
50.
|
Dissemination of Information in Communication Networks
: Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
: [electronic resource] :
by Hromkovič, Juraj [author.] | Klasing, Ralf [author.] | Pelc, Andrzej [author.] | Ružička†, Peter [author.] | Unger, Walter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 364 p. 73 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
51.
|
Universal Artificial Intellegence
: Sequential Decisions Based on Algorithmic Probability /
: [electronic resource] :
by Hutter, Marcus [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 278 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
52.
|
A Theory of Distributed Objects
: Asynchrony — Mobility — Groups — Components /
: [electronic resource] :
by Caromel, Denis [author.] | Henrio, Ludovic [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXII, 352 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
53.
|
A Practical Theory of Reactive Systems
: Incremental Modeling of Dynamic Behaviors /
: [electronic resource] :
by Kurki-Suonio, Reino [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 420 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
54.
|
Learning Design
: A Handbook on Modelling and Delivering Networked Education and Training /
: [electronic resource] :
by Koper, Rob [editor.] | Tattersall, Colin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVIII, 412 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
55.
|
Theoretical and Experimental DNA Computation
: [electronic resource] /
by Amos, Martyn [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 173 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
56.
|
Complexity Theory and Cryptology
: An Introduction to Cryptocomplexity /
: [electronic resource] :
by Rothe, J�rg [author.1] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 478 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
57.
|
Introduction to Reliable Distributed Programming
: [electronic resource] /
by Guerraoui, Rachid [author.] | Rodrigues, Lu�s [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 300 p. 31 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).
|
|
|
58.
|
Software Product Line Engineering
: Foundations, Principles, and Techniques /
: [electronic resource] :
by Pohl, Klaus [author.] | Böckle, Günter [author.] | Linden, Frank van der [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVI, 467 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
59.
|
Applications of Membrane Computing
: [electronic resource] /
by Ciobanu, Gabriel [editor.] | Păun, Gheorghe [editor.] | Pérez-Jiménez, Mario J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 441 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).
|
|
|
60.
|
Spatially Structured Evolutionary Algorithms
: Artificial Evolution in Space and Time /
: [electronic resource] :
by Tomassini, Marco [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 193 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
