Results of search for 'ccl=se,phr:"Lecture notes in computer science" and se:Lecture notes in computer science'

Results
	1501.	Open MP shared memory parallel programming Proceedings ed by Rudolf Eigenmann, and Michael J Voss by International Workshop on Open MP shared memory parallel programming (West Lafayette 2001) Eigenmann, Rudolf., ed Voss, Michael J., ed Series: Lecture Notes in Computer Science ; 2104 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.35 P011. Place hold
	1502.	Algorithm engineering Proceedings ed by Stefan Naher and Dorothea Wagner by International Workshop on Algorithm engineering(2nd Saarbrucken 2000) Naher, Stefan., ed Wagner, Dorothea., ed Series: Lecture Notes in Computer Science ; 1982 Material type: Book Publication details: Berlin Springer-Verlag 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.10287 P01. Place hold
	1503.	Automata, languages and programming Proceedings ed by Fernando Orejas, et al by International Colloquium on Automata, languages and programming(28th Crete 2001) Orejas, Fernando., ed Series: Lecture Notes in Computer Science ; 2076 Material type: Book Publication details: Berlin Springer-Verlag 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 629.892 P014. Place hold
	1504.	Advances in cryptology- CRYPTO 2000 Proceedings ed by Mihir Bellare by Annual International Cryptology Conference on Advances in cryptology- CRYPTO 2000 (20 Santa Barbara 2000) Bellare, Mihir., ed Series: Lecture Notes in Computer Science ; 1880 Material type: Book Publication details: Berlin Springer 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 P001. Place hold
	1505.	Algorithm engineering Proceedings ed by Gerth Stolting Brodal, et al by International Workshop on Algorithm engineering (5 Arhus 2001) Stolting Brodal, Gerth., et al Series: Lecture Notes in Computer Science ; 2141 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 P018. Place hold
	1506.	Approximation, Randomization and Combinatorial Optimization Algorithms and techniques by Michel Goemans et al by Goemans, Michel et.al Jansen, Klaus Series: Lecture Notes in Computer Science Material type: Book Publication details: Berlin Springer-Verlag 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.4 P011. Place hold
	1507.	Implementation and application of automata ed by Sheng Yu and Andrei Paun by International conference, CIAA(5 London 2000) Yu, Sheng., ed Paun, Andrei., ed Series: Lecture notes in computer science 2088 Material type: Book Publication details: Berlin Springer-Verlag 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 629.8 P011. Place hold
	1508.	ESEC '91 3rd international engineering conforence Proceedings ed by A van Lamsweerde and A Fugetta by European Software Engineering Conference (3 Italy 1991) van Lamsweerde, A., ed Fugetta, A., ed Series: Lecture Notes in computer science 550 Material type: Book Publication details: New York Springer Verlag 1991 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9110. Place hold
	1509.	VDM '91 Formal Software development methods ed by S Prehn and W J Toetenel by Prehn, S Toetenel, W J Series: Lecture Notes in Computer Science 551 Material type: Book Publication details: New York Springer Verlag xii, 698p Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 N91. Place hold
	1510.	Eurocal '85 European conforence on computer algebra Liz, Australia, April 1985 ed by Burno Buchberger by Buchberger, Burno Series: Lecture notes in computer science Material type: Book Publication details: New York Springer Verlag 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.4 N856.1. Place hold
	1511.	Functional Programming Languages and Computer architectur ed by Jean-Pierre Jouannaud by Jouannaud, Jean-Pierre Series: Lecture Notes in Computer Science 201 Material type: Book Publication details: New York Springer-Verlag 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N8518. Place hold
	1512.	Advances in in petri nets 1984 ed by G Rozenberg by Rozenberg, G Series: Lecture Notes in Computer Science 188 Material type: Book Publication details: New York Springer-Verlag 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511 N854. Place hold
	1513.	Fundamental Algorithms for Permutation Groups by G Butler by Butler, G Series: Lecture notes in computer science 559 Material type: Book Publication details: New York Springer-Verlag 1991 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N913. Place hold
	1514.	Advances in Cryptology Proceedings of CRYPTO 84 ed by G Goos and J Hartmanis by Goos, G Hartmanis, J Series: Lecture Notes in Computer Science 196 Material type: Book Publication details: New York Springer-Verlag 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.54360285 N85. Place hold
	1515.	Analsis of concurrent systems ed by B T Denvir, et al by Denvir, B T, et al Series: Lecture notes in computer science ; 207 Material type: Book Publication details: Berlin Springer-Verlag 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6 N858. Place hold
	1516.	Foundations of software technology and theoretical computer science Proceedings ed by R Shyamasundar by Conference on foundations of software technology and theoretical computer science(12 New Delhi 1992) Shyamasundar, R., ed Series: Lecture notes in computer science 652 Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N921. Place hold
	1517.	Specification and Compositional Verification of Real-Time Systems J. Hooman by Hooman, J Series: Lecture Notes in Computer Science-558 Material type: Book Publication details: Berlin S-V 1991 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.33 n91. Place hold
	1518.	Logics of Programs Rohit Parikh by Parikh, Rohit Series: Lecture Notes in Computer Science Material type: Book Publication details: Berlin S-V 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N8512. Place hold
	1519.	Automata, Languages and Programming Timo Lepisto and Arto Salomaa by Lepisto, Timo Salomaa, Arto Series: Lecture Notes in Computer Science Material type: Book Publication details: Berlin S-V 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N8846;1. Place hold
	1520.	A Survey of Verification Techniques for Parallel Programs Howard Barringer by Barringer, Howard Series: Lecture Notes in Computer Science-191 Material type: Book Publication details: Berlin S-V 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.64404 N852. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1546 results.