IMSc Library catalog › Results of search for 'ccl=se,phr:"Lecture notes in computer science " and itype:BK'

			Computer science logic, 4th workshop, CSL'90, Heidelberg, Germany, October 1990, Proceedings by Borger,E. et al Eds. Series: Lecture notes in computer science ; 00533Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991 by Borger,E. et al Eds. Series: Lecture notes in computer science ; 00626Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic and Logic Programming Third International Conference Proc.,Volterra, 1992 by Kirchner, H. Ed \| Levi, G. Ed. Series: Lecture notes in computer science ; 00632Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers by Borger, E \| Jager, G., Martini., Richter,M \| Kleine Buning, H. Series: Lecture notes in computer science ; 00702Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computational Logic and Proof Theory : Third Kurt Godel colloquium, KGC,93, Brno, Czech Republic, August 1993, Proceedings by Gottlob, Georg \| Leitsch, A \| Mundici, D. Series: Lecture notes in computer science ; 00713Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic 8th Workshop, Poland, 1994 by Pacholski, Leszek. Ed \| Tiuryn, Jerzy. Ed. Series: Lecture notes in computer science ; 00933Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Logic and Computational Complexity International Workshop Indianapolis, USA, 1994 by Leivant, Daniel. Ed. Series: Lecture notes in computer science ; 00960Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic 7th Workshop, CSL '93, Swansea, UK. 1993 by Borger, Egon. Ed \| Gurevich, Yuri, Ed \| Meinke, Karl. Ed. Series: Lecture notes in computer science ; 00832Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available CSL '89 Proceedings, 3rd Workshop, FRG, 1989 by Borger, E. Ed \| Kleine Buning, H. Ed \| Richter, M M. Ed. Series: Lecture notes in computer science ; 00440Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS. Place hold Log in to add tags
			Logic of Programs Proceedings, Workshop, ETH Zurich, 1979 by Engeler, Erwin. Ed. Series: Lecture notes in computer science ; 00125Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Introduction to the PL/CV2 Programming Logic by Constable, R L \| Johnson, S D \| Eichenlaub, C D. Series: Lecture notes in computer science ; 00135Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Verifying Concurrent Processes Using Temporal Logic by Hailpern, Brent T. Series: Lecture notes in computer science ; 00129Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			WOPPLOT 86 - Parallel Processing: Logic, Organization, and Technology Proceedings, Workshop, Neubiberg, FRG, 1986 by Becker, J D. Ed \| Eisele, I. Ed. Series: Lecture notes in computer science ; 00253Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions by Snyers, Dominique \| Thayse, Andre. Series: Lecture notes in computer science ; 00271Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			Computation Theory and Logic by Borger, Egon. Ed. Series: Lecture notes in computer science ; 00270Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			Logic Programming '86 Proceedings, 5th Conf., Tokyo, Japan, 1986 by Wada, Eiiti. Ed. Series: Lecture notes in computer science ; 00264Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Logic and Functional Prgramming Proceedings, Workshop, Trento, Italy, 1986 by Boscarol, M. Ed \| Carlucci Aiello, L. Ed \| Levi, G. Ed. Series: Lecture notes in computer science ; 00306Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS. Place hold Log in to add tags
			Logic Programming '87 Proceedings, 6th Conf., Tokyo, Japan, 1987 by Furukawa, K. Ed \| Tanaka, H. Ed \| Fujisaki, T. Ed. Series: Lecture notes in computer science ; 00315Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS. Place hold Log in to add tags
			Programming Languages Implementation and Logic Programming Proceedings, Int.Workshop, PLILP '88, Orleans, France, 1988 by Deransart, P. Ed \| Lorho, B. Ed \| Maluszynski, J. Ed. Series: Lecture notes in computer science ; 00348Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic and Logic Programming Proceedings, Int.Workshop, Gaussig, GDR, 1988 by Grabowski, J. Ed \| Lescanne, P. Ed \| Wechler, W. Ed. Series: Lecture notes in computer science ; 00343Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS. Place hold Log in to add tags

			Computer science logic, 4th workshop, CSL'90, Heidelberg, Germany, October 1990, Proceedings by Borger,E. et al Eds. Series: Lecture notes in computer science ; 00533Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991 by Borger,E. et al Eds. Series: Lecture notes in computer science ; 00626Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic and Logic Programming Third International Conference Proc.,Volterra, 1992 by Kirchner, H. Ed \| Levi, G. Ed. Series: Lecture notes in computer science ; 00632Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers by Borger, E \| Jager, G., Martini., Richter,M \| Kleine Buning, H. Series: Lecture notes in computer science ; 00702Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computational Logic and Proof Theory : Third Kurt Godel colloquium, KGC,93, Brno, Czech Republic, August 1993, Proceedings by Gottlob, Georg \| Leitsch, A \| Mundici, D. Series: Lecture notes in computer science ; 00713Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic 8th Workshop, Poland, 1994 by Pacholski, Leszek. Ed \| Tiuryn, Jerzy. Ed. Series: Lecture notes in computer science ; 00933Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Logic and Computational Complexity International Workshop Indianapolis, USA, 1994 by Leivant, Daniel. Ed. Series: Lecture notes in computer science ; 00960Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic 7th Workshop, CSL '93, Swansea, UK. 1993 by Borger, Egon. Ed \| Gurevich, Yuri, Ed \| Meinke, Karl. Ed. Series: Lecture notes in computer science ; 00832Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available CSL '89 Proceedings, 3rd Workshop, FRG, 1989 by Borger, E. Ed \| Kleine Buning, H. Ed \| Richter, M M. Ed. Series: Lecture notes in computer science ; 00440Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS. Place hold Log in to add tags
			Logic of Programs Proceedings, Workshop, ETH Zurich, 1979 by Engeler, Erwin. Ed. Series: Lecture notes in computer science ; 00125Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Introduction to the PL/CV2 Programming Logic by Constable, R L \| Johnson, S D \| Eichenlaub, C D. Series: Lecture notes in computer science ; 00135Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Verifying Concurrent Processes Using Temporal Logic by Hailpern, Brent T. Series: Lecture notes in computer science ; 00129Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			WOPPLOT 86 - Parallel Processing: Logic, Organization, and Technology Proceedings, Workshop, Neubiberg, FRG, 1986 by Becker, J D. Ed \| Eisele, I. Ed. Series: Lecture notes in computer science ; 00253Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions by Snyers, Dominique \| Thayse, Andre. Series: Lecture notes in computer science ; 00271Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			Computation Theory and Logic by Borger, Egon. Ed. Series: Lecture notes in computer science ; 00270Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			Logic Programming '86 Proceedings, 5th Conf., Tokyo, Japan, 1986 by Wada, Eiiti. Ed. Series: Lecture notes in computer science ; 00264Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Logic and Functional Prgramming Proceedings, Workshop, Trento, Italy, 1986 by Boscarol, M. Ed \| Carlucci Aiello, L. Ed \| Levi, G. Ed. Series: Lecture notes in computer science ; 00306Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS. Place hold Log in to add tags
			Logic Programming '87 Proceedings, 6th Conf., Tokyo, Japan, 1987 by Furukawa, K. Ed \| Tanaka, H. Ed \| Fujisaki, T. Ed. Series: Lecture notes in computer science ; 00315Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS. Place hold Log in to add tags
			Programming Languages Implementation and Logic Programming Proceedings, Int.Workshop, PLILP '88, Orleans, France, 1988 by Deransart, P. Ed \| Lorho, B. Ed \| Maluszynski, J. Ed. Series: Lecture notes in computer science ; 00348Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic and Logic Programming Proceedings, Int.Workshop, Gaussig, GDR, 1988 by Grabowski, J. Ed \| Lescanne, P. Ed \| Wechler, W. Ed. Series: Lecture notes in computer science ; 00343Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 41 results.