Results of search for 'ccl=Provider:Springer- verlag and itype:R and itype:R'

Results
	241.	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.
	242.	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.
	243.	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.
	244.	Several complex variables IV algebraic aspects of complex analysis ed. by S.G. Gindikin, G.M. Khenkin by Gindikin, S.G., ed Khenkin, G.M., ed Series: Encyclopaedia of mathematical Sciences ; V.10 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 515.94 N89.4;1.
	245.	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.
	246.	Boundary value problems in linear viscoelasticity. by J. M. Golden, G. A. C. Graham. by Golden, J. M Graham, G. A. C Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 531.3823 N882;1.
	247.	Crystallographic statistics in chemical physics an approach to statistical evaluation of internuclear distances in transition element compounds by F. Valach, J. Ondracek, M. Melnik. by Valach, F Ondracek, J Melnik, M Series: Inorganic chemistry concepts V.12 Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 546.6 N88.
	248.	Current trends in hardware verification and automated theorem proving ed. by G. Birtwistle and P. A. Subrahmanyam. by Birtwistle, G., ed Subrahmanyam, P. A., ed 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 N89.
	249.	Search in artificial intelligence ed. by Laveen Kanal and Vipin Kumar. by Kanal, Laveen., ed Kumar, Vipin., ed Series: Symbolic computation-Artificial intelligence ; 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: 006.3 N8818.
	250.	Optimized LCAO method and the electronic structure of extended systems. by Helmut Eschrig by Eschrig, Helmut Series: Research reports in physics Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 539.7 N89.
	251.	Dynamical systems IV symplectic geometry and its applications ed. by V. I. Arnold, S. P. Novikov. by Arnold, V. I., ed Novikov, S. P., ed Series: Encyclopaedia of mathematical sciences V.4 Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 531 N883.4;1.
	252.	Topics in current chemistry; V.152 Electrochemistry IV ed. by E. Steckhan by Steckhan, E., ed Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 540.8 N60.152 "SER".
	253.	Mathematics of blunt body sampling. by S. J. Dunnett, D. B. Ingham. by Dunnett, S. J Ingham, D. B Series: Lecture notes in engineering 38 Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.52 N881.
	254.	Engineering databases : connecting islands of automotive through databases ed. by Jose L. Encarnaco andPeter C. Lockemann. by Encarnco, Jose L., ed Lockemann, Peter C., ed Series: Symbolic computation: Computer graphics-Systems adaptations ; Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.0285574 N90.
	255.	Managing creativity in science and Hi - Tech by Ronald Kay. by Kay, Ronald Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 658.4 N90.
	256.	Correlation theory of stationary and related random functions. V.II supplementary notes and references by A. M. Yaglom by Yaglom, A.M Series: Springer series in statistics 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: 519.537 N87.1,N87.2.
	257.	Biped locomotion: dynamics, stability, control and application /by M. Vukobratovic (...) by Vukobratovic, M Borovac, B Surla, D Series: Scientific fundamentals of robotics Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: Mechanical Engineering: Not for loan (1)Call number: 629.892 N90.
	258.	Variety in coordination modes in ligands in metal complexes. by Shinichi Kawaguchi by Kawaguchi, Shinichi Series: Inorganic chemistry concepts V.11 Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 541.2242 N88.
	259.	Building expert systems in prolog by Dennis Meeritt by Meeritt, Dennis 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: 006.33 N895;1.
	260.	Topics in current chemistry; V.155 Small ring compounds in organic synthesis IV ed. by A. de Meijere by De Meijere, A., ed Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 540.8 N60.155 "SER".

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 3798 results.