Results of search for 'se,phr:"Lecture notes in Computer Science"' › Indian Statistical Institute-Delhi Centre Library catalog

Results
	1.	No cover image available How to multiply matrices faster / by Pan, Victor Series: Lecture notes in Computer Science ; 179 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer-Verlag, 1984 Availability: Items available for loan: ISID (1)Call number: 518.1 P187.HM. Place hold
	2.	No cover image available Mathematical foundations of computer science ; proceedings of the 4th symposium / by Symposium on Mathematical Foundations of Computer Science, Marianske Lazue, September 1-5, 1975 Becvar, J [editor.] Series: Lecture notes in Computer Science ; 32 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer-Verlag, 1975 Availability: Items available for loan: ISID (1)Call number: 518.1 Sy989.MF. Place hold
	3.	No cover image available Graph theoretic concepts in computer science; proceedings of the workshop WG 80. Ed. by Hartmut Noltemeier by Workshop on "Graph Theoretic Concepts in Computer Science", Bad Honnef, June 15-18, 1980 Noltemeier, Hartmut ; ed Series: Lecture notes in Computer Science ; 100 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: ISID (1)Call number: 518.1 W926.GC. Place hold
	4.	No cover image available Y 12 M solution of large and sparse systems of linear algebraic equations; documentation of subroutines By Zahari Zlatev, Jerzy Wasniewski and Kield Schaumburg by Zlatev, Zahari and Others Wasniewski, Jerzy ; jt. auth Schaumburg, Kield ; jt. auth Series: Lecture notes in Computer Science ; 121 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: ISID (1)Call number: 518.1 Z82.YT. Place hold
	5.	No cover image available Theoretical computer science; proceedings of the Gl-conference Ed. by Peter Deussen by Conference on "Theoretical Computer Science", Karlsruhe, March 23-25, 1981 Deussen, Peter ; ed Series: Lecture notes in Computer Science ; 104 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: ISID (1)Call number: 518.5 C748.TC. Place hold
	6.	No cover image available Group theoretic algorithms and graph isomorphism by Hoffman, Christoph M Series: Lecture notes in Computer Science ; 136 Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: ISID (1)Call number: 518.50181 H699.GT. Place hold
	7.	No cover image available Axiomatising the logic of computer programming by Goldblatt, Robert Series: Lecture notes in Computer Science ; 130 Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: ISID (1)Call number: 518.542 G618.AL. Place hold
	8.	No cover image available Programming methodology ; proceedings of the 4th informatik symposium / by Symposium on Programming Methodology, Wildbad, IBM Germany, Sept. 25-27, 1974 Hackl, Clemens E [editor.] Series: Lecture notes in Computer Science ; 23 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer-Verlag, 1975 Availability: Items available for loan: ISID (1)Call number: 518.542 Sy989.PM. Place hold
	9.	No cover image available Logic of programs; papers Ed. by Erwin Engeler by Workshop on "Logic of Programs", ETH Zurich, May-July, 1979 Engeler, Erwin ; ed Series: Lecture notes in Computer Science ; 125 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: ISID (1)Call number: 518.542 W926.LP. Place hold
	10.	No cover image available Logics of programs; papers Ed. by Dexter Kozen by Workshop on "Logics of Programs", Yorktown Heights, New York, May 4-6, 1981 Kozen, Dexter ; ed Series: Lecture notes in Computer Science ; 131 Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: ISID (1)Call number: 518.542 W926.LP. Place hold
	11.	No cover image available Program specification; proceedings Ed. by J. Staunstrup by Workshop on "Program Specification", Aarhus University, Denmark, Aug. 4-7, 1981 Staunstrup, J. ; ed Series: Lecture notes in Computer Science ; 134 Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: ISID (1)Call number: 518.542 W926.PS. Place hold
	12.	No cover image available Towards a formal description of Ada. by Bjorner, D. and Oest, O. N. ,ed Oest, O. N. ; jt. ed Series: Lecture notes in Computer Science ; 98 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for loan: ISID (1)Call number: 518.5424A B626.TF. Place hold
	13.	No cover image available Optimized translation process and its applications to ALGOL 68 / by Branquart, P Series: Lecture notes in Computer Science ; 38 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer-Verlag, 1976 Availability: Items available for loan: ISID (1)Call number: 518.5424A B821.OT. Place hold
	14.	No cover image available Compiler specification and verification by Polak, Wolfgang Series: Lecture notes in Computer Science ; 124 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: ISID (1)Call number: 518.5425 P762.CS. Place hold
	15.	No cover image available Data base system ; proceedings of the 5th informatik symposium organized by the Scientific Relations Department of IBM Germany / by Symposium on Data Base Systems, IBM Germany, Bad Homburg, Sept. 24-26, 1975 Hasselmeir, H [editor.] Spruth, W. G [editor.] Series: Lecture notes in Computer Science ; 39 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer-Verlag, 1976 Availability: Items available for loan: ISID (1)Call number: 518.5442 Sy989.DB. Place hold
	16.	No cover image available Trends in information processing systems; proceedings of the 3rd conf. Ed. by A. J. W. Duijvestijn and P. C. Lockemann by Conference of "European Cooperation in Informatics", Munich, Oct. 20-22, 1981 Duijvestijn, A. J. W. ; ed Lockemann, P. C. ; jt. ed Series: Lecture notes in Computer Science ; 123 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: ISID (1)Call number: 518.55 C748.TI. Place hold
	17.	No cover image available Distributed systems; architecture and implementation; papers presented at the advanced course, Technische Universitat Munchen, March 4-13, 1980 Ed. by D. W. Davies and others by Lampson, B. W. and Others, ed Davies, D. W. ; jt. ed Series: Lecture notes in Computer Science ; 105 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: ISID (1)Call number: 518.55 L239.DS. Place hold
	18.	No cover image available E C I conference 1976; proceedings of the Ist conference Ed. by K. Samelson by Conference of "European Co-operation in Informatics", Amsterdam, August-9-12, 1976 Samelson, K. ; ed Series: Lecture notes in Computer Science ; 44 Material type: Text Publication details: Berlin Springer-Verlag 1976 Availability: Items available for loan: ISID (1)Call number: 519.11094 C748.EC. Place hold
	19.	Fundamental algorithms for permutation groups / by Butler, Gregory Series: Lecture notes in Computer Science ; 559 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer-Verlag, 1991 Availability: Items available for loan: ISID (1)Call number: 518.50181 B985.FA. Place hold
	20.	Progress in Cryptology - INDOCRYPT-2000; proceedings of the 1st International conference hosted by Indian Statistical Institute Ed. by Bimal Roy and Eiji Okamoto by Conference on "Cryptology in India" Calcutta, India, December 10-13, 2000 Roy, Bimal ; ed Okamoto, Eiji ; jt. ed I S I, Calcutta Series: Lecture notes in Computer Science ; 1977 Material type: Text Publication details: Berlin Springer-Verlag 2000 Availability: Items available for loan: ISID (1)Call number: 518.1 C748.PC. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 35 results.