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

Results
	261.	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: Book Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N794.
	262.	Relational theory of computing ed. by John G. Sanderson by Sanderson, John G., ed Series: Lecture Notes in Computer Science ; V.82 Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N801.
	263.	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: Book 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.
	264.	Relational theory of computing by John G. Sanderson by Sanderson, John G Series: Lecture Notes in Computer Science ; V.82 Material type: Book 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.
	265.	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: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015116 N96.
	266.	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: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.82 N961.
	267.	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: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 003.54 COH.
	268.	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: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N966.
	269.	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: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N84.
	270.	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: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N84;1.
	271.	How to multiply matrices faster by Victor Pan by Pan, Victor Series: Lecture notes in computer science 179 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.943 N841.
	272.	Direct methods for sparse matrices by Ole Osterby, Zahari Zlatev by Osterby, Ole Zlatev, Zahari Series: Lecture notes in computer science ; 157 Material type: Book Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.943 N83.
	273.	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: Book Publication details: Berlin s-V 1997 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.133 N972.
	274.	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: Book Publication details: Berlin S-V 1997 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.3 N97.
	275.	VLSI engineering beyond software engineering ed. by Tosiyasu L.Kunii by Kunii, Tosiyasu L., ed Series: Lecture notes in computer science ; 163 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38173 N84.
	276.	Software configuration management Proceedings ed. by Reidar Conradi by Workshop on Software Configuration Management(7th 1997 Boston) Conradi, Reidar., ed Series: Lecture notes in computer science, v.1235 Material type: Book Publication details: Berlin S-V 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N975.
	277.	Languages and compilers for parallel computing Proceedings ed. by David Sehr...(et al) by International Workshop on Languages and Compilers for Parallel Computing(9th 1996 San Jose, California) Sehr, David., et al., ed Series: Lecture notes in computer science, v.1239 Material type: Book Publication details: Berlin S-V 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.45 N97.
	278.	Computer performance evalution Modelling techniques and tools ed. by Raymond Marie, Brigitte Plateau, Maria Calzarossa by International Conference on Computer Performance Evaluation(9th 1997 St.Malo, France) Marie, Raymond., ed Plateau, Brigette., ed Calzarossa., ed Series: Lecture notes in computer science, v.1245 Material type: Book Publication details: Berlin S-V 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.24 N97.
	279.	New trends in formal languages Control, Cooperation, and Combinatorics. ed. by Gheorghe Paun, Arto Salomaa by Paun, Gheorghe., ed Salomaa, Arto., ed Series: Lecture notes in computer science, v.1218 Material type: Book Publication details: Berlin Springer 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N972.
	280.	Optimization techniques - part II. ed. by R. Conti and A. Ruberti by IFIP Conference on Optimization Techniques (5 1973 Rome) Conti, R., ed Ruberti, A., ed Series: Lecture notes in computer science, 4 Material type: Book Publication details: Berlin Springer-Verlag 1973 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.424 N731.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 331 results.