Results of search for 'ccl=Provider:Springer - Verlag' › JRD Tata Memorial Library catalog

Results
	301.	Pulsed electrical discharge in vacuum by G. A. Mesyats, D. I. Proskurovsky by Mesyats, G. A Proskurovsky, D. I Series: Springer series on atoms + plasmas V.5 Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 537.53 N89. Place hold
	302.	No cover image available Talking with computers in natural language. by Edward V. Popov by Popov, Edward V, Material type: Text Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.35 POP.
	303.	Standard relational and network database languages by E.J. Yannakoudakis, C.P. Cheng by Yannakoudakis, E.J Cheng, C.P Material type: Text Publication details: London Springer-Verlag 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.74 N882;1. Place hold
	304.	Natural language parsing systems edited by Leonard Bolc. by Bole, Leonard, Bolc, Leonard., ed Material type: Text Publication details: Berlin Springer Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 415 NAT (c.1).
	305.	Reduce software for algebraic computation. by Gerhard Rayna. by Rayna, Gerhard Series: Springer series in symbolic computation Material type: Text Publication details: New York Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.02855369 N87.
	306.	Issues on machine vision ed. by G. G. Pieroni by Pieroni, G. G., ed Series: International centre for mechanical sciences courses and lectures No. 307 Material type: Text Publication details: Wien Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.42 N891.
	307.	Reflexive structures an introduction to computability theory by Luis E. Sanchis by Sanchis, Luis E Material type: Text Publication details: New York Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N8810.
	308.	Object-oriented database programming by Suad Alagic by Alagic, Suad Series: Texts and monographs in computer science Material type: Text 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.
	309.	Rational series and their languages by Jean Berstel and Christophe Reutenauer by Brestel, Jean Reutenauer, Christophe Series: EATCS monographs on theoretical computer science ; v.12 Material type: Text Publication details: New york Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N8811.
	310.	Art of Lisp programming by Robin Jones, Clive Maynard and Ian Stewart. by Jones, Robin Maynard, Clive Stewart, Ian Material type: Text Publication details: London Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N9048.
	311.	Algebraic specifications in software engineering by Ivo Van Horebeek and Johan Lewi. by Van Horebeek, Ivo Lewi, Johan Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.101512 N89.1.
	312.	Introduction to default logic. by Philippe Besnard. by Besnard, Philippe Series: Symbolic computation- Artificial intelligence ; Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8935.
	313.	Integral and Structural polymer foams technology, properties and applications ed. by G. Henrici-Olive, S. Olive. by Henrici-Olive, G., ed Olive, S., ed Material type: Text Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.192 N862.
	314.	Review of Ada tasking by Alan Burns, Andrew M. Lister and Andrew J. Wellings. by Burns, Alan Lister, Andrew M Wellings, Andrew J Series: Lecture notes in computer science ; Material type: Text Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N876.
	315.	Current trends in concurrency : overviews and tutorials ed. by J. W. De Bakker, W. P. De Roever and G. Rozenberg. by De Bakker, J. W., ed De Roever, W. P., ed Rozenberg, G., ed Series: Lecture notes in computer science ; Material type: Text Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N868.
	316.	Compiler specification and verification by Wolfgang Polak by Polak, Wolfgang Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.453 N81.
	317.	Towards a formal description of Ada ed. by D Bjorner and O N Oest by Bjorner, D., ed Oest, O. N., ed Series: Lecture notes in computer science ; Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N80.
	318.	Negation and control in prolog by Lee Naish by Naish, Lee Material type: Text Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N861.
	319.	Group theoretical methods in image processing by Reiner Lenz. by Lenz, Reiner Series: Lecture notes in computer science ; 413 Material type: Text Publication details: Berlin Springer-Verlag 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.36701512 N90. Place hold
	320.	Introduction to default logic by Besnard, Philippe Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 N897;1. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 7433 results.