Results of search for 'ccl=se,phr:"Lecture notes in computer science" and se:Lecture notes in computer science'

Results
	221.	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.
	222.	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.
	223.	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.
	224.	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.
	225.	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.
	226.	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.
	227.	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.
	228.	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
	229.	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
	230.	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.
	231.	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.
	232.	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.
	233.	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.
	234.	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
	235.	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.
	236.	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.
	237.	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.
	238.	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.
	239.	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.
	240.	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.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1546 results.