|
|
|
Numbers, Sets and Axioms : The Apparatus of Mathematics (PB) by Hamilton, A. G. ;Language: English Language: English Publication details: Cambridge Cambridge University Press 1982Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 42 Call number: 510 HAM.
|
|
|
|
|
|
|
|
|
|
|
|
Topology An Invitation by Parthasarathy, K. Series: Unitext ; 134;Language: English Language: English Publication details: Singapore Springer 2022Availability: Items available for loan: IMSc Library (2). Location(s): First Floor Rack No:31 Shelf No:25 Call number: 515.1 PAR.
|
|
|
|
Topology An Invitation by Parthasarathy, K. Series: Unitext ; 134Edition: Indian Edition;Language: English Language: English Publication details: Singapore Springer 2024Availability: Items available for loan: IMSc Library (2). Location(s): Multiple Copies Section Call number: 515.1 PAR.
|
|
|
|
|
|
|
|
|
|
|
|
Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici. by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 713Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing. by Hölldobler, Steffen [editor.] | Lutz, Carsten [editor.] | Wansing, Heinrich [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5293Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
CONCUR 2009 - Concurrency Theory [electronic resource] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / edited by Mario Bravetti, Gianluigi Zavattaro. by Bravetti, Mario [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5710Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Seminar on Concurrency [electronic resource] : Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984 / edited by Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel. by Brookes, Stephen D [editor.] | Roscoe, Andrew William [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 197Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automata, Languages and Programming [electronic resource] : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings / edited by Peter Widmayer, Stephan Eidenbenz, Francisco Triguero, Rafael Morales, Ricardo Conejo, Matthew Hennessy. by Widmayer, Peter [editor.] | Eidenbenz, Stephan [editor.] | Triguero, Francisco [editor.] | Morales, Rafael [editor.] | Conejo, Ricardo [editor.] | Hennessy, Matthew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2380Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings / edited by Kim G. Larsen, Sven Skyum, Glynn Winskel. by Larsen, Kim G [editor.] | Skyum, Sven [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1443Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8123Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
K-Theory and Noncommutative Geometry [electronic resource] / Guillermo Cortiñas, Joachim Cuntz, Max Karoubi, Ryszard Nest, Charles A. Weibel by Cortiñas, Guillermo [editor.] | Cuntz, Joachim [editor.] | Karoubi, Max [editor.] | Nest, Ryszard [editor.] | Weibel, Charles A [editor.]. Series: EMS Series of Congress Reports (ECR)Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2008Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Differential geometry : [electronic resource] [proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Stanford University, Stanford, California, July 30-August 17, 1973 / edited by S. S. Chern and R. Osserman]. by Symposium in Pure Mathematics Stanford University, 1973 | Chern, Shiing-Shen, 1911- | Osserman, Robert | American Mathematical Society. Series: Proceedings of symposia in pure mathematics ; v. 27.1Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 1975Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
The Semantic Web - ISWC 2003 [electronic resource] : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003. Proceedings / edited by Dieter Fensel, Katia Sycara, John Mylopoulos. by Fensel, Dieter [editor.] | Sycara, Katia [editor.] | Mylopoulos, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2870Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|