Results of search for 'ccl=se,phr:"Texts and monographs in computer science"'

Results
	1.	Object oriented database programming by Suad Alagic. by Alagic, Suad Series: Texts and monographs in computer science Material type: Book Publication details: New York Springer Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8914.
	2.	Synthesizer generator reference manual by Thomas W. Reps and Tim Teitelbaum. by Reps, Thomas W Teitelbaum, Tim Series: Texts and monographs in computer science Edition: 3rd. Material type: Book Publication details: New York Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6420202 N89.
	3.	Adaptive signal processing theory and applications by Thomas S. Alexander. by Alexander, Thomas S Series: Texts and monographs in computer science Material type: Book Publication details: New York Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38043 N863;1.
	4.	Synthesizer generator A system for constructing language-based editors by Thomas W Reps and Tim Teitelbaum by Reps, Thomas W Teitelbaum, Tim Series: Texts and monographs in computer science Material type: Book Publication details: New York Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N898.
	5.	VLSI placement and routing : the PI project. by Alan T. Sherman. by Sherman, Alan T Series: Texts and monographs in computer science ; Material type: Book Publication details: New York Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N8915.
	6.	Object-oriented database programming by Suad Alagic by Alagic, Suad Series: Texts and monographs in computer science Material type: Book Publication details: New York Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N883;1.
	7.	Object-oriented database programming. by Suad Alagic. by Alagic, Suad Series: Texts and monographs in computer science ; Material type: Book Publication details: New York Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N888.
	8.	Specification and transformation of programs a formal approah to software development by Helmut A Partsch by Partsch, Helmut A Series: Texts and monographs in computer science Material type: Book Publication details: Berlin S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N902.
	9.	First-order logic and automated theorem proving. by Melvin Fitting. by Fitting, Melvin Series: Texts and Monographs in computer science Material type: Book Publication details: New York S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N901.
	10.	Design and analysis of algorithms by Dexter C. Kozen. by kozen, Dexter C Series: Texts and monographs in computer science Material type: Book Publication details: New York S-V 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N922.
	11.	No cover image available Compiler construction /William M. Waite, Gerhard Goos by Waite, William M Goos, Gerhard Series: Texts and Monographs in Computer Science Material type: Book Publication details: New York S-V 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.453 N84;1.
	12.	Programming with specifications : an introduction to ANNA, a language for specifying Ada programs by David Lucknow. by Lucknow, David Series: Texts and Monographs in Computer Science ; Material type: Book Publication details: New York Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1330218 N90.
	13.	Guide to modula - 2 by Karri Christian by Christian, Kaari Series: Texts and Monographs in Computer Science Material type: Book Publication details: New York Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N869.
	14.	Methods and applications of error-free computation by R.T. Gregory and E.V. Krishnamurthy by Gregory, R. T Krishnamurthy, E. V Series: Texts and Monographs in Computer Science Material type: Book Publication details: New York Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.40285 N84.
	15.	Programming methodology collection of articles by members of IFIP WG2.3 ed. by David Gries by Gries, David., ed Series: Texts and Monographs in computer science Material type: Book Publication details: New York Springer-Verlag 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N787.
	16.	Science of programming by David Gries by Gries, David Series: Texts and monographs in computer science ; Material type: Book Publication details: New York Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N81;1.
	17.	Programming approach to computability by A.J. Kfoury, Robert N. Moll and Michael A. Arbib by Kfoury, A.J Moll, Robert N Arbib, Michael A Series: Texts and monographs in computer science Material type: Book Publication details: New York Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N825;1.
	18.	Basis for theoretical computer science by Michael A. Arbib, A.H.Kfoury and Robert N.Moll. by Arbib, Michael A Kfoury, A.J Moll. Robert N Series: Texts and monographs in computer science Material type: Book Publication details: New York Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64 N817;1.
	19.	Science of programming by David Gries by Gries, David Series: Texts and monographs in computer science ; Material type: Book Publication details: New York S-V 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N81.
	20.	Reliable computer systems collected papers of the newcastle reliability project ed. by S. K. Shrivastava by Shrivastava, S. K., ed Series: Texts and monographs in computer science Material type: Book Publication details: Berlin Springer-Verlag 1985 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64 N853;1.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 20 results.