|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro. by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9675 | Lecture Notes in Computer Science ; 9675Edition: 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): .
|
|
|
|
|
Adaptive Resource Management and Scheduling for Cloud Computing [electronic resource] : Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers / edited by Florin Pop, Maria Potop-Butucaru. by Pop, Florin [editor.] | Potop-Butucaru, Maria [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9438 | Lecture Notes in Computer Science ; 9438Edition: 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): .
|
|
|
|
|
Advanced Parallel Processing Technologies [electronic resource] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / edited by Yunji Chen, Paolo Ienne, Qing Ji. by Chen, Yunji [editor.] | Ienne, Paolo [editor.] | Ji, Qing [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9231 | Lecture Notes in Computer Science ; 9231Edition: 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): .
|
|
|
|
|
Advanced Parallel Processing Technologies [electronic resource] : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings / edited by Yong Dou, Haixiang Lin, Guangyu Sun, Junjie Wu, Dora Heras, Luc Bougé. by Dou, Yong [editor.] | Lin, Haixiang [editor.] | Sun, Guangyu [editor.] | Wu, Junjie [editor.] | Heras, Dora [editor.] | Bougé, Luc [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10561 | Lecture Notes in Computer Science ; 10561Edition: 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 Computational Intelligence [electronic resource] : 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part I / edited by Ignacio Rojas, Gonzalo Joya, Andreu Catala. by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Catala, Andreu [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9094 | Lecture Notes in Computer Science ; 9094Edition: 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): .
|
|
|
|
|
Advances in Computational Intelligence [electronic resource] : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I / edited by Ignacio Rojas, Gonzalo Joya, Andreu Catala. by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Catala, Andreu [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10305 | Lecture Notes in Computer Science ; 10305Edition: 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 Computational Intelligence [electronic resource] : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Andreu Catala. by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Catala, Andreu [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10306 | Lecture Notes in Computer Science ; 10306Edition: 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 Computational Intelligence [electronic resource] : 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Andreu Catala. by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Catala, Andreu [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9095 | Lecture Notes in Computer Science ; 9095Edition: 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): .
|
|
|
|
|
Advances in Computer Games [electronic resource] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / edited by Aske Plaat, Jaap van den Herik, Walter Kosters. by Plaat, Aske [editor.] | van den Herik, Jaap [editor.] | Kosters, Walter [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9525 | Lecture Notes in Computer Science ; 9525Edition: 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): .
|
|
|
|
|
Advances in Computer Games [electronic resource] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters. by Winands, Mark H.M [editor.] | van den Herik, H. Jaap [editor.] | Kosters, Walter A [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10664 | Lecture Notes in Computer Science ; 10664Edition: 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 2015 [electronic resource] : 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings / edited by Xiaolin Hu, Yousheng Xia, Yunong Zhang, Dongbin Zhao. by Hu, Xiaolin [editor.] | Xia, Yousheng [editor.] | Zhang, Yunong [editor.] | Zhao, Dongbin [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9377 | Lecture Notes in Computer Science ; 9377Edition: 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): .
|
|
|
|
|
Advances in Neural Networks – ISNN 2016 [electronic resource] : 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings / edited by Long Cheng, Qingshan Liu, Andrey Ronzhin. by Cheng, Long [editor.] | Liu, Qingshan [editor.] | Ronzhin, Andrey [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9719 | Lecture Notes in Computer Science ; 9719Edition: 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 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): .
|
|
|
|
|
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 II / 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 ; 10262 | Lecture Notes in Computer Science ; 10262Edition: 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 Swarm and Computational Intelligence [electronic resource] : 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Fernando Buarque, Alexander Gelbukh, Swagatam Das, Andries Engelbrecht. by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Buarque, Fernando [editor.] | Gelbukh, Alexander [editor.] | Das, Swagatam [editor.] | Engelbrecht, Andries [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9140 | Lecture Notes in Computer Science ; 9140Edition: 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): .
|
|
|
|
|
Advances in Swarm and Computational Intelligence [electronic resource] : 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III / edited by Ying Tan, Yuhui Shi, Fernando Buarque, Alexander Gelbukh, Swagatam Das, Andries Engelbrecht. by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Buarque, Fernando [editor.] | Gelbukh, Alexander [editor.] | Das, Swagatam [editor.] | Engelbrecht, Andries [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9142 | Lecture Notes in Computer Science ; 9142Edition: 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): .
|
|
|
|
|
Advances in Swarm and Computational Intelligence [electronic resource] : 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Fernando Buarque, Alexander Gelbukh, Swagatam Das, Andries Engelbrecht. by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Buarque, Fernando [editor.] | Gelbukh, Alexander [editor.] | Das, Swagatam [editor.] | Engelbrecht, Andries [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9141 | Lecture Notes in Computer Science ; 9141Edition: 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): .
|
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part II / edited by Ying Tan, Hideyuki Takagi, Yuhui Shi, Ben Niu. by Tan, Ying [editor.] | Takagi, Hideyuki [editor.] | Shi, Yuhui [editor.] | Niu, Ben [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10386 | Lecture Notes in Computer Science ; 10386Edition: 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 Swarm Intelligence [electronic resource] : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Li Li. by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Li, Li [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9713 | Lecture Notes in Computer Science ; 9713Edition: 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] : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Ben Niu. by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Niu, Ben [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9712 | Lecture Notes in Computer Science ; 9712Edition: 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): .
|
