IMSc Library catalog › Results of search for 'ccl=Provider:Springer-Verlag, and se:Lecture notes in computer science '

			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
			Operating Systems Engineering Proceedings, 14th IBM CS Symp., Japan, 1980 by Maekawa, M. Ed \| Belady, L A. Ed. Series: Lecture notes in computer science ; 00143Material 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
			Automatic Differentiation: Techniques and Applications by Rall, Louis B. Series: Lecture notes in computer science ; 00120Material 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
			Program Specification Proceedings, Workshop, Denmark, 1981 by Staunstrup, J. Ed. Series: Lecture notes in computer science ; 00134Material 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
			EUROCAM' 82 European Computer Algebra Conf., France, 1982 by Calmet, Jacques. Ed. Series: Lecture notes in computer science ; 00144Material 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
			Mathematical Foundations of Computer Science, 1981 Proceedings, 10th Symposium, Czechoslovakia, 1981 by Gruska, J. Ed \| Chytil, M. Ed. Series: Lecture notes in computer science ; 00118Material 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
			Automata, Languages and Programming Eighth Colloquium, Israel, 1981 by Even, S. Ed \| Kariv, O. Ed. Series: Lecture notes in computer science ; 00115Material 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
			Stochastic Automata: Stability, Nondeterminism, and Prediction by Doberkat, Ernst-Erich. Series: Lecture notes in computer science ; 00113Material 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
			CAAP '81 : Trees in Algebra and Programming Proceedings, 6th Colloquium, Genoa, 1981 by Astesiano, E. Ed \| Bohm, C. Ed. Series: Lecture notes in computer science ; 00112Material 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
			CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing Proceedings, Nurnberg, 1981 by Handler, Wolfgang. Ed. Series: Lecture notes in computer science ; 00111Material 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
			Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs by Dehning, Waltraud \| Essig, Heidrun \| Maass, Susanne. Series: Lecture notes in computer science ; 00110Material 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
			Graph Theory and Algorithms Proceedings, 17th Symp., Tohoku Univ., Japan, 1980 by Saito, N. Ed \| Nishizeki, T. Ed. Series: Lecture notes in computer science ; 00108Material 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
			Formalization of programming concepts Proceedings, Int.Colloquium, Spain, 1981 by Diaz, J. Ed \| Ramos, I. Ed. Series: Lecture notes in computer science ; 00107Material 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
			Programming Language - Ada Reference Manual by U.S. Dept. of Defense. Series: Lecture notes in computer science ; 00106Material 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
			Theoretical Computer Science 5th GI-Conference, Karlsruhe, 1981 by Deussen, Peter. Ed. Series: Lecture notes in computer science ; 00104Material 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
			Graphtheoretic Concepts in Computer Science Proceedings, Int.Workshop, Bad Honnef, 1980 by Noltemeier, Hartmut. Ed. Series: Lecture notes in computer science ; 00100Material 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
			Coroutines, Programming Methodology, a Language design and an implementation by Marlin, Christopher D. Series: Lecture notes in computer science ; 00095Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1980Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Reliability Evaluation of some fault-tolerant computer architectures by Osaki, Shunji \| Nishio, Toshihiko. Series: Lecture notes in computer science ; 00097Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1980Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Towards a Formal Description of Ada by Bjorner, D. Ed \| Oest, O N. Ed. Series: Lecture notes in computer science ; 00098Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1980Availability: 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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 416 results.