|
|
|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9134 | Lecture Notes in Computer Science ; 9134Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013, Revised Selected Papers / edited by Andrew A. Adams, Michael Brenner, Matthew Smith. by Adams, Andrew A [editor.] | Brenner, Michael [editor.] | Smith, Matthew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7862Source: 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): .
|
|
|
|
|
|
|
|
Advances in Intelligent Data Analysis VIII [electronic resource] : 8th International Symposium on Intelligent Data Analysis, IDA 2009, Lyon, France, August 31 - September 2, 2009. Proceedings / edited by Niall M. Adams, Céline Robardet, Arno Siebes, Jean-François Boulicaut. by Adams, Niall M [editor.] | Robardet, Céline [editor.] | Siebes, Arno [editor.] | Boulicaut, Jean-François [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5772Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Mathematics of computation, 1943-1993 : [electronic resource] a half-century of computational mathematics : Mathematics of Computation 50th Anniversary Symposium, August 9-13, 1993, Vancouver, British Columbia / Walter Gautschi, editor. by Mathematics of Computation 50th Anniversary Symposium (1993 : Vancouver, B.C.) | Gautschi, Walter. Series: Proceedings of symposia in applied mathematics ; v. 48Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, c1994Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Representation theory and mathematical physics : [electronic resource] conference in honor of Gregg Zuckerman's 60th birthday, October 24--27, 2009, Yale University / Jeffrey Adams, Bong Lian, Siddhartha Sahi, editors. by Zuckerman, Gregg | Adams, Jeffrey | Lian, Bong, 1962- | Sahi, Siddhartha, 1958-. Series: Contemporary mathematics ; v. 557Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2011Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Sorbi, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4497Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|