|
|
1.
|
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).
|
|
|
2.
|
Coordination of Large-Scale Multiagent Systems
: [electronic resource] /
by Scerri, Paul [editor.1] | Vincent, R�gis [editor.1 ] | Mailler, Roger [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 352 p. 15 illus. online resource.Boston, MA : Springer US, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3.
|
Computation Engineering
: Applied Automata Theory and Logic /
: [electronic resource] :
by Gopalakrishnan, Ganesh [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVI, 472 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
4.
|
Constructing Correct Software
: [electronic resource] /
by Cooke, John [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 509 p. 100 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).
|
|
|
5.
|
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).
|
|
|
6.
|
Agent Technology from a Formal Perspective
: [electronic resource] /
by Rouff, Christopher A [editor.] | Hinchey, Michael [editor.] | Rash, James [editor.] | Truszkowski, Walter [editor.] | Gordon-Spears, Diana [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 354 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).
|
|
|
7.
|
Discrete Mathematics Using a Computer
: [electronic resource] /
by O’Donnell, John [author.] | Hall, Cordelia [author.] | Page, Rex [author.] | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIX, 441 p. 68 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).
|
|
|
8.
|
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).
|
|
|
9.
|
Comprehensive Mathematics for Computer Scientists 2
: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
: [electronic resource] :
by Mazzola, Guerino [author.] | Milmeister, Gérard [author.] | Weissmann, Jody [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 355 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).
|
|
|
10.
|
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).
|
|
|
11.
|
Complexity Theory
: Exploring the Limits of Efficient Algorithms /
: [electronic resource] :
by Wegener, Ingo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 308 p. 18 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).
|
|
|
12.
|
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).
|
|
|
13.
|
Parameterized Complexity Theory
: [electronic resource] /
by Flum, J�rg [author.1] | Grohe, Martin [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 495 p. 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).
|
|
|
14.
|
Fuzzy-Neuro Approach to Agent Applications
: From the AI Perspective to Modern Ontology /
: [electronic resource] :
by Lee, Raymond S. T [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 376 p. 126 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).
|
|
|
15.
|
Fundamentals of Algebraic Graph Transformation
: [electronic resource] /
by Ehrig, Hartmut [author.] | Ehrig, Karsten [author.] | Prange, Ulrike [author.] | Taentzer, Gabriele [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 390 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).
|
|
|
16.
|
Formal Models of Communicating Systems
: Languages, Automata, and Monadic Second-Order Logic /
: [electronic resource] :
by Bollig, Benedikt [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 181 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).
|
|
|
17.
|
Comprehensive Mathematics for Computer Scientists 1
: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) /
: [electronic resource] :
by Mazzola, Guerino [author.] | Milmeister, Gérard [author.] | Weissmann, Jody [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 388 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).
|
|
|
18.
|
Robustness and Usability in Modern Design Flows
: [electronic resource] /
by Fey, Görschwin [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 166 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
19.
|
Ingredients for Successful System Level Design Methodology
: [electronic resource] /
by Patel, Hiren D [author.] | Shukla, Sandeep K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 208 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
20.
|
New Developments in Formal Languages and Applications
: [electronic resource] /
by Bel-Enguix, Gemma [editor.] | Jiménez-López, M. Dolores [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VII, 275 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).
|
