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

Results
	301.	Natural language parsing systems edited by Leonard Bolc. by Bolc, Leonard., ed Series: Symbolic computation: artificial intelligence Material type: Book Publication details: Berlin Heidelberg Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 415 NAT (c.3).
	302.	Practical guide to splines. by Carl De Boor by DeBoor, Carl Series: Applied mathematical sciences Material type: Book Publication details: New York Springer-Verlag 1978 Availability: Items available for loan: JRD Tata Memorial Library (2)Call number: 511.42 N781;1, ... Place hold
	303.	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: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 537.53 N89. Place hold
	304.	No cover image available Talking with computers in natural language. by Edward V. Popov by Popov, Edward V, Material type: Book Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.35 POP.
	305.	Standard relational and network database languages by E.J. Yannakoudakis, C.P. Cheng by Yannakoudakis, E.J Cheng, C.P Material type: Book Publication details: London Springer-Verlag 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.74 N882;1. Place hold
	306.	Natural language parsing systems edited by Leonard Bolc. by Bole, Leonard, Bolc, Leonard., ed Material type: Book 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).
	307.	Reduce software for algebraic computation. by Gerhard Rayna. by Rayna, Gerhard Series: Springer series in symbolic computation Material type: Book 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.
	308.	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: Book Publication details: Wien Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.42 N891.
	309.	Reflexive structures an introduction to computability theory by Luis E. Sanchis by Sanchis, Luis E 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: 511.3 N8810.
	310.	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.
	311.	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: Book 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.
	312.	Art of Lisp programming by Robin Jones, Clive Maynard and Ian Stewart. by Jones, Robin Maynard, Clive Stewart, Ian Material type: Book Publication details: London Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N9048.
	313.	Algebraic specifications in software engineering by Ivo Van Horebeek and Johan Lewi. by Van Horebeek, Ivo Lewi, Johan Material type: Book 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.
	314.	Introduction to default logic. by Philippe Besnard. by Besnard, Philippe Series: Symbolic computation- Artificial intelligence ; Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8935.
	315.	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: Book Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.192 N862.
	316.	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: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N876.
	317.	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: Book Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N868.
	318.	Compiler specification and verification by Wolfgang Polak by Polak, Wolfgang Material type: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.453 N81.
	319.	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: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N80.
	320.	Negation and control in prolog by Lee Naish by Naish, Lee Material type: Book Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N861.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 17001 results.