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

Results
	81.	Advances in object-oriented database systems. ed K R Dittrich by Dittrich, K R., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N889.
	82.	No cover image available Automated and algorithmic debugging ed. by Peter A. Fritzson by International Workshop, AADEBUG'93, Linkoping, Sweden, May 3-5, 1993 Fritzson, Peter A., ed Series: Lecture Notes in Computer science ; 749 Material type: Book Publication details: Berlin Springer-Verlag 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N93;1.
	83.	Meta-programming in logic - Proceedings ed. by A. Pettorossi by 3rd International Workshop, META'92, Uppasala, Sweden, June 10-12, 1992 Pettorossi, A., ed Series: Lecture Notes in computer science ; 649 Material type: Book Publication details: Berin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N921.
	84.	Machines, languages and complexity ed. by J. Dassow, J. Kelemen. by International meeting of young computer scientists.( Smoleince, 1988) Dassow, J.,ed. Kelemen, J.,ed Series: Lecture notes in computer science No.381 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N89.
	85.	No cover image available VDM '90 : VDM & Z -formal methods in software development by ed. by D. Bjorner, C.A.R. Hoare and H. Langmaack Bjorner, D., ed Hoare, C.A.R., ed Langmaack, H., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N90.
	86.	Uncertainity in knowledge-based systems ed. by B. Bouchon and R.R. Yager. by Bouchon, B., ed Yager, R.R., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.33015192 N87.
	87.	Mathematics of program construction. by Snepscheut, J.L.A. Vande Intl. Conference on Mathematics of Program Construction. Groningen, Netherlands 1989 Series: Lecture notes in computer science ; 375 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N892.
	88.	No cover image available Rewriting techniques and applications ed. by Nachum Dershowitz. by Dershowitz, Nachum., ed Intl. Conference on Rewriting Techniques and Applications ( Chapel Hill : 1989 ) Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N898.
	89.	Trends, techniques and problems in theoretical computer science ed. by Alica Kelemenova and Jozef Kelemen by Kelemenova, Alica., ed Kelemen, Jozef., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N87.
	90.	Algebraic and logic programming ed. by J. Grabowski, P. Lescarme and W. Wechler. by Grabowski, J., ed Lescarme, P., ed Wechler, W., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8820.
	91.	Graph-theoretic concepts in computer science ed. by Gottfried Tinhofer and Gunther Schimidt. by Tinhofer, Gottfried., ed Schmidt, Gunther., ed Intl. Workshop on Graphic Theoretic Concepts in Computer Science. ( Bernreid : 1986 ) Series: Lecture notes in computer science ; v.246 Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N872.
	92.	Graph-theoretic concepts in computer science ed. by J. Van Leeuwen. by Van Leeuwen, J., ed Intl. Workshop on Graph-theoretic Concepts in Computer Science. ( Amsterdam : 1988 ) Series: Lecture notes in computer science ; v.344 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N891.
	93.	Graph-theoretic concepts in computer science ed. by M. Nagl. by Intl. Workshop on Graph-theoretic Concepts in Computer Science (WG '89), Castle Rolduc, 1989 Nagl, M., ed Series: Lecture notes in computer science V.411 Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N902.
	94.	No cover image available Parallel processing CONPAR'92-VAPPV - Proceedings ed. by L. Bouge, [et al] by 2nd International Conference, Lyon,France, September 1-4, 1992 Bouge, L., ed., [et al] Series: Lecture Notes in computer science ; 634 Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N922.
	95.	Formal properties of finite automata and applications ed. by J.E. Pin by LITP Spring School on Theoretical Computer Science (Ramatuelle,1988) Pin, J.E.,ed Series: Lecture Notes in Computer Science No.386 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015113 N89.
	96.	Parallel architectures and languages europe; v.2 by E. Odijk and M. Rem and J. C. Syre. by Odijk, E Rem, M Syre, J. C Parle Conference' 89. ( Eindhoven, Netherlands : 1989 ) Series: Lecture notes in computer science ; 365 & 366 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64 N894.1,N894.2.
	97.	Stepwise refinement of distributed systems : models, formalisms, correctness ed. by J W De Bakker, W P De Rower and G Rozenberg by De Bakker, J. W., ed De Rower, W. P., ed Rozenberg, G., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.36 N9010.
	98.	No cover image available Software engineering education. ed by Lionel E Deimel by Diemel, Lionel E., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.107 N90.
	99.	Algorithm theory - SWAT'92 - Proceedings ed. by O. Nurmi, E. Ukkonen by 3rd Scandinavian Workshop, Helsinki, Finland, July 8-10, 1992 Nurmi, O., ed Ukkonen, E., ed Series: Lecture Notes in computer science ; 621 Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N927.
	100.	SWAT '88 /ed. by R. Karlsson and A. Lingas. by Karlsson, R. Lingas, A Scandinavian Workshop on Algorithm Theory Halmstad 1988 Series: Lecture notes in computer science ; v.318 Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.0285 N88.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 235 results.