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

Results
	1481.	Objective coordination in multi-agent system engineering Design and implementation by Michael Schumacher by Schumacher, Michael Series: Lecture notes in computer science ; V.2039 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 P0112. Place hold
	1482.	Static analysis Proceedings ed by Patrick Cousot by International symposium on static analysis(8 Paris 2001) Cousot, Patrick Series: Lecture notes in computer science ; Vol.2126 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 P013. Place hold
	1483.	Programs as data objects Proceedings ed by Olivier Danvy and Andrzej Filinski by Symposium of Programs as data objects (2 Aarhus 2001) Danvy, Olivier., ed Filinski, Andrzej., ed Series: Lecture Notes in Computer Science ; 2053 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 P014. Place hold
	1484.	Computing and combinatorics ed by Ding-Zhu Du, et al by Du, Ding-Zhu., et al Series: Lecture Notes in Computer Science ; 1858 Material type: Book Publication details: Berlin Springer 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1315116 P. Place hold
	1485.	Abstract state machines theory and applications Proceedings ed by Yuri Gurevich, et al by International Workshop on Abstract state machines theory and applications (Monte Verita 2000) Gurevich, Yuri., et al Series: Lecture Notes in Computer Science ; 1912 Material type: Book Publication details: Berlin Springer 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.392 P003. Place hold
	1486.	Advances in exception handling techniques by Alexander Romanovsky. et al by Romanovsky, Alexander Dony, Christophe Series: Lecture notes in computer science Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 P011;1. Place hold
	1487.	Reliable software technologies- Ada-Europe Proceedings ed by Dirk Craeynest and Alfred Strohmeier by International conference on Reliable software technologies- Ada-Europe(6th Leuven 2001), Craeynest, Dirk., ed Strohmeier, Alfred., ed Series: Lecture Notes in Computer Science ; 2043 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 CRA. Place hold
	1488.	Model checking software Proceedings ed by Matthew Dwyer by International SPIN Workshop on Model checking software (8 Toronto 2001) Dwyer, Matthew., ed Series: Lecture Notes in Computer Science 2057 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 629.8 P013. Place hold
	1489.	Computer safety, reliability and security Proceedings ed by Wolfgang Ehrenberger by International Conference on Computer safety, reliability and security (17th Heidelberg 1998) Ehrenberger, Wolfgang Series: Lecture Notes in Computer Science ; 1516 Material type: Book Publication details: Berlin Springer 1998 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.0289 N98. Place hold
	1490.	Algorithms and computation Proceedings ed by D T Lee, et al by International Conference on Algorithms and computation (11 Taipei 2000) Lee, D.T., ed Series: Lecture Notes in Computer Science ; 1969 Material type: Book Publication details: Berlin Springer-Verlag 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 P003. Place hold
	1491.	Advances in exception handling techniques by Alexander Romanovsky. et al by Romanovsky, Alexander Dony, Christophe Series: Lecture notes in computer science Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 P011. Place hold
	1492.	Web engineering managing diversity and complexity of web application development ed by San Murugesan and Yogesh Deshpande by Murugesan, San Deshpande, Yogesh Series: Lecture notes in computer science Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.678 P01. Place hold
	1493.	Quality of service-IWQOS 2001 Proceedings ed by Lars Wolf. et al by International workshop on quality of service(9 Germany 2001) Wolf, Lars., ed Hutchison, David., ed Steinmetz, Ralf., ed Series: Lecture notes in computer science 2092 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.60688 P01. Place hold
	1494.	Advances in web- age information management Proceedings ed by X Sean Wang, et al by International Conference on Advances in web- age information management (2 China 2001) Wang, X. Sean, et al Series: Lecture Notes in Computer Science ; 2118 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 025.04 P014. Place hold
	1495.	Information security and privacy Proceedings ed by Vijay Varadharajan, et al by Australasian Conference on Information security and privacy (6th Sydney 2001) Varadharajan, Vijay., ed Series: Lecture Notes in Computer Science ; 2119 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 P011. Place hold
	1496.	Formal Techniques in Real-Time and Fault-Tolerant Systems (proceedings) ed by Mathai Joseph by International Symposium on FTRFT (6 Pune 2000) Joseph, Mathai., ed Series: Lecture notes in computer science ; 1926 Material type: Book Publication details: Berlin Springer-Verlag 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 P001;1. Place hold
	1497.	Foundations of software technology and theoretical computer science Proceedings ed by G Goos, et al by Conference on Foundations of software technology and theoretical computer science (4th Bangalore 1984) Goos, G., ed Series: Lecture Notes in Computer Science ; 181 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N84;1. Place hold
	1498.	Correct hardware design and verification methods Proceedings ed by Tiziana Margaria, et al by Advanced research working conference on correct hardware design and verification methods(11 Livingston 2001) Margaria, Tiziana., ed Series: Lecture notes in computer science ; Vol.2144 Material type: Book Publication details: Berlin Springer-Verlag 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.390284 P01. Place hold
	1499.	Algorithms in bioinformatics Proceedings ed by Olivier Gascuel and Bernard M E Moret by International workshop, WABI 2001 (Arhus Denmark 2001) WABI 2001 Gascuel, Olivier., ed Moret, Bernard M.E., ed Series: Lecture notes in computer science 2149 Material type: Book Publication details: Berlin Springer-Verlag 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 570.28551 P01. Place hold
	1500.	Cryptographic hardware and embedded systems- CHES 2001 third international workshop, Paris, France, May 14-16, 2001: proceedings. by Koç, Çetin K.; Naccache, David; Paar, Christof,(ed.) by Koç, Çetin K, Koc, Cetin K., et al Series: Lecture Notes in Computer Science ; 2162 Material type: Book Publication details: Berlin; Springer, 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 KOC/C. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1546 results.