|
|
|
|
Introduction to Arithmetic Groups by Borel, Armand. Series: University Lecture Series ; 73;Language: English Language: Eng Publication details: Providency American Mathematical Society (AMS) 2019Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 4 Call number: 51 BOR.
|
|
|
|
|
Random matrices by Borodin, Alexei | Borodin, Alexei | Corwin, Ivan | Guionnet, Alice. Series: IAS/Park City mathematics series ; 26Material type:  Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Providency American Mathematical Society 2019Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:35 Shelf No:33 Call number: 519.216 BOR.
|
|
|
|
|
|
|
|
|
|
Algorithms and Computation [electronic resource] : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings / edited by Khaled Elbassioni, Kazuhisa Makino. by Elbassioni, Khaled [editor.] | Makino, Kazuhisa [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9472 | Lecture Notes in Computer Science ; 9472Edition: 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): .
|
|
|
|
|
Advances in Information and Computer Security [electronic resource] : 11th International Workshop on Security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, Proceedings / edited by Kazuto Ogawa, Katsunari Yoshioka. by Ogawa, Kazuto [editor.] | Yoshioka, Katsunari [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9836 | Lecture Notes in Computer Science ; 9836Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Information and Computer Security [electronic resource] : 10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015, Proceedings / edited by Keisuke Tanaka, Yuji Suga. by Tanaka, Keisuke [editor.] | Suga, Yuji [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9241 | Lecture Notes in Computer Science ; 9241Edition: 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): .
|
|
|
|
|
Internet of Vehicles. Technologies and Services for Smart Cities [electronic resource] : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings / edited by Sheng-Lung Peng, Guan-Ling Lee, Reinhard Klette, Ching-Hsien Hsu. by Peng, Sheng-Lung [editor.] | Lee, Guan-Ling [editor.] | Klette, Reinhard [editor.] | Hsu, Ching-Hsien [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10689 | Lecture Notes in Computer Science ; 10689Edition: 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): .
|
|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 14th International Conference, MDAI 2017, Kitakyushu, Japan, October 18-20, 2017, Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Aoi Honda, Sozo Inoue. by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | Honda, Aoi [editor.] | Inoue, Sozo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10571 | Lecture Notes in Computer Science ; 10571Edition: 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): .
|
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers / edited by Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo. by Isokawa, Teijiro [editor.] | Imai, Katsunobu [editor.] | Matsui, Nobuyuki [editor.] | Peper, Ferdinand [editor.] | Umeo, Hiroshi [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8996 | Lecture Notes in Computer Science ; 8996Edition: 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): .
|
|
|
|
|
Human Behavior Understanding [electronic resource] : 6th International Workshop, HBU 2015, Osaka, Japan, September 8, 2015, Proceedings / edited by Albert Ali Salah, Ben J.A. Kröse, Diane J. Cook. by Salah, Albert Ali [editor.] | Kröse, Ben J.A [editor.] | Cook, Diane J [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9277 | Lecture Notes in Computer Science ; 9277Edition: 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): .
|
|
|
|
|
Security Standardisation Research [electronic resource] : Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings / edited by Liqun Chen, Shin'ichiro Matsuo. by Chen, Liqun [editor.] | Matsuo, Shin'ichiro [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9497 | Lecture Notes in Computer Science ; 9497Edition: 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): .
|
|
|
|
|
Digital-Forensics and Watermarking [electronic resource] : 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers / edited by Yun-Qing Shi, Hyoung Joong Kim, Fernando Pérez-González, Isao Echizen. by Shi, Yun-Qing [editor.] | Kim, Hyoung Joong [editor.] | Pérez-González, Fernando [editor.] | Echizen, Isao [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9569 | Lecture Notes in Computer Science ; 9569Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled. by Artho, Cyrille [editor.] | Legay, Axel [editor.] | Peled, Doron [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9938 | Lecture Notes in Computer Science ; 9938Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Conceptual Modeling [electronic resource] : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings / edited by Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, Motoshi Saeki. by Comyn-Wattiau, Isabelle [editor.] | Tanaka, Katsumi [editor.] | Song, Il-Yeol [editor.] | Yamamoto, Shuichiro [editor.] | Saeki, Motoshi [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9974 | Lecture Notes in Computer Science ; 9974Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Information and Database Systems [electronic resource] : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3–5, 2017, Proceedings, Part II / edited by Ngoc Thanh Nguyen, Satoshi Tojo, Le Minh Nguyen, Bogdan Trawiński. by Nguyen, Ngoc Thanh [editor.] | Tojo, Satoshi [editor.] | Nguyen, Le Minh [editor.] | Trawiński, Bogdan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10192 | Lecture Notes in Computer Science ; 10192Edition: 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): .
|
|
|
|
|
Advances in Information and Computer Security [electronic resource] : 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017, Proceedings / edited by Satoshi Obana, Koji Chida. by Obana, Satoshi [editor.] | Chida, Koji [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10418 | Lecture Notes in Computer Science ; 10418Edition: 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): .
|
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers / edited by Setsuya Kurahashi, Yuiko Ohta, Sachiyo Arai, Ken Satoh, Daisuke Bekki. by Kurahashi, Setsuya [editor.] | Ohta, Yuiko [editor.] | Arai, Sachiyo [editor.] | Satoh, Ken [editor.] | Bekki, Daisuke [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10247 | Lecture Notes in Computer Science ; 10247Edition: 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): .
|
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu. by Ogata, Kazuhiro [editor.] | Lawford, Mark [editor.] | Liu, Shaoying [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10009 | Lecture Notes in Computer Science ; 10009Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Databases in Networked Information Systems [electronic resource] : 10th International Workshop, DNIS 2015, Aizu, Japan, March 23-25, 2015, Proceedings / edited by Wanming Chu, Shinji Kikuchi, Subhash Bhalla. by Chu, Wanming [editor.] | Kikuchi, Shinji [editor.] | Bhalla, Subhash [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8999 | Lecture Notes in Computer Science ; 8999Edition: 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): .
|
|
|
|
|
Digital Libraries: Knowledge, Information, and Data in an Open Access Society [electronic resource] : 18th International Conference on Asia-Pacific Digital Libraries, ICADL 2016, Tsukuba, Japan, December 7–9, 2016, Proceedings / edited by Atsuyuki Morishima, Andreas Rauber, Chern Li Liew. by Morishima, Atsuyuki [editor.] | Rauber, Andreas [editor.] | Liew, Chern Li [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10075 | Lecture Notes in Computer Science ; 10075Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
