Results of search for 'ccl=Provider:Springer and se:Lecture notes in computer science'

Results
	141.	Algebraic semantics by Irene Guessarian by Guessarian, Irene Series: Lecture notes in Computer Science V.99 Material type: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N815.
	142.	Grammar and l forms an introduction by Derick Wood by Wood, Derick Series: Lecture Notes in Computer Science V.91 Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N808.
	143.	Boolean calculus of differences by Andre Thayse by Thayse, Andre Series: Lecture Notes in Computer Science V.101 Material type: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N81.
	144.	First-order dynamic logic by David Harel, by Harel, David Series: Lecture Notes in Computer Science V.68 Material type: Book Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N795.
	145.	P-functions & boolean matrix factorization by Thayse, Andre Series: Lecture Notes in Computer Science ; 175 Material type: Book; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer-Verlag, 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.32 THA. Place hold
	146.	Group-theoretic algorithms and graph isomorphism by Christoph M. Hoffmann by Hoffmann, Christoph M Series: Lecture Notes in Computer Science V.136 Material type: Book Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.2 N821. Place hold
	147.	Proceedings of the symposium .... /ed. by C. Bohm by Bohm, C Calculus and Computer Science Theory Rome 1975 Series: Lecture Notes in Computer Science ; 37 Material type: Book Publication details: Berlin. Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N758.
	148.	Trees in algebra and programming ed. by G. Ausiello and M. Protasi by Proceedings on Trees in Algebra and Programming, L'Aquila, 1983 Ausiello, G., ed Protasi, M., ed Series: Lecture Notes in Computer Science V.159 Material type: Book Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N831.
	149.	Foundations of Computation Theory (Borghholm 1983) ed. by Marek Karpinski by Conference on foundation of computation theory Karpinski, Marek Series: Lecture Notes in Computer Science V.158 Material type: Book Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N83.
	150.	Proceedings of the 1977 international conference on fundamentals of computation theory ed. by Marek Karpinski by Karpinski, Marek Fundamentals of Computation Theory ( Poland : 1977 ) Series: Lecture notes in Computer Science ; V.56 Material type: Book Publication details: Berlin Springer-Verlag 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N775.
	151.	Seventh international conference on automated deduction by R. E. Shostak by International Conference on Automated Deduction (Napa, California 1984) Shostak, R. E Series: Lecture Notes in Computer Science V.170 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N841. Place hold
	152.	Graphtheoretic concepts in computer science ed. by Hartmut Nolterneier by International Workshop on Graphotheoretic Concept in Computer Science, Bad Honnet,1980 Nolterneier, Hartmut., ed Series: Lecture Notes in Computer Science V.100 Material type: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N811.
	153.	Semantics of Computer Computation Evian 1979 ed. by Gilles Kahn by Proceedings of the international symposium on semantics of concurrent computation Khan, Gilles., ed Series: Lecture Notes in Computer Science V.70 Material type: Book Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N794.
	154.	Graph theory and alogrithms ed. by N. Saito, T. Nishizeki by Symposium on Graph Theory and Algorithms,Sendai,1980 Saito, N Nishizeki, T Series: Lecture Notes in Computer Science V.108 Material type: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N812.
	155.	Logic of programs ed. by Edmund Clarke, Dexter Kozen by Workshop on Logic of Programs (Pittsburgh 1983) Clarke, Edmund Kozen, Dexter Series: Lecture Notes in Computer Science V.164 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N843.
	156.	Computing methods in applied sciences and engineering. pt 1 ed by R. Glowinski and J.L. Lions by International Symposium on Computing methods in Applied Sciences and Engineering(1973 Versailles) Glowinski, R.,ed Lions, J.L.,ed Institut de Recherche d'Informatique et d'Automatique Series: Lecture Notes in Computer Science ; 10 Material type: Book Publication details: Berlin Springer-Verlag 1974 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.00285 N74.1;1.
	157.	Computing methods in applied sciences and engineering. pt 2 ed by R. Glowinski and J.L. Lions by International Symposium on Computing methods in Applied Sciences and Engineering(1973 Versailles) Glowinski, R.,ed Lions, J.L.,ed Institut de Recherche d'Informatique et d'Automatique Series: Lecture Notes in Computer Science ; 11 Material type: Book Publication details: Berlin Springer-Verlag 1974 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.00285 N74.2.
	158.	Computing methods in applied sciences and engineering. Pt 1 ed by R. Glowinski and J.L. Lions by International Symposium on Computing Methods in Applied Sciences and Engineering(1973 Versailles) Glowinski, R.,ed Lions, J.L.,ed Institut de Recherche d'Informatique et d'Automatique Series: Lecture Notes in Computer Science ; 10 Material type: Book Publication details: Berlin Springer-Verlag 1974 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.00285 N74.1.
	159.	New trends in neural computation - Proceedings ed. by J Mira, J. Cabestany and A. Prieto by International Workshop on Artificial Neural Networks (1993 Sitges,Spain) Mira, J., ed Cabestany, J., ed Prieto, A., ed Series: Lecture notes in computer science, 686 Material type: Book Publication details: New York Springer-Verlag 1993 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 N939. Place hold
	160.	No cover image available Recent developments in computer vision ed. by S.Z. Li, [et al] by Asian conference on computer vision(2nd Singapore 1995) Li, S.Z., ed., [et al] Series: Lecture notes in computer science ; 1035 Material type: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.37 N96. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1374 results.