|
|
1161.
|
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).
|
|
|
1162.
|
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).
|
|
|
1163.
|
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).
|
|
|
1164.
|
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).
|
|
|
1165.
|
Categories for Software Engineering
: [electronic resource] /
by Fiadeiro, José Luiz [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 250 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).
|
|
|
1166.
|
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).
|
|
|
1167.
|
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).
|
|
|
1168.
|
Abstract Computing Machines
: A Lambda Calculus Perspective /
: [electronic resource] :
by Kluge, W [author.] | Brauer, W [editor.] | Rozenberg, G [editor.] | Salomaa, A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 384 p. 89 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).
|
|
|
1169.
|
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).
|
|
|
1170.
|
Implementing Distributed Systems with Java and CORBA
: [electronic resource] /
by Aleksy, Markus [author.] | Korthaus, Axel [author.] | Schader, Martin [author.] | 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, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1171.
|
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).
|
|
|
1172.
|
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).
|
|
|
1173.
|
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).
|
|
|
1174.
|
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).
|
|
|
1175.
|
Software Engineering 1
: Abstraction and Modelling /
: [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: XL, 714 p. 38 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).
|
|
|
1176.
|
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).
|
|
|
1177.
|
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).
|
|
|
1178.
|
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).
|
|
|
1179.
|
An Introduction to Language Processing with Perl and Prolog
: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German /
: [electronic resource] :
by Nugues, Pierre M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 515 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).
|
|
|
1180.
|
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).
|
