Results of search for 'ccl=se,phr:"Lecture Notes in Computer"'

Results
	281.	Mathematical foundations of computer sciences 1980 ed. by P. Dembinski. by symposium(9th0 held in Poland, sept. 1-5, 1980 Series: Lecture notes in computer science 88 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N80.
	282.	Using sophisticated models in resolution theorem proving by David M. Sandford. by Sandford, David M Series: Lecture notes in computer science 90 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N803.
	283.	Calculus of communicating systems By Robin, Milner. by Milner, Robin Series: Lecture notes in computer science 92 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64 N803.
	284.	Sementics-directed compiler generation by Neil D. Jones. by Jones, Neil D Series: Lecture notes in computer science Material type: Text Publication details: New york Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N801.
	285.	Codes for boundary value problems in ordinary differential equations ed by B. Childs [et al] by proceedings of a working conference may 14-17,1978 Childs, B.[et al], ed Series: Lecture notes in computer science 76 Material type: Text Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N794.
	286.	Relational theory of computing ed. by John G. Sanderson by Sanderson, John G., ed Series: Lecture Notes in Computer Science ; V.82 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N801.
	287.	Hardware specification, verification and synthesis : mathematical aspects ed. by M. Leeser and G. Brown. by Leeser, M., ed Brown, G., ed Series: Lecture notes in computer science ; Material type: Text Publication details: New York Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3920151 N90.
	288.	Relational theory of computing by John G. Sanderson by Sanderson, John G Series: Lecture Notes in Computer Science ; V.82 Material type: Text Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N801;1.
	289.	Computing and combinatorics - Proceedings ed. by Jin-Yi Cai, Chak Kuen Wong by 2nd Annual International Conference, COCOON, 96, Hong Kong, June 17-19, 1996 Cai, Jin-Yi., ed Wong, Chak Kuen., ed Series: Lecture Notes in computer science ; 1090 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015116 N96.
	290.	Advances in crytology- CRYPTO'96 - Proceedings ed. by Neal Koblitz by 16th Annual International Cryptology Conference, Santa Barbara, California, August 18-22, 1996 Koblitz, Neal., ed Series: Lecture notes in computer science, 1109 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.82 N961.
	291.	EUROCODE'90 - Proceedings ed. by Gerard Cohen, Pascale Charpin by Cohen G. 1990), Cohen, Gerard., ed Charpin, Pascale., ed Series: Lecture notes in computer science ; V.514 Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 003.54 COH.
	292.	No cover image available Algorithmic number theory - Proceedings ed. by Henri Cohen by International Symposium on Algorithmic Number Theory(2nd, Talence, France, May 18-23, 1996) Cohen, Henri., ed Series: Lecture notes in computer science 1122 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.7028551 N96. Place hold
	293.	Algorithms-ESA'96 - Proceedings ed. by Josep Diaz, Maria Serna by 4th Annual European Symposium, Barcelona,Sep 25-27 1996 Diaz, Josep., ed Serna, Maria., ed Series: Lecture notes in computer science ; 1136 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N966.
	294.	Logic and machines : decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding by Symposium on "Rekursive Kombinatorik" ( 1983 Westfalen) Borger, E., ed Hasenjaeger, G., ed Rodding, D., ed Series: Lecture Notes in Computer Science, 171 Material type: Text Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N84.
	295.	Logic and Machines decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding by Symposium on "Rekursive Kombinatorik" (Westfalen 1983) Borger, E., ed Hasenjaeger, G., ed Rodding, D., ed Series: Lecture notes in computer science, 171 Material type: Text Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N84;1.
	296.	How to multiply matrices faster by Victor Pan by Pan, Victor Series: Lecture notes in computer science 179 Material type: Text Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.943 N841.
	297.	Direct methods for sparse matrices by Ole Osterby, Zahari Zlatev by Osterby, Ole Zlatev, Zahari Series: Lecture notes in computer science ; 157 Material type: Text Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.943 N83.
	298.	ZUM'97 The Z formal specification notation ed by Jonathan P Bowen et.al. by Bowen, Jonathan P Hinchey, Michael G Till, David Series: Lecture notes in computer science ; v.1212 Material type: Text Publication details: Berlin s-V 1997 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.133 N972.
	299.	TAPSOFT '97' Theory and practice of software development:Proceedings ed. by Michel Bidoit, Max Dauchet by International Joint Conference CAAP/FASE(7th Lille, France 1997) Bidoit, Michel., ed Dauchet, Max., ed Series: Lecture notes in computer science, 1214 Material type: Text Publication details: Berlin S-V 1997 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.3 N97.
	300.	VLSI engineering beyond software engineering ed. by Tosiyasu L.Kunii by Kunii, Tosiyasu L., ed Series: Lecture notes in computer science ; 163 Material type: Text Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38173 N84.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1557 results.