Your search returned 65 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Advanced computer design / J.K. Iliffe.

by Iliffe, J. K.

Material type: TextBook Publisher: London : Prentice-Hall International, 1982Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 004.21 Il5 Ad.

Place hold Log in to add tags Add to cart
Communicating sequential processes / C.A.R. Hoare.

by Hoare, C. A. R.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, 1985Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 004.35 H6512 Co.

Place hold Log in to add tags Add to cart
Construction of data processing software / John Elder.

by Elder, John.

Material type: TextBook Publisher: Englewood Cliffs, NJ : Prentice-Hall International, c1984Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.1 El224 Co.

Place hold Log in to add tags Add to cart
The craft of programming / John C. Reynolds.

by Reynolds, John C.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, 1981Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.1 R3353 Cr.

Place hold Log in to add tags Add to cart
Distributed systems and computer networks / Morris Sloman, Jeff Kramer.

by Sloman, Morris.

Material type: TextBook Publisher: Englewood Cliffs, NJ : Prentice-Hall International, 1987Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 004.36 Sl54 Di.

Place hold Log in to add tags Add to cart
Formal specification and software development / Dines Bjrner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.].

by Bjorner, D.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, 1982Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.1 B557 Fo.

Place hold Log in to add tags Add to cart
Learning to program / Howard Johnston.

by Johnston, Howard.

Material type: TextBook Publisher: Englewood Cliffs, NJ : Prentice-Hall International, c1985Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.262 J643 Le.

Place hold Log in to add tags Add to cart
The logic of programming / Eric C. R. Hehner.

by Hehner, Eric C. R.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, 1984Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 005.115 H3623 Lo.

Place hold Log in to add tags Add to cart
Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1985Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.131 H6512 Ma.

Place hold Log in to add tags Add to cart
Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.

by Bakker, J. W. de.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1980Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.30287 B1795 Ma.

Place hold Log in to add tags Add to cart
Microprocessor programming and software development / F. G. Duncan.

by Duncan, F. G.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1979Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 005.6 D9123 Mi.

Place hold Log in to add tags Add to cart
A multiprocessor operating system / Mathai Joseph, V.R. Prasad, and N. Natarajan.

by Joseph, M.

Material type: TextBook Publisher: Englewood Cliffs, NJ : Prentice-Hall International, 1984Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 005.43 J7746 Mu-1.

Place hold Log in to add tags Add to cart
Software development : a rigorous approach / Cliff B. Jones.

by Jones, C. B.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, 1980Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.1 J7121 So.

Place hold Log in to add tags Add to cart
VLSI architecture / edited by B. Randell and P.C. Treleaven ; contributions by speakers at the Advanced Course on VLSI Architecture held at the University of Bristol, 1982.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1983Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 621.395 Ad952 Vl.

Place hold Log in to add tags Add to cart
Program construction and verification / Roland C. Backhouse.

by Backhouse, Roland C.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1986Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (3). Location(s): Science 005.30287 B127 Pr.

Place hold Log in to add tags Add to cart
Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.].

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1987Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.3 H327 Sp.

Place hold Log in to add tags Add to cart
Syntax of programming languages : theory and practice / Roland C. Backhouse.

by Backhouse, Roland C.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1979Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.13 B127 Sy.

Place hold Log in to add tags Add to cart
Internetworking with TCP/IP / Douglas E. Comer and David L. Stevens.

by Comer, Douglas.

Material type: TextBook Publisher: New Delhi, India : Prentice-Hall International, 1991 [reprinted 2000]Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 004.6 C7345 In.

Place hold Log in to add tags Add to cart
No cover image available
Introduction to electronic analog computers / by John N. Warfield.

by Warfield, John N.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, 1959Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 004.19 W274 In.

Place hold Log in to add tags Add to cart
Fault tolerance : principles and practice / T. Anderson & P.A. Lee.

by Anderson, Tom.

Material type: TextBook Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1981Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 004.2 An245 Fa.

Place hold Log in to add tags Add to cart
Pages
Untitled Document
Designed & Developed by IT Support | © Dr B R Ambedkar Central Library, JNU, New Delhi 2021