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

			Computational Logic and Proof Theory : Third Kurt Godel colloquium, KGC,93, Brno, Czech Republic, August 1993, Proceedings by Gottlob, Georg \| Leitsch, A \| Mundici, D. Series: Lecture notes in computer science ; 00713Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Combinatorial Pattern Matching : 4th Annual symposium, CPM 93, Padova, Italy, June 1993, Proceedings by Apostolico, A \| Crochemore, M \| Galil, Z., Manber, U. Series: Lecture notes in computer science ; 00684Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Information Processing in Medical Imaging Proceedings, 13th International Conf., Arizona, 1993 by Barrett, H H. Ed \| Gmitro, A F. Ed. Series: Lecture notes in computer science ; 00687Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available STACS 88 Series: Lecture notes in computer science ; 00294Material 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: 5 Call number: 681 LNCS. Place hold Log in to add tags
			Introduction to Parallel Processing by Codenotti, Bruno \| Leoncini, Mauro. Series: International Computer Science SeriesMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Addison-Wesley ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 5 Call number: 681.32 COD. Place hold Log in to add tags
			Logical Approach to Discrete Math by Gries, David \| Schneider, Fred B. Series: Texts and Monographs in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:51 GRI. Place hold Log in to add tags
			Linear Programming by Karloff, Howard. Series: Progress in Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:12 Call number: 519.852 KAR. Place hold Log in to add tags
			Mathematical Foundations of Programming Semantics 9th International conference New Orleans, LA, USA, April 93 by Brookes, S \| Main, M., Schmidt, D \| Melton, A., Mislove, M. Series: Lecture notes in computer science ; 00802Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Decade of Concurrency - Reflections and Perspectives REX School/Symposium Noordwijkerhout, The Netherlands,June93 by de Bakker, J W \| de Roever, W.P \| Rozenberg, G. Series: Lecture notes in computer science ; 00803Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Iteration Theories Equational Logic of Iterative Processes by Bloom, Stephen L \| Esik, Zoltan. Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BLO. Place hold Log in to add tags
			An introduction to Kolmogorov complexity and its applications by Li, Ming \| Vitanyi, Paul. Series: Texts and Monographs in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LI. Place hold Log in to add tags
			Computer Aided Verification Proceedings, 6th Int.Conf., California, 1994 by Dill, David L. Ed. Series: Lecture notes in computer science ; 00818Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Logical Foundations of Computer Science Proceedings, 3rd Int.Symp., Russia, 1994 by Nerode, A. Ed \| Matiyasevich, Yu V. Ed. Series: Lecture notes in computer science ; 00813Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Results and Trends in Theoretical Computer Science : Colloquium in honor of Arto Salomaa Graz, Austria, June 1994 by Karhumaki, J. Ed \| Maurer, H. Ed \| Rozenberg, Ed. Series: Lecture notes in computer science ; 00812Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Kolmogorov Complexity and Computational Complexity by Watanabe, Osamu. Ed. Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 WAT. Place hold Log in to add tags
			Introduction to the Theory of Complexity by Bovet, Daniel Pierre \| Crescenzi, Pierluigi. Series: Prentice Hall International Series in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: UK ; Prentice Hall ; 1994Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BOV. Place hold Log in to add tags
			FST TCS 1994:Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 1994, Proceedings by Thiagarajan, P S. Ed. Series: Lecture notes in computer science ; 880Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Germany ; Springer Verlag ; 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings, 3rd International Symposium, Lubeck, 1994 by Langmaack, H. Ed \| de Roever, W.-P. Ed \| Vytopil, J. Ed. Series: Lecture notes in computer science ; 00863Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and Computation, 4th International symposium, ISAAC'93, Hong Kong, December 1993 by Raghavan, P. Ed \| Balasubramanian, N.V., Ed \| Chin, F Y L. Ed. Series: Lecture notes in computer science ; 00762Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Evolutionary Computing AISB Workshop, Leeds, 1994 by Fogarty, Terence C. Ed. Series: Lecture notes in computer science ; 00865Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags

			Computational Logic and Proof Theory : Third Kurt Godel colloquium, KGC,93, Brno, Czech Republic, August 1993, Proceedings by Gottlob, Georg \| Leitsch, A \| Mundici, D. Series: Lecture notes in computer science ; 00713Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Combinatorial Pattern Matching : 4th Annual symposium, CPM 93, Padova, Italy, June 1993, Proceedings by Apostolico, A \| Crochemore, M \| Galil, Z., Manber, U. Series: Lecture notes in computer science ; 00684Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Information Processing in Medical Imaging Proceedings, 13th International Conf., Arizona, 1993 by Barrett, H H. Ed \| Gmitro, A F. Ed. Series: Lecture notes in computer science ; 00687Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available STACS 88 Series: Lecture notes in computer science ; 00294Material 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: 5 Call number: 681 LNCS. Place hold Log in to add tags
			Introduction to Parallel Processing by Codenotti, Bruno \| Leoncini, Mauro. Series: International Computer Science SeriesMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Addison-Wesley ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 5 Call number: 681.32 COD. Place hold Log in to add tags
			Logical Approach to Discrete Math by Gries, David \| Schneider, Fred B. Series: Texts and Monographs in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:51 GRI. Place hold Log in to add tags
			Linear Programming by Karloff, Howard. Series: Progress in Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:12 Call number: 519.852 KAR. Place hold Log in to add tags
			Mathematical Foundations of Programming Semantics 9th International conference New Orleans, LA, USA, April 93 by Brookes, S \| Main, M., Schmidt, D \| Melton, A., Mislove, M. Series: Lecture notes in computer science ; 00802Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Decade of Concurrency - Reflections and Perspectives REX School/Symposium Noordwijkerhout, The Netherlands,June93 by de Bakker, J W \| de Roever, W.P \| Rozenberg, G. Series: Lecture notes in computer science ; 00803Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Iteration Theories Equational Logic of Iterative Processes by Bloom, Stephen L \| Esik, Zoltan. Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BLO. Place hold Log in to add tags
			An introduction to Kolmogorov complexity and its applications by Li, Ming \| Vitanyi, Paul. Series: Texts and Monographs in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LI. Place hold Log in to add tags
			Computer Aided Verification Proceedings, 6th Int.Conf., California, 1994 by Dill, David L. Ed. Series: Lecture notes in computer science ; 00818Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Logical Foundations of Computer Science Proceedings, 3rd Int.Symp., Russia, 1994 by Nerode, A. Ed \| Matiyasevich, Yu V. Ed. Series: Lecture notes in computer science ; 00813Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Results and Trends in Theoretical Computer Science : Colloquium in honor of Arto Salomaa Graz, Austria, June 1994 by Karhumaki, J. Ed \| Maurer, H. Ed \| Rozenberg, Ed. Series: Lecture notes in computer science ; 00812Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Kolmogorov Complexity and Computational Complexity by Watanabe, Osamu. Ed. Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 WAT. Place hold Log in to add tags
			Introduction to the Theory of Complexity by Bovet, Daniel Pierre \| Crescenzi, Pierluigi. Series: Prentice Hall International Series in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: UK ; Prentice Hall ; 1994Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BOV. Place hold Log in to add tags
			FST TCS 1994:Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 1994, Proceedings by Thiagarajan, P S. Ed. Series: Lecture notes in computer science ; 880Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Germany ; Springer Verlag ; 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings, 3rd International Symposium, Lubeck, 1994 by Langmaack, H. Ed \| de Roever, W.-P. Ed \| Vytopil, J. Ed. Series: Lecture notes in computer science ; 00863Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and Computation, 4th International symposium, ISAAC'93, Hong Kong, December 1993 by Raghavan, P. Ed \| Balasubramanian, N.V., Ed \| Chin, F Y L. Ed. Series: Lecture notes in computer science ; 00762Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Evolutionary Computing AISB Workshop, Leeds, 1994 by Fogarty, Terence C. Ed. Series: Lecture notes in computer science ; 00865Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 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.