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

			No cover image available Introduction to mathematical logic and type theory To truth through proof by Andrews, Peter B. Series: Computer science adn applied mathematicsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Orlando ; Academic Press ; 1986Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 46 Call number: 510.6 AND. Place hold Log in to add tags
			No cover image available Combinators and functional programming languages,proceedings,1985 by Cousineau, G., Ed. Series: Lecture notes in computer science ; 00242Material type: Text;Language: ; Format: print Availability: 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
			On the shape of the mathematical arguments by Van Gasteren, A J M. Series: Lecture notes in computer science ; 00445Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:48 Shelf No:11 Call number: 681 LNCS. Place hold Log in to add tags
			Universal Algebra for Computer Scientists by Wechler, Wolfgang. Series: EATCS Monographs on Theoretical Computer Science, Vol.25Material 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: 50, Shelf No: 2 Call number: 681.3.06 WEC. Place hold Log in to add tags
			First-Order Programming Theories by Gergely, Tamas \| Ury, Laszlo. Series: EATCS Monographs on Theoretical Computer Science, v.24Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 36 Call number: 681.3.06 GER. Place hold Log in to add tags
			Mathematical foundations of parallel computing by Voevodin, Valentin V. Series: World Scientific Series in Computer Science,vol.33Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 VOE. Place hold Log in to add tags
			Principles of Mathematical Modeling by Dym, Clive L \| Ivey, Elizabeth S. Series: Computer science and applied mathematicsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New York Academic Press 1980Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 15 Call number: 51 DYM. Place hold Log in to add tags
			Updating logical databases by Winslett, Marianne. Series: Cambridge tracts in theoretical computer scienceMaterial 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: 50, Shelf No: 2 Call number: 681.3.06 WIN. Place hold Log in to add tags
			Iterative solutions of nonlinear equations in several variables by Ortega,J M \| Rheinboldt,W C. Series: Computer Science and Applied MathematicsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Academic press ; 1970Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 6 Call number: 517.965 ORT. Place hold Log in to add tags
			Algorithms in Combinatorial Geometry by Edelsbrunner, Herbert. Series: EATCS Monographs on Theoretical Computer Science,10Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 39 Call number: 519.1:514 EDE. Place hold Log in to add tags
			No cover image available Numerical methods and computers by Kuo, S.S. Series: Addison-Wesley series in computer science and information processingMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Massachusetts ; Addison Wesley ; 1965Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:1 Call number: 519.6 KUO. Place hold Log in to add tags
			No cover image available Concur 91 by Baeten. Series: Lecture notes in computer science ; 00527Material type: Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			Data structures and algorithms 1 sorting and searching by Mehlhorn, Kurt. Series: EATCS monographs on theoretical computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 44 Call number: 681.3.06 MEH. Place hold Log in to add tags
			Handbook of algorithms and data structures by Gonnet, G. H. Series: International computer science seriesMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Addison-Wesley Publishing Company ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 20, Shelf No: 12 Call number: 681.3(02) GON. Place hold Log in to add tags
			No cover image available Asymptotics and special functions by Olver, F.W.J. Series: Computer science and applied mathematicsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 1974; Academic Press Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 33, Shelf No: 12 Call number: 517.58 OLV. Place hold Log in to add tags
			Art gallery theorems and algorithms by O'Rourke, Joseph. Series: International series of monographs on computer science,3Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Oxford university press ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 13 Call number: 681.3 ORO. Place hold Log in to add tags
			Verification of sequential and concurrent programs by Apt, Krzysztof R \| Olderog, Ernst-Rudiger. Series: Texts and Monographs in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 32 Call number: 681.3.06 APT. Place hold Log in to add tags
			Design and analysis of algorithms by Kozen, Dexter C. Series: Texts and Monographs in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Newyork ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KOZ. Place hold Log in to add tags
			Introduction to numerical methods with pascal by Atkinson, L.V \| Harley, P. J. Series: International computer science seriesMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Addison-Wesley Publishing Company ; 1983Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 32 Call number: 681.3.06 ATK. Place hold Log in to add tags
			Algorithm Theory - SWAT '92, Third Scandinavian workshop on algorithm theory, Helsinki, Finland, July 1992, proceedings by Nurmi, O. Ed \| Ukkonen, E. Ed. Series: Lecture notes in computer science ; 00621Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; SV ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 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.