|
|
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by Grossi, Davide [editor.] | Roy, Olivier [editor.] | Huang, Huaxin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8196Source: 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): .
|
|
|
|
Cross disciplinary advances in quantum computing : [electronic resource] NSF sponsored research Conference on Representation Theory, Quantum Field Theory, Category Theory, and Quantum Information Theory, October 1-4, 2009, University of Texas at Tyler, Tyler, Texas / Kazem Mahdavi, Deborah Koslover, Leonard L. Brown, III, editors. by Conference on Representation Theory, Quantum Field Theory, Category Theory, and Quantum Information Theory (2009 : University of Texas at Tyler) | Mahdavi, Kazem | Koslover, Deborah | Brown, Leonard L, 1972-. Series: Contemporary mathematics (American Mathematical Society) ; v. 536.Material 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): .
|
|
|
|
Symmetries and related topics in differential and difference equations : [electronic resource] Jairo Charris Seminar 2009, Symmetries of Differential and Difference Equations, Escuela de Matem�aticas, Universidad Sergio Arboleda, Bogot�a, Colombia / David Bl�azquez-Sanz, Juan J. Morales-Ruiz, Jes�us Rodr�iguez Lombardero, editors. by Jairo Charris Seminar (2009 : Universidad Sergio Arboleda) | Charris Casta�neda, Jairo A | Bl�azquez-Sanz, David, 1980- | Morales Ruiz, Juan J. (Juan Jos�e), 1953- | Lombardero, Jes�us Rodr�iguez, 1961- | American Mathematical Society | Universidad Sergio Arboleda. Instituto de Matem�aticas y sus Aplicaciones. Series: Contemporary mathematics ; v. 549Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : [Bogot�a, Colombia] : American Mathematical Society ; Instituto de Matem�aticas y sus Aplicaciones, c2011Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Multi-scale and high-contrast PDE : [electronic resource] from modelling, to mathematical analysis, to inversion : Conference on Multi-scale and High-contrast PDE:from Modelling, to Mathematical Analysis, to Inversion, June 28-July 1, 2011, University of Oxford, United Kingdom / Habib Ammari, Yves Capdeboscq, Hyeonbae Kang, editors. by Conference on Multi-scale and High-contrast PDE: from Modelling, to Mathematical Analysis, to Inversion (2011 Oxford, England) | Ammari, Habib | Capdeboscq, Yves, 1971- | Kang, Hyeonbae. Series: Contemporary mathematics ; v. 577Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2010Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Recent advances in real complexity and computation : [electronic resource] UIMP-RSME Lluis A. Santal�o Summer School 2012, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Men�endez Pelayo, Santander, Spain / Jose Luis Monta�na, Luis M. Pardo, editors. by UIMP-RSME Lluis Santal�o Summer (2012 : Santander, Spain) | Monta�na, Jose Luis, 1961- [editor of compilation.] | Pardo, L. M. (Luis M.) [editor of compilation.]. Series: Contemporary mathematics ; v. 604Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : [Madrid] : American Mathematical Society ; Real Sociedad Matematica Espa�nola, [2013]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Ring theory and its applications : [electronic resource] Ring Theory Session in honor of T.Y. Lam on his 70th birthday at the 31st Ohio State-Denison Mathematics Conference, May 25-27, 2012, The Ohio State University, Columbus, OH / Dinh Van Huynh, S.K. Jain, Sergio R. Lopez-Permouth, S. Tariq Rizvi, Cosmin S. Roman, editors. by Ring Theory Session (2012 : Columbus, Ohio) | Lam, T. Y. (Tsit-Yuen), 1942- [honouree.] | Huynh, Dinh Van, 1947- [editor of compilation.] | Ohio State-Denison Mathematics Conference (2012 : Columbus, Ohio). Series: Contemporary mathematics ; v. 609Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical foundations of information flow : [electronic resource] Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors. by Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation (2008 : New Orleans, La.) | Clifford, A. H. (Alfred Hoblitzelle), 1908- | Abramsky, Samson, 1953- | Mislove, Michael W | Tulane University. Department of Mathematics. Series: Proceedings of symposia in applied mathematics ; v. 71Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2012Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
MATHEON – Mathematics for Key Technologies [electronic resource] / Peter Deuflhard, Martin Grötschel, Dietmar Hömberg, Ulrich Horst, Jürg Kramer, Volker Mehrmann, Konrad Polthier, Frank Schmidt, Christof Schütte, Martin Skutella, Jürgen Sprekels by Deuflhard, Peter [author.] | Deuflhard, Peter [author.] | Grötschel, Martin [author.] | Hömberg, Dietmar [author.] | Horst, Ulrich [author.] | Kramer, Jürg [author.] | Mehrmann, Volker [author.] | Polthier, Konrad [author.] | Schmidt, Frank [author.] | Schütte, Christof [author.] | Skutella, Martin [author.] | Sprekels, Jürgen [author.]. Series: EMS Series in Industrial and Applied Mathematics (ESIAM) ; 1Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2014Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Correct System Design [electronic resource] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. by Meyer, Roland [editor.] | Platzer, André [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9360 | Lecture Notes in Computer Science ; 9360Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / edited by Phillip James, Markus Roggenbach. by James, Phillip [editor.] | Roggenbach, Markus [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10644 | Lecture Notes in Computer Science ; 10644Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings / edited by Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada. by Baltag, Alexandru [editor.] | Seligman, Jeremy [editor.] | Yamada, Tomoyuki [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10455 | Lecture Notes in Computer Science ; 10455Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. by van der Hoek, Wiebe [editor.] | Holliday, Wesley H [editor.] | Wang, Wen-fang [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9394 | Lecture Notes in Computer Science ; 9394Edition: 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): .
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Codescu, Mihai [editor.] | Diaconescu, Răzvan [editor.] | Țuțu, Ionuț [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9463 | Lecture Notes in Computer Science ; 9463Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Handbook of Model Checking by Clarke, Edmund M | Bloem, Roderick | Henzinger, Thomas A | Veith, Helmut. Edition: 1st ed. 2018.Material type: Text;Language: English; Literary form:
Not fiction
Language: English Publication details: Switzerland Springer Nature 2018Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CLA.
|