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

Results
	101.	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.
	102.	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.
	103.	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.
	104.	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.
	105.	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.
	106.	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.
	107.	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.
	108.	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.
	109.	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.
	110.	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.
	111.	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.
	112.	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.
	113.	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.
	114.	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.
	115.	SWAT '88 ed. by R. Karlsson and A. Lingas. by Karlsson, R., ed Lingas, A., 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: 511.0285 N881.
	116.	Natural language at the computer ed. by A. Blaser. by Blaser, A., 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.35 N881.
	117.	Computation theory proceedings ed. by Andrzej Skowron. by Symposium on Computation Theory.( Zaborow, Poland, 1984) Skowron, Andrzej.,ed Series: Lecture notes in computer science No.208 Material type: Book Publication details: Berlin Springer-Verlag 1985 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N85.
	118.	Formal techniques in real-time and fault-tolerant systems. ed. by M. Joseph. by Joseph, M., e.d Symposium on Formal Techniques in Real-time and Fault-tolerant Systems ( Warwick : 1988 ) Series: Lecture notes in computer science ; no.331 Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8828.
	119.	Logic at Botik '89 ed. by A. R. Meyer, M. A. Taitslin by Symposium on Logical Foundations of Computer Science Meyer, A. R., ed Taitslin, M. A., ed Series: Lecture notes in computer science V.363 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 N891.
	120.	Mathematical foundations of computer science 1988 ed. by M. P. Chytil (...) by Chytil, M. P., ed Janiga, L., ed Koubek, V., ed Symposium on Mathematical Foundations of Computer Science - MFCS '88 ( Carlsbad : 1988 ) Series: Lecture notes in computer science ; v.324 Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N881.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1374 results.