Results of search for 'ccl=se,phr:"Lecture Notes in computer Science"'

Results
	161.	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: Text Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N90.
	162.	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: Text Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.33015192 N87.
	163.	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: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N892.
	164.	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: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N898.
	165.	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: Text Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N87.
	166.	Database machines ed. by H. Boral and P. Faudemay. by Boral, H., ed Faudemay, P., ed Intl. Workshop IWDM '89 ( Deauville, France : 1989 ) Series: Lecture notes in computer science ; 368 Material type: Text Publication details: Berlin S-V 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N894.
	167.	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: Text Publication details: Berlin Springer verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8820.
	168.	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: Text Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N872.
	169.	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: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N891.
	170.	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: Text Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N902.
	171.	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: Text Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N922.
	172.	Semantics of systems of concurrent processes; LITP spring school on ... /ed. (by) I. Guessarin by Guessarin, I LITP Spring School on Theoretical Computer Science Series: Lecture Notes in Computer Science ; 469 Material type: Text Publication details: Berlin S-V 1990 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 004.35015113 N90.
	173.	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: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015113 N89.
	174.	LATIN '92 1st. Latin American symposium on theoretical informatics /ed. by I. Simon by Simon, I Latin American Symposium on Theoretical Informatics Series: Lecture Notes in Computer Science ; 583 Material type: Text Publication details: Berlin S-V 1992 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 004.0151 N921.
	175.	Mathematical foundations of computer science 1986 - Procedings /ed. byJ. Gruska, B. Rovan and J. Wiedermann. by MFCS '86. Bratislava, Czechoslovak 1986 Series: Lecture notes in computer science ; 223 Material type: Text Publication details: Berlin S-V 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N861.
	176.	Mathematical foundations of computer science 1989 /ed. (by) A. Kreczmar and G. Mirkowska. by MFCS '89. Porabka-Kozubniki, Poland 1989 Series: Lecture notes in computer science ; 379 Material type: Text Publication details: Berlin S-V 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N894.
	177.	Mathematical foundations of computer science '1990 ed. by B. Rovan by Rovan, B., ed Series: Lecture notes in computer science ; 452 Material type: Text Publication details: Berlin S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N90.
	178.	Advanced information systems engineering /ed. by B. Steinholtz, A. Solvberg, L. Bergman. by Steinholtz, B. Solvberg, A. Bergman, L Nordic Conference CAISE '90. Stockholm 1990 Series: Lecture notes in computer science ; 436 Material type: Text Publication details: Berlin S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N903.
	179.	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: Text 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.
	180.	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: Text Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.36 N9010.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1546 results.