|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger. by Chatterjee, Krishnendu [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6246Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Information Security Applications [electronic resource] : 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers / edited by Dong Hoon Lee, Moti Yung. by Lee, Dong Hoon [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7690Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
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): .
|
|
|
|
|
|
|
|
P-adic monodromy and the Birch and Swinnerton-Dyer conjecture : [electronic resource] a Workshop on p-adic Monodromy and the Birch and Swinnerton-Dyer Conjecture, August 12-16, 1991, Boston University / Barry Mazur, Glenn Stevens, editors. by Workshop on p-adic Monodromy and the Birch and Swinnerton-Dyer Conjecture (1991 : Boston University) | Mazur, Barry | Stevens, Glenn, 1953-. Series: Contemporary mathematics (American Mathematical Society) ; v. 165.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1994Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Domain decomposition methods in scientific and engineering computing : [electronic resource] proceedings of the Seventh International Conference on Domain Decomposition, October 27-30, 1993, the Pennsylvania State University / David E. Keyes, Jinchao Xu, editors. by International Conference on Domain Decomposition (7th : 1993 : Pennsylvania State University) | Keyes, David E | Xu, Jinchao, 1961-. Series: Contemporary mathematics (American Mathematical Society) ; v. 180.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1994Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Domain decomposition methods 10 : [electronic resource] the Tenth International Conference on Domain Decomposition Methods, August 10-14, 1997, Boulder, CO / Jan Mandel, Charbel Farhat, Xiao-Chuan Cai, editors. by International Conference on Domain Decomposition (10th : 1997 : Boulder, Colo.) | Mandel, Jan | Farhat, Charbel | Cai, Xiao-Chuan, 1962-. Series: Contemporary mathematics (American Mathematical Society) ; v. 218.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1998Other title: Domain decomposition methods ten.Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Finite fields : [electronic resource] theory, applications, and algorithms : Fourth International Conference on Finite Fields-- Theory, Applications, and Algorithms, August 12-15, 1997, University of Waterloo, Ontario, Canada / Ronald C. Mullin, Gary L. Mullen, editors. by International Conference on Finite Fields: Theory, Applications, and Algorithms (4th : 1997 : University of Waterloo) | Mullin, Ronald C. (Ronald Cleveland), 1936- | Mullen, Gary L. Series: Contemporary mathematics (American Mathematical Society) ; v. 225.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Quantum affine algebras, extended affine Lie algebras, and their applications : [electronic resource] Quantum Affine Algebras, Extended Affine Lie Algebras, and Applications, March 2-7, 2008, Banff International Research Station, Banff, Canada / Yun Gao ... [et al.], editors. by Workshop on Quantum Affine Lie Algebras, Extended Affine Lie algebras, and Applications (2008 : Banff International Research Station) | Gao, Yun, 1963-. Series: Contemporary mathematics (American Mathematical Society) ; v. 506.Material 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Complex geometry and Lie theory / [electronic resource] James A. Carlson, C. Herbert Clemens, David R. Morrison, editors. by Carlson, James A, 1946- | Clemens, C. Herbert (Charles Herbert), 1939- | Morrison, David R, 1955-. Series: Proceedings of symposia in pure mathematics ; v. 53Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1991Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Foundations of Garside Theory [electronic resource] / Patrick Dehornoy, François Digne, Eddy Godelle, Daan Krammer, Jean Michel by Dehornoy, Patrick [author.] | Dehornoy, Patrick [author.] | Digne, François [author.] | Godelle, Eddy [author.] | Krammer, Daan [author.] | Michel, Jean [author.]. Series: EMS Tracts in Mathematics (ETM) ; 22Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2015Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Arithmetic of Finite Fields [electronic resource] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / edited by Çetin Kaya Koç, Sihem Mesnager, Erkay Savaş. by Koç, Çetin Kaya [editor.] | Mesnager, Sihem [editor.] | Savaş, Erkay [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9061 | Lecture Notes in Computer Science ; 9061Edition: 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): .
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings / edited by Dieter Gollmann, Atsuko Miyaji, Hiroaki Kikuchi. by Gollmann, Dieter [editor.] | Miyaji, Atsuko [editor.] | Kikuchi, Hiroaki [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10355 | Lecture Notes in Computer Science ; 10355Edition: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings / edited by Jóse Júlio Alferes, João Leite. by Alferes, Jóse Júlio [editor.] | Leite, João [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3229Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|