IMSc Library catalog › Results of search for 'ccl=se,phr:"lecture notes"'

			No cover image available STACS 85, 2nd Annual symposium on theretical aspects of computer science, Saarbrucken, January 3-5,1985 by Mehlhorn, K., Ed. Series: Lecture notes in computer science ; 00182Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1985Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			Logics of programs by Parikh, Rohit Ed. Series: Lecture notes in computer science ; 00193Material type: Text;Language: ; Format: print Language: Eng Publication details: Berlin Spriger Verlag 1985; Springer-Verlag Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Automata on infinite words by Nivat, M., Ed. Series: Lecture notes in computer science ; 00192Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available A survey of verification techniques for parallel programs by Barringar, Howard. Series: Lecture notes in computer science ; 00191Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available RIMS symposia on software science and engineering, Kyoto,1982, proceedings by Goto, E., Ed. Series: Lecture notes in computer science ; 00147Material type: Text;Language: ; Format: print Availability: 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
			No cover image available Feedback shift retgisters by Ronse, Christian. Series: Lecture notes in computer science ; 00169Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available 7th International conference on automated deduction, Nape, California, USA, May 14-16,1984 by Shostak, R.E.,Ed. Series: Lecture notes in computer science ; 00170Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Logics and machines: Decision problems and complexity by Borger, E., Ed. Series: Lecture notes in computer science ; 00171Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			Stochastic processes and their applications Proceedings, Bombay, India, December 27-30,1990 by Beckmann, M.J., Ed. Series: Lecture notes in economics and mathematical systems, 370Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:35 Shelf No:32 Call number: 519.216 BEC. Place hold Log in to add tags
			No cover image available Instantiation theory by Williams, J.G. Series: Lecture notes in artificial intelligence ; 00518Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available Termination proofs for logic programs by Plumer, Lutz. Series: Lecture notes in artificial intelligence ; 00446Material 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
			No cover image available Logics in AI : European workshop JELIA '90, Amsterdam, The Netherlands,September 1990, Proceedings by Van Eijick, J.,Ed. Series: Lecture notes in artificial intelligence ; 00478Material type: Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Warmeleitung in kristallen, theoretische grundlagen und fortgeschrittene experimentelle methoden by Erdmann, J.C. Series: Lecture notes in physics ; 00001Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1969Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 13 Call number: 53 LNP. Place hold Log in to add tags
			Einstein symposion Berlin by Nelkowski, H., Ed. Series: Lecture notes in physics ; 00100Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:37 Shelf No:15 Call number: 53 LNP. Place hold Log in to add tags
			Orthomorphism graphs of groups / by Evans, Anthony B. Series: Lecture notes in mathematics (Springer-Verlag) ; 1535.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1992Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 27, Shelf No: 9 Call number: 51 LNM. Place hold Log in to add tags
			Mathematical research today and tomorrow : viewpoints of seven Fields medalists : lectures given at the Institut d'Estudis Catalans, Barcelona, Spain, June 1991 / by Casacuberta, Carles \| Castellet, Manuel. Series: Lecture notes in mathematics (Springer-Verlag) ; 1525.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1992Online access: Click here to access online \| Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 9 Call number: 51 LNM. Place hold Log in to add tags
			Graph-Theoretic Concepts in Computer Science 17th International Workshop Proc.,Fischbachau,Germany, 1991 by Schmidt, G. Ed \| Berghammer, R. Ed. Series: Lecture notes in computer science ; 00570Material 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: 13 Call number: 681 LNCS. Place hold Log in to add tags
			Theory of Computing and Systems ISTCS '92 - Israel Symposium, Proc.,Haifa, Israel, 1992 by Dolev, D. et al Eds. Series: Lecture notes in computer science ; 00601Material 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: 13 Call number: 681 LNCS. Place hold Log in to add tags
			Automated Deduction - CADE 11 11th International Conference Proc.,Saratoga Springs,NY,1992 by Kapur,D. Ed. Series: Lecture notes in artificial intelligence ; 00607Material 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
			Advances in Petri Nets 1992 by Rozenberg,G. Ed. Series: Lecture notes in computer science ; 00609Material 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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 15594 results.