|
|
|
|
Groups and model theory : [electronic resource] a conference in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg," Mulheim an der Ruhr, Germany / Lutz Strungmann ... [et al.], editors. by G�obel, R. (R�udiger), 1940- | Strungmann, Lutz, 1971-. Series: Contemporary mathematics ; v. 576Material type:  Text;Language: English; Format:
available online
festschrift
; 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): .
|
|
|
|
|
Automorphic forms and related geometry : [electronic resource] assessing the legecy of I.I. Piatetski-Shapiro : April 23-27, 2012, Yale University, New Haven, CT / James W. Cogdell, Freydoon Shahidi, David Soudry, editors. by Cogdell, James W, 1953- [editor of compilation.] | Shahidi, Freydoon [editor of compilation.] | Soudry, David, 1956- [editor of compilation.]. Series: Contemporary mathematics ; v. 614Material type: Text;Language: English; Format:
available online
festschrift
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafal [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9119 | Lecture Notes in Computer Science ; 9119Edition: 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): .
|
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafal [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9120 | Lecture Notes in Computer Science ; 9120Edition: 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): .
|
|
|
|
|
|
|
|
|
|
An Introduction to Non-Abelian Discrete Symmetries for Particle Physicists [electronic resource] / by Hajime Ishimori, Tatsuo Kobayashi, Hiroshi Ohki, Hiroshi Okada, Yusuke Shimizu, Morimitsu Tanimoto. by Ishimori, Hajime [author.] | Kobayashi, Tatsuo [author.] | Ohki, Hiroshi [author.] | Okada, Hiroshi [author.] | Shimizu, Yusuke [author.] | Tanimoto, Morimitsu [author.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 858Source: 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): .
|
|
|
|
|
Information Security and Cryptology – ICISC 2004 [electronic resource] : 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / edited by Choon-sik Park, Seongtaek Chee. by Park, Choon-sik [editor.] | Chee, Seongtaek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3506Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Discrete Mathematics and Theoretical Computer Science [electronic resource] : 4th International Conference, DMTCS 2003 Dijon, France, July 7–12, 2003 Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki. by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | Vajnovszki, Vincent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2731Source: 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): .
|
|
|
|
|
|
|
|
|
|
Intelligent Agents VIII [electronic resource] : Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers / edited by John-Jules Ch. Meyer, Milind Tambe. by Meyer, John-Jules Ch [editor.] | Tambe, Milind [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2333Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
VDM '90 VDM and Z — Formal Methods in Software Development [electronic resource] : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings / edited by D. Bjørner, C. A. R. Hoare, H. Langmaack. by Bjørner, D [editor.] | Hoare, C. A. R [editor.] | Langmaack, H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 428Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Knowledge Based Computer Systems [electronic resource] : International Conference KBCS '89 Bombay, India, December 11–13, 1989 Proceedings / edited by S. Ramani, R. Chandrasekar, K. S. R. Anjaneyulu. by Ramani, S [editor.] | Chandrasekar, R [editor.] | Anjaneyulu, K. S. R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 444Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
