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

Results
	121.	Foundations of logic and functional programming ed. by M. Boscarol, L Carlucci Aiello and G. Levi by Boscarol, M., ed Aiello, L Carlucci., ed Levi, G., ed Series: Lecture notes in computer science ; Material type: Text Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.115 N881.
	122.	Mathematical foundations of programming language semantics ed. by M. Main etal. by Main, M Melton, A Mislore, M Workshop on Mathematical Foundations of Programming Language Semantics ( New Orleans : 1987 ) Series: Lecture notes in computer science ; 298 Material type: Text Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.02854 N88.
	123.	WOPPLOT '86 Parallel Processing logic, organization and technology /ed. by J.D. Becker and I. Eisele. by Becker, J.D. Eisele, I Workshop on Parallel Processing: Logic, Organization and Technology. Neubiberg 1986 Series: Lecture notes in computer science ; no.253 Material type: Text Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8753.
	124.	CSI '88. by Workshop on computer science logic. ( Duisburg, FRG : 1988 ) Series: Lecture notes in computer science ; no.385 Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.0285 N89.
	125.	Advances in cryptology-EUROCRYPT '85 ed. by Franz Pichler. by Workshop on the Theory and Applications of Cryptographic Techniques.( Linz, Austria,1985) Pichler, Franz.,ed Series: Lecture notes in computer science No.219 Material type: Text Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.82 N86.
	126.	Net theory and applications /ed. by Wilfried Brauer by Brauer, Wilfried Advanced Course on General Net Theory of Processes and Systems Series: Lecture Notes in Computer Science ; V.84 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.61 N80.
	127.	Ada : the choice for 92 ed by Dimitris Christodoulukis by Christodoulukis, Dimitris Series: Lecture notes in Computer Science, 499 ; Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N9111.
	128.	Rewriting techniques and applications : 4th International conference RTA proceedings by ed by Ronald V. Book Book, Ronald V., ed Series: Lecture notes in Computer Science ,Vol.488 ; Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N913.
	129.	No cover image available Next generation information system technology ed by J.W.Schmidt and A.A. Stogny by Schmidt, J.W., ed Stogny, A.A., ed Series: Lecture notes in Computer Science, 504 ; Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N912.
	130.	Parallel database systems ed by Pierre American. by American, Pierre., ed Series: Lecture notes in Computer Science, 503 ; Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N9114.
	131.	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: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.11 N911.
	132.	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: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.09474 N91.
	133.	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: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.380414 N811.
	134.	Context-free grammers covers, normal forms and parsing by Anton, Nijholt by Nijholt, Anton Series: Lecture notes in Computer Science V.93 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N80.
	135.	Algebraic semantics by Irene Guessarian by Guessarian, Irene Series: Lecture notes in Computer Science V.99 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N815.
	136.	Grammar and l forms an introduction by Derick Wood by Wood, Derick Series: Lecture Notes in Computer Science V.91 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N808.
	137.	Boolean calculus of differences by Andre Thayse by Thayse, Andre Series: Lecture Notes in Computer Science V.101 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N81.
	138.	First-order dynamic logic by David Harel, by Harel, David Series: Lecture Notes in Computer Science V.68 Material type: Text Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N795.
	139.	P-functions & boolean matrix factorization by Thayse, Andre Series: Lecture Notes in Computer Science ; 175 Material type: Text; 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
	140.	Group-theoretic algorithms and graph isomorphism by Christoph M. Hoffmann by Hoffmann, Christoph M Series: Lecture Notes in Computer Science V.136 Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.2 N821. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 361 results.