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

			Euro-Par 2001 Parallel Processing, Proceedings of the 7th International Conference, UK, 2001 by Sakellariou, Rizos.et al Eds. Series: Lecture notes in computer science ; 02150Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Computational Discrete Mathematics by Alt, Helmut. Ed. Series: Lecture notes in computer science ; 02122Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Automata Implementation, 4th International Workshop, Germany, 1999 by Boldt, Oliver. Ed \| Jurgensen, Helmut. Ed. Series: Lecture notes in computer science ; 02214Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Recent Advances in Intrusion Detection, Proceedings of the 4th International Symposium, USA, 2001 by Lee, Wenke. Ed \| Me, Ludovic. Ed \| Wespi, Andreas. Ed. Series: Lecture notes in computer science ; 02212Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Computer aided verification : 13th international conference; proceedings by Berry, Gerard. Ed \| Comon, Hubert. Ed \| Finkel, Alain. . Ed. Series: Lecture notes in computer science ; 02102Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Proof Theory in Computer Science, Proceedings of the International Seminar, Germany, 2001 by Kahle, Reinhard. Ed \| Schroeder-Heister, Peter. Ed \| Stark, Robert. Ed. Series: Lecture notes in computer science ; 02183Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Methods and Performance Analysis : First Summer School, Netherlands, 2000 by Brinksma, Ed \| Hermanns, Holger. Ed \| Katoen, Joost-Pieter. Ed. Series: Lecture notes in computer science ; 02090Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Information and Communications Security, Proceedings of the 3rd International Conference, China, 2001 by Qing, Sihan. Ed \| Okamoto, Tatsuaki. Ed \| Zhou, Jianying. Ed. Series: Lecture notes in computer science ; 02229Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS. Place hold Log in to add tags
			Financial Cryptography, Proceedings of the 4th International Conference, British West Indies, 2000 by Frankel, Yair. Ed. Series: Lecture notes in computer science ; 01962Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS. Place hold Log in to add tags
			Job Scheduling Strategies for Parallel Processing, 7th International Workshop, USA, 2001 by Feitelson, Dror G. Ed \| Rudolph, Larry. Ed. Series: Lecture notes in computer science ; 02221Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS. Place hold Log in to add tags
			Modeling and Verification of Parallel Processes, 4th Summer School, France, 2000 by Cassez, Franck et al Eds. Series: Lecture notes in computer science ; 02067Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Theoretical Aspects of Computer Software, Proceedings of the 4th International Symposium, Japan, 2001 by Kobayashi, Naoki. Ed \| Pierce, Benjamin C. Ed. Series: Lecture notes in computer science ; 02215Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS. Place hold Log in to add tags
			Linear time, branching time and partial order in logics and models for concurrency : by de Bakker, J.W Ed \| de Roever, W.P. Ed \| Rozenberg,G. Ed. Series: Lecture notes in computer science ; 00354Material 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: 8 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science by Hariharan, Ramesh \| Mukund, Madhavan \| Vinay, V. (Eds.). Series: Lecture notes in computer science ; 02245Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: No items available : Log in to add tags
			FST TCS 1992: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 12th conference 1992 by Shyamasundar, R. Ed. Series: Lecture notes in computer science ; 652Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer-Verlag ; 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 1991: Foundations of software technology and theoretical computer science: Proceedings, 11th conference, New Delhi by Biswas, S \| Nori,K.V. Eds. Series: Lecture notes in computer science ; 560Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer-Verlag ; 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (3). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic Methodology and Software Technology : 5th international conference; proceedings by Wirsing, Martin \| Nivat,Maurice Eds. Series: Lecture notes in computer science ; 01101Edition: 0Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software Technology and Theoretical Computer Science, Proceedings of the 17th Conference, Kharagpur, India, 1997 by Ramesh, S. Ed \| Sivakumar, G. Ed. Series: Lecture notes in computer science ; 01346Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in computing science- ASIAN'97: Proceedings, 3rd Asian Computing Science conference by Shyamasundar,R.K \| Ueda, K. Eds. Series: Lecture notes in computer science ; 01345Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software technology and Theoretical computer science: Proceedings, 14t conference by Thiagarajan, P.S. Series: Lecture notes in computer science ; 00880Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags

			Euro-Par 2001 Parallel Processing, Proceedings of the 7th International Conference, UK, 2001 by Sakellariou, Rizos.et al Eds. Series: Lecture notes in computer science ; 02150Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Computational Discrete Mathematics by Alt, Helmut. Ed. Series: Lecture notes in computer science ; 02122Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Automata Implementation, 4th International Workshop, Germany, 1999 by Boldt, Oliver. Ed \| Jurgensen, Helmut. Ed. Series: Lecture notes in computer science ; 02214Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Recent Advances in Intrusion Detection, Proceedings of the 4th International Symposium, USA, 2001 by Lee, Wenke. Ed \| Me, Ludovic. Ed \| Wespi, Andreas. Ed. Series: Lecture notes in computer science ; 02212Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Computer aided verification : 13th international conference; proceedings by Berry, Gerard. Ed \| Comon, Hubert. Ed \| Finkel, Alain. . Ed. Series: Lecture notes in computer science ; 02102Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Proof Theory in Computer Science, Proceedings of the International Seminar, Germany, 2001 by Kahle, Reinhard. Ed \| Schroeder-Heister, Peter. Ed \| Stark, Robert. Ed. Series: Lecture notes in computer science ; 02183Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Methods and Performance Analysis : First Summer School, Netherlands, 2000 by Brinksma, Ed \| Hermanns, Holger. Ed \| Katoen, Joost-Pieter. Ed. Series: Lecture notes in computer science ; 02090Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Information and Communications Security, Proceedings of the 3rd International Conference, China, 2001 by Qing, Sihan. Ed \| Okamoto, Tatsuaki. Ed \| Zhou, Jianying. Ed. Series: Lecture notes in computer science ; 02229Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS. Place hold Log in to add tags
			Financial Cryptography, Proceedings of the 4th International Conference, British West Indies, 2000 by Frankel, Yair. Ed. Series: Lecture notes in computer science ; 01962Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS. Place hold Log in to add tags
			Job Scheduling Strategies for Parallel Processing, 7th International Workshop, USA, 2001 by Feitelson, Dror G. Ed \| Rudolph, Larry. Ed. Series: Lecture notes in computer science ; 02221Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS. Place hold Log in to add tags
			Modeling and Verification of Parallel Processes, 4th Summer School, France, 2000 by Cassez, Franck et al Eds. Series: Lecture notes in computer science ; 02067Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Theoretical Aspects of Computer Software, Proceedings of the 4th International Symposium, Japan, 2001 by Kobayashi, Naoki. Ed \| Pierce, Benjamin C. Ed. Series: Lecture notes in computer science ; 02215Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS. Place hold Log in to add tags
			Linear time, branching time and partial order in logics and models for concurrency : by de Bakker, J.W Ed \| de Roever, W.P. Ed \| Rozenberg,G. Ed. Series: Lecture notes in computer science ; 00354Material 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: 8 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science by Hariharan, Ramesh \| Mukund, Madhavan \| Vinay, V. (Eds.). Series: Lecture notes in computer science ; 02245Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: No items available : Log in to add tags
			FST TCS 1992: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 12th conference 1992 by Shyamasundar, R. Ed. Series: Lecture notes in computer science ; 652Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer-Verlag ; 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 1991: Foundations of software technology and theoretical computer science: Proceedings, 11th conference, New Delhi by Biswas, S \| Nori,K.V. Eds. Series: Lecture notes in computer science ; 560Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer-Verlag ; 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (3). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic Methodology and Software Technology : 5th international conference; proceedings by Wirsing, Martin \| Nivat,Maurice Eds. Series: Lecture notes in computer science ; 01101Edition: 0Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software Technology and Theoretical Computer Science, Proceedings of the 17th Conference, Kharagpur, India, 1997 by Ramesh, S. Ed \| Sivakumar, G. Ed. Series: Lecture notes in computer science ; 01346Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in computing science- ASIAN'97: Proceedings, 3rd Asian Computing Science conference by Shyamasundar,R.K \| Ueda, K. Eds. Series: Lecture notes in computer science ; 01345Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software technology and Theoretical computer science: Proceedings, 14t conference by Thiagarajan, P.S. Series: Lecture notes in computer science ; 00880Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, 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 10762 results.