IMSc Library catalog › Results of search for 'ccl=se,phr:"Computer Science"'

			Parsing theory volume 1 : languages and parsing by Sippu, Seppo \| Soisalon-Soininen, Eljas. Series: EATCS monographs on theoretical computer science ; 15Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1988Availability: Items available for loan: IMSc Library (2). Location(s): First Floor Rack No:36 Shelf No:1 Call number: 519.682 SIP. Place hold Log in to add tags
			Process Algebra by Baeten, J C M \| Weijland, W P. Series: Cambridge Tracts in Theoretical Computer Science, 18Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 BAE. Place hold Log in to add tags
			Algorithmic Graph Theory and Perfect Graphs by Golumbic, Martin Charles. Series: Computer Science and Scientific ComputingMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: San Diego ; Academic Press ; 1980Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GOL. Place hold Log in to add tags
			No cover image available Handbook of Logic in Computer Science, Vols.1 - 5 1.Background: Mathematical Structures; 2.Background: Computational Structures; 3. Semantic Structures; 4. Semantic Modelling; 5. Logic and Algebraic Methods by Abramsky, S. Ed \| Gabbay, Dov M. Ed \| Maibaum, T S E. Ed. Series: Handbook of Logic in Computer Science, Vols.1 - 5Material type: Text;Language: ; Format: print Publication details: Oxford ; Oxford Univ. Press ; 1992 - 1995;2000Availability: Items available for loan: IMSc Library (5). Location(s): First Floor, Rack No: 20, Shelf No: 11 Call number: 681.3(02) ABR. Place hold Log in to add tags
			No cover image available Mathematical Foundations of computer science 1986, by Gruska,J., Ed. Series: Lecture notes in computer science ; 00233Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 3 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Advances in cryptology by Beth, T., Ed. Series: Lecture notes in computer science ; 00209Material type: Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Foundation of software technology and Theoretical Comp.Sci. by Nori. Series: Lecture notes in computer science ; 00472Material type: Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Foundations of computation theory, Proceedings of the 1983 International FCT-conference,Bprgholm, Sweden, August, 1983 by Karpinski, Marek., Ed. Series: Lecture notes in computer science ; 00158Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available STACS 84, Symposium of theoretical aspects of computer science, Paris, April, 1984 by Melhlhorn, K., Ed. Series: Lecture notes in computer science ; 00166Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Semantics of data types: International symposium sophia-Antipolis, France, June 1984 by Goos G \| Hartmanis J. Series: Lecture notes in computer science \| 173Material type: Text;Language: ; Format: print Language: Eng Publication details: Berlin Springer Verlag 1984Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available EUROSAM 84 International symposium on symbolic and algebraic computation,Cambridge, England, July 1984 by Fitch, Ed. Series: Lecture notes in computer science ; 00174Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available P-Functions and boolean matrix factorization, A unfied approach for wired, programmed implementations of discrete algorithms by Thayse., Ed. Series: Lecture notes in computer science ; 00175Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Mathematical foundations of software development, proceedings of the International Joint conference, Berlin, 1985, volume 1: Colloquium on trees in algebra and programming by Ehrig., Ed. Series: Lecture notes in computer science ; 00185Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Formal methods and software development, proceedings of the International Joint conference, Berlin, 1985:v.2:Colloauium on software eng. by Ehrig., Ed. Series: Lecture notes in computer science ; 00186Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Advances in petri nets, 1984 by Rozenberg., Ed. Series: Lecture notes in computer science ; 00188Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Paragon: language using type hierarchies for the specifications, Implementation and selection of abstract data types by Sherman, M.S. Series: Lecture notes in computer science ; 00189Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Distributed systems, methods and tools for specification, an advanced course by Alford, zM.W., Ed. Series: Lecture notes in computer science ; 00190Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No:48 Shelf No:1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Hierarchical associative procesing system by Stuttgen, Heinrich J. Series: Lecture notes in computer science ; 00195Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Seminar on concurrency, Carnegie-Mellon University, Pittsburgh, PA, July 1984 by Brookes, A.E., Ed. Series: Lecture notes in computer science ; 00197Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Fundamentals of computation theory, FCT'85, Cottbus, GDR, September by Budach, Lothar. Series: Lecture notes in computer science ; 00199Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 10989 results.