|
|
|
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): .
|
|
|
|
Provable Security [electronic resource] : 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings / edited by Man-Ho Au, Atsuko Miyaji. by Au, Man-Ho [editor.] | Miyaji, Atsuko [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9451 | Lecture Notes in Computer Science ; 9451Edition: 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): .
|
|
|
|
Cultural Robotics [electronic resource] : First International Workshop, CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers / edited by Jeffrey T.K.V. Koh, Belinda J. Dunstan, David Silvera-Tawil, Mari Velonaki. by Koh, Jeffrey T.K.V [editor.] | Dunstan, Belinda J [editor.] | Silvera-Tawil, David [editor.] | Velonaki, Mari [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9549 | Lecture Notes in Computer Science ; 9549Edition: 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): .
|
|
|
|
OpenMP: Memory, Devices, and Tasks [electronic resource] : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings / edited by Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib. by Maruyama, Naoya [editor.] | de Supinski, Bronis R [editor.] | Wahib, Mohamed [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9903 | Lecture Notes in Computer Science ; 9903Edition: 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): .
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings / edited by Herbert Bos, Fabian Monrose, Gregory Blanc. by Bos, Herbert [editor.] | Monrose, Fabian [editor.] | Blanc, Gregory [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9404 | Lecture Notes in Computer Science ; 9404Edition: 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): .
|
|
|
|
Discovery Science [electronic resource] : 20th International Conference, DS 2017, Kyoto, Japan, October 15–17, 2017, Proceedings / edited by Akihiro Yamamoto, Takuya Kida, Takeaki Uno, Tetsuji Kuboyama. by Yamamoto, Akihiro [editor.] | Kida, Takuya [editor.] | Uno, Takeaki [editor.] | Kuboyama, Tetsuji [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10558 | Lecture Notes in Computer Science ; 10558Edition: 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): .
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part II / edited by Naoyuki Kubota, Kazuo Kiguchi, Honghai Liu, Takenori Obo. by Kubota, Naoyuki [editor.] | Kiguchi, Kazuo [editor.] | Liu, Honghai [editor.] | Obo, Takenori [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9835 | Lecture Notes in Computer Science ; 9835Edition: 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): .
|
|
|
|
Neural Information Processing [electronic resource] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part III / edited by Akira Hirose, Seiichi Ozawa, Kenji Doya, Kazushi Ikeda, Minho Lee, Derong Liu. by Hirose, Akira [editor.] | Ozawa, Seiichi [editor.] | Doya, Kenji [editor.] | Ikeda, Kazushi [editor.] | Lee, Minho [editor.] | Liu, Derong [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9949 | Lecture Notes in Computer Science ; 9949Edition: 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): .
|
|
|
|
|
|
|
|
Neural Information Processing [electronic resource] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part II / edited by Akira Hirose, Seiichi Ozawa, Kenji Doya, Kazushi Ikeda, Minho Lee, Derong Liu. by Hirose, Akira [editor.] | Ozawa, Seiichi [editor.] | Doya, Kenji [editor.] | Ikeda, Kazushi [editor.] | Lee, Minho [editor.] | Liu, Derong [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9948 | Lecture Notes in Computer Science ; 9948Edition: 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 Swarm Intelligence [electronic resource] : 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I / edited by Ying Tan, Hideyuki Takagi, Yuhui Shi. by Tan, Ying [editor.] | Takagi, Hideyuki [editor.] | Shi, Yuhui [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10385 | Lecture Notes in Computer Science ; 10385Edition: 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 Neural Networks - ISNN 2017 [electronic resource] : 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part I / edited by Fengyu Cong, Andrew Leung, Qinglai Wei. by Cong, Fengyu [editor.] | Leung, Andrew [editor.] | Wei, Qinglai [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10261 | Lecture Notes in Computer Science ; 10261Edition: 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): .
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya. by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | Tian, Cong [editor.] | Nagoya, Fumiko [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10189 | Lecture Notes in Computer Science ; 10189Edition: 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): .
|
|
|
|
Data Mining and Big Data [electronic resource] : Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings / edited by Ying Tan, Hideyuki Takagi, Yuhui Shi. by Tan, Ying [editor.] | Takagi, Hideyuki [editor.] | Shi, Yuhui [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10387 | Lecture Notes in Computer Science ; 10387Edition: 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): .
|
|
|
|
Collaboration and Technology [electronic resource] : 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings / edited by Takaya Yuizono, Hiroaki Ogata, Ulrich Hoppe, Julita Vassileva. by Yuizono, Takaya [editor.] | Ogata, Hiroaki [editor.] | Hoppe, Ulrich [editor.] | Vassileva, Julita [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9848 | Lecture Notes in Computer Science ; 9848Edition: 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): .
|
|
|
|
Functional and Logic Programming [electronic resource] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / edited by Oleg Kiselyov, Andy King. by Kiselyov, Oleg [editor.] | King, Andy [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9613 | Lecture Notes in Computer Science ; 9613Edition: 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): .
|
|
|
|
|
|
|
|
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): .
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / 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 ; 9135 | Lecture Notes in Computer Science ; 9135Edition: 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): .
|