|
21.
|
MATHEMATICAL FOUNDATIONS OF PROGRAMMING
by Backman, Frank S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,443.Publisher: Massachusetts Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B389m] (1).
|
|
22.
|
MATHEMATICAL FOUNDATIONS OF PROGRAMMING
by Backman, Frank S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,443.Publisher: Massachusetts Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B389m] (1).
|
|
23.
|
Mathematical foundations of programming
by Beckman, Frank S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,443p.Publisher: Reading, Massachusetts Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B389m] (1).
|
|
24.
|
COMPUTER MATHEMATICS
by Conrad, Clifford L | Highly, Harry B. Material type: Book; Literary form: Description: 210.Publisher: Richelle Park Hayden Book Co. Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 C763c] (1).
|
|
25.
|
PROGRAMS, MACHINES AND COMPUTATION
by Clark, Keith | Cowell, Don. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,176.Publisher: London Mcgraw-Hill 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C548p] (1).
|
|
26.
|
MACHINES LANGUAGES AND COMPUTATION
by Denning, Peter J | Qualitz, Joseph E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii,601.Publisher: Englewood Cliffs Prentice-Hall 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.381952 D422m] (1).
|
|
27.
|
MACHINES LANGUAGES AND COMPUTATION
by Denning, Peter J | Qualitz, Joseph E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii,601.Publisher: Englewood Cliffs Prentice-Hall 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.381952 D422m] (1).
|
|
28.
|
WORD PROCESSING IN GROUPS
by Epstein,David B.A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,330.Publisher: Jones And Bartlett Pub., Boston 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 W891E] (1).
|
|
29.
|
AUTOMATA THEORY WITH MODERN APPLICATIONS
by Anderson,James A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,255.Publisher: Cambridge Univ. Press, Cambridge 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 AN23A] (1).
|
|
30.
|
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).
|
|
31.
|
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).
|
|
32.
|
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).
|
|
33.
|
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).
|
|
34.
|
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).
|
|
35.
|
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).
|
|
36.
|
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).
|
|
37.
|
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).
|
|
38.
|
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).
|
|
39.
|
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).
|
|
40.
|
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).
|