|
|
21.
|
PROGRAM DEVELOPMENT PROCESSES
by Aron, Joel David. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: 1.Publisher: Reading, Mass. Addison-Wesley 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 653.404 Ar67p] (1).
|
|
|
22.
|
PROGRAM DEVELOPMENT PROCESSES
by Aron, Joel David. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2.Publisher: Reading, Mass. Addison-Wesley 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 653.404 Ar67p] (1).
|
|
|
23.
|
PROGRAMMING LANGUAGE FUNDAMENTALS BY EXAMPLE
by Stevenson,D. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,237.Publisher: Auerbach, Boca Raton 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 ST48P] (1).
|
|
|
24.
|
PROGRAMMING AND COMPUTING
by Golden, James T | Leichus, Richard M. Material type: Book Description: 342.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 G565p] (1).
|
|
|
25.
|
COMPUTER PROGRAMMING AND RELATED MATHEMATICS
by Andree, Richard V. Material type: Book Description: 284.Publisher: N. Y. Wiley c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 An25c] (1).
|
|
|
26.
|
PROGRAM TRANSFORMATION AND PROGRAMMING ENVIRONMENTS
by Pepper, Peter | . Description: xiv,378.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 N214p] (1).
|
|
|
27.
|
ESTIMATION, PLANNING AND CONTROL OF PROGRAMMING ACTIVITIES
by . Description: ,279.Publisher: London Hmso 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.0542 G798e] (1).
|
|
|
28.
|
Genetic Programming Theory and Practice II
: [electronic resource] /
by O’Reilly, Una-May [editor.] | Yu, Tina [editor.] | Riolo, Rick [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XVI, 320 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
29.
|
Reverse Engineering of Object Oriented Code
: [electronic resource] /
by Tonella, Paolo [author.] | Potrich, Alessandra [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 208 p. 80 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).
|
|
|
30.
|
Software Process Modeling
: [electronic resource] /
by Acu�a, Silvia T [editor.1 ] | Juristo, Natalia [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 208 p. 59 illus. online resource.Boston, MA : Springer US, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
31.
|
A Software Process Model Handbook for Incorporating People’s Capabilities
: [electronic resource] /
by Acuña, Silvia Teresita [author.] | Juristo, Natalia [author.] | Moreno, Ana María [author.] | Mon, Alicia [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVIII, 324 p. 90 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
32.
|
Guide to Assembly Language Programming in Linux
: [electronic resource] /
by Dandamudi, Sivarama P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 545 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
33.
|
Multi-Agent Programming
: Languages, Platforms and Applications /
: [electronic resource] :
by Bordini, Rafael H [editor.] | Dastani, Mehdi [editor.] | Dix, Jürgen [editor.] | Fallah Seghrouchni, Amal El [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXIV, 296 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
34.
|
Multimedia Introduction to Programming Using Java
: [electronic resource] /
by Gries, David [author.] | Gries, Paul [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 536 p. 420 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).
|
|
|
35.
|
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).
|
|
|
36.
|
Introduction to Assembly Language Programming
: For Pentium and RISC Processors /
: [electronic resource] :
by Dandamudi, Sivarama P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 692 p. 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).
|
|
|
37.
|
Semantic Management of Middleware
: [electronic resource] /
by Oberle, Daniel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXV, 268 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).
|
|
|
38.
|
Genetic Programming Theory and Practice III
: [electronic resource] /
by Yu, Tina [editor.] | Riolo, Rick [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 310 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).
|
|
|
39.
|
Adapting Proofs-as-Programs
: The Curry-Howard Protocol /
: [electronic resource] :
by Poernomo, Iman Hafiz [author.] | Wirsing, Martin [author.] | Crossley, John Newsome [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 420 p. 54 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).
|
|
|
40.
|
Engineering Theories of Software Intensive Systems
: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
: [electronic resource] :
by Broy, Manfred [editor.] | Grünbauer, Johannes [editor.] | Harel, David [editor.] | Hoare, Tony [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 404 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
