Results of search for 'su:"Electronic digital computers-programming"'

Results
	1.	Schaum's outline of theory and problems of programming with fortran by Seymour Lipschutz, Arthur Poe. by Lipschutz, Seymour Poe, Arthur Series: Schaum's outline series Material type: Book Publication details: New York McGraw-Hill 1978 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N78. Place hold
	2.	Structural complexity by Jose Luis Balcazar, Joseph Diaz, Joaquim Gabarro. by Balcazar, Jose Luis Diaz, Joseph Gabarro, Joaquim Series: EATCS Monographs on theoretical computer science Material type: Book Publication details: Berlin S-V 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N881.
	3.	Programming the impossible challenge by Bob Walraet by Walraet, Bob Material type: Book Publication details: Amsterdam North Holland 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N893.
	4.	Computer algorithms introduction to design and analysis by Sara Baase. by Baase, Sara Edition: second ed. Material type: Book Publication details: Reading(Massachusetts) Addison-Wesley 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.7 N88. Place hold
	5.	Operating systems : Concepts, policies and mechanisms by James R. Pinkert and Larry L. Wear by Pinkert, James R Wear, Larry L Material type: Book Publication details: Englewood Cliffs Prentice Hall 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.43 N895;1.
	6.	Spine of software designing probably correct software : theory & practice or a mathematical int. to the semantics of computer programs by Robert Lawrence Baber by Baber, Robert Lawrence Material type: Book Publication details: Chichester Wiley 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N8715.
	7.	Software engineering concepts by Richard E Fairley by Fairley, Richard E Series: McGraw Hill series in software engineering and technology ; Material type: Book Publication details: New York McGraw Hill 1985 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N859.
	8.	Method of programming by Edsger W. Dijkstra, W. H. J. Feijen by Dijkstra, Edsger W Feijen, W. H. J Material type: Book Publication details: Workingham Addison-Wesley 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N8815;1. Place hold
	9.	Introduction to algorithm design and structured programming. by Thomas A. Reed. by Reed, Thomas A Material type: Book Publication details: New York Prentice-Hall 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8819.
	10.	Computational category theory by David E. Rydeheard, Rod M. Burstall by Rydeheard, David E Burstall, Rod M Series: Prentice Hall International Series in Computer Science Material type: Book Publication details: New York Prentice Hall 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N886. Place hold
	11.	Algorithm animation by Marc H Brown by Brown, Marc H Series: ACM distinguished dissertations ; Material type: Book Publication details: Cambridge MIT Press 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N8817.
	12.	Probabilistic analysis of algorithms on computing methodologies for computer algorithms performance evaluation. by Micha Hofri. by Hofri, Micha Material type: Book Publication details: New York S-V 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N87.
	13.	Temporal logic of programs. by Fred Kroger by Kroger, Fred Series: EATCS Monographs on theoretical computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N873.
	14.	Abstraction and specification in program development by Barbara Liskov and John Guttag by Liskov, Barbara Guttag, John Series: MITelectrical engineering and computer science series ; Material type: Book Publication details: Cambridge MIT 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N867.
	15.	Specification of computer programs by Wladyslaw M. Turski, Thomas S. E. Maibaum. by Turski, Wladyslaw M Maibaum, Thomas S. E Series: International computer science series Material type: Book Publication details: Workingham Addison-Wesley Publishing Company 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8724.
	16.	Advanced programming methodologies ed. by Gianna Cioni and Andrezej Salwicki. by Cioni, Gianna., ed Salwicki, Andrezej., ed Series: APIC studies in data processing ; 30 Material type: Book Publication details: London Academic Press 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1028 N89.
	17.	Software engineering. by Ian Sommerville. by Sommerville, Ian Edition: 2nd. Material type: Book Publication details: Workingham Addison-Wesley 1985 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8537.
	18.	Method of programming by Edsger W. Dijkstra, and W. H. J. Feiljen. by Dijkstra, Edsger W Feiljen, W. H. J Material type: Book Publication details: Workingham Addison-Wesley 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8815.
	19.	Algorithms + data structures = programs. by Niklaus Wirth. by Wirth, Niklaus Material type: Book Publication details: New Delhi PHI 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8816.
	20.	Abstraction and specification in program development by Barbara Liskov and John Guttag. by Liskov, Barbara Guttag, John Material type: Book Publication details: Cambridge, Mass MIT 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.12 N86.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 215 results.