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

Results
	341.	Tempo unified treatment of binding time and parameter passing concepts in programming languages ed. by Steven S. Muchnick, Neil D. Jones by Muchnick, Steven S., ed Jones Neil, D., ed Series: Lecture Notes in Computer Science ; 66 Material type: Book Publication details: Berlin Springer-Verlag 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N7811.
	342.	Mathematical foundations of computer science 1978 ed. by J. Winkowski. by symp. (7th0 poland, sept. 1978 Winkowski, J., ed Series: Lecture notes in computer science 64 Material type: Book Publication details: Berlin Springer-Verlag 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N7811.
	343.	Verifying concurrent processes using temporal logic by Brent T. Hailpern by Hailpern, Brent T Series: Lecture notes in computer science ; V.129 Material type: Book Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N8212. Place hold
	344.	Foundations of software technology and theoretical computer science - Proceedings ed. by S. Ramesh, G. Sivakumar by Conference on Foundations of software technology and theoretical computer science (17 Kharagpur 1997) Ramesh, S., ed Sivakumar, G., ed Series: Lecture Notes in computer science, 1346 Material type: Book Publication details: Berlin Springer-Verlag 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N971.
	345.	High performance computing : Proceeedings ed. by Constantine Polychronopoulos... et al by 1997) Polychronopoulos, Constantine., ed Series: Lecture notes in computer science, 1336 ; Material type: Book Publication details: Berlin Springer-Verlag 1997 Availability: Items available for reference: Supercomputer Education and Research Centre: Not for loan (1)Call number: 004 N979.
	346.	Algorithmic foundations of geographic information systems ed. by Marc Van Kreveld, et al. by Van Kreveld, Marc., et al., eds Series: Lecture notes in computer science, Vol 1340 ; Material type: Book Publication details: Berlin Springer verlag 1997 Availability: Items available for reference: Supercomputer Education and Research Centre: Not for loan (1)Call number: 910.285 N97.
	347.	Cryptography and coding - Proceedings ed. by Michael Darnell by 6th IMA Intl. Conference, Cirencester, U.K. Dec 17-19, 1997 Darnell, Michael., ed Series: Lecture notes in computer science ; 1355 Material type: Book Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 N971. Place hold
	348.	No cover image available Foundations of software technology and theoretical computer science. by R. Shyamasundar. by Shyamasundar, R Series: Lecture notes in computer science. 652 Material type: Book Publication details: Springer, Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: . Place hold
	349.	No cover image available Foundation of software technology and theoretical computer science. by P.S. Thiagarajan. by Thiagarajan, P.S Series: Lecture notes in computer science Material type: Book Publication details: Springer, Verlag. 1994 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: . Place hold
	350.	Conference on formal aspects of cognitive processes(22 1972:Ann Arbor, Mich) ed. by G. Goos and J. Hartmanis by Goos, G., ed Hartmanis, J., ed Series: Lecture notes in computer science ; 22 Material type: Book Publication details: Berlin Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.53 N75.
	351.	Trends in computer algebra ed. by R. Janben. by Conference on Computer algebra (Bad Neuenahr,1987) Janben, R., ed Series: Lecture notes in Computer science No.296 Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N882.
	352.	Axioms and hulls by D E Knuth by Knuth, D.E Series: Lecture Notes in Computer Science 606 Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N926.
	353.	Fundamental algorithms for permutation groups by G. Butler by Butler, G Series: Lecture Notes in computer science ; 559 Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N913;1. Place hold
	354.	Foundations of software technology and theoretical computer science - Proceedings ed. by P.S. Thiagarajan by 14th FST & TCS Conference, Madras, December 15-17, 1994 Thiagarajan, P.S., ed Series: Lecture notes in computer science ; V.880 Material type: Book Publication details: Berlin Springer-Verlag 1994 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N944.
	355.	Foundations of software technology and theoretical computer science - Proceedings ed. by R. Shyamasundar by 12th FST & TCS Conference, New Delhi, India, Dec 18-20, 1992 Shyamasundar, R., ed Series: Lecture Notes in Computer Science ; 652 Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N9215.
	356.	Parle'91 paralell architectures and languages europe - V.1 parallel architectures and algorithms - Proceedings ed. by E.H.L. Aarts, J. Van Leeuwen and M. Rem by Conference held at Eindhoven, Netherlands, June 10-13 1991 Aarts, E.H.L., ed Van Leeuwen, J., ed Rem, M., ed Series: Lecture Notes in Computer Science ; 505 Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N91.1.
	357.	Parle'91 paralell architecures and languages europe - V.2 parallel languages - Proceedings ed. by E.H.L. Aarts, J. Van Leeuwen and M. Rem by Conference held at Eindhoven, Netherlands, June 10-13, 1991 Aarts Emile, E.H.L., ed Van Leeuwen, J., ed Rem, M., ed Series: Lecture Notes in Computer Science ; 506 Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N91.2.
	358.	Paralell problem solving from nature ed. by Hans-Paul Schwefel, Reinhard Manner by Schwefel, Hans-Paul., ed Manner, Reinhard., ed Series: Lecture Notes in Computer science ; 496 Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N911.
	359.	Advances in cryptology EUROCRYPT'90 ed. by Ivan Bjerre Damgard. by Workshop on advance in cryptology(Aarhus,Denmark,1990) Damgard, Ivan Bjerre., ed Series: Lecture notes in computer science No.473p Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.82 N91.
	360.	Advances in computing and information ICCI'91 - Proceedings ed. by F. Dehne, F. Fiala and W.W. Koczkodaj by ICCI'91, Ottawa, Canada, May 27-29, 1991 Dehne, Frank., ed Fiala, F., ed Koczkodaj, W.W., ed Series: Lecture Notes in Computer Science ; 497 Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N911.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1546 results.