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

Results
	121.	Parallel database systems ed by Pierre American. by American, Pierre., ed Series: Lecture notes in Computer Science, 503 ; Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N9114.
	122.	Foundations of object oriented languages 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, 489 ; Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.11 N911.
	123.	Boltic computer science : selected papers ed. by J. Barzdins, D. Bjorner. by Barzdins, J., ed Bjorner, D., ed Series: Lecture notes in Computer Science, 502 ; Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.09474 N91.
	124.	Digital image processing systems ed. by Leonard Bolc, Zenon Kulpa by Bolc, Leonard., ed Kulpa, Zenon., ed Series: Lecture notes in computer science ; 109 Material type: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.380414 N811.
	125.	Context-free grammers covers, normal forms and parsing by Anton, Nijholt by Nijholt, Anton Series: Lecture notes in Computer Science V.93 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 N80.
	126.	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.
	127.	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.
	128.	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.
	129.	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.
	130.	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.
	131.	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.
	132.	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.
	133.	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.
	134.	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.
	135.	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.
	136.	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.
	137.	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.
	138.	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.
	139.	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.
	140.	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.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 235 results.