|
|
|
|
Mathematical Aspects of Computer and Information Sciences [electronic resource] : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers / edited by Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap. by Kotsireas, Ilias S [editor.] | Rump, Siegfried M [editor.] | Yap, Chee K [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9582 | Lecture Notes in Computer Science ; 9582Edition: 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): .
|
|
|
|
|
Algorithms and Data Structures [electronic resource] : 15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings / edited by Faith Ellen, Antonina Kolokolova, Jörg-Rüdiger Sack. by Ellen, Faith [editor.] | Kolokolova, Antonina [editor.] | Sack, Jörg-Rüdiger [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10389 | Lecture Notes in Computer Science ; 10389Edition: 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): .
|
|
|
|
|
Simulated Evolution and Learning [electronic resource] : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings / edited by Yuhui Shi, Kay Chen Tan, Mengjie Zhang, Ke Tang, Xiaodong Li, Qingfu Zhang, Ying Tan, Martin Middendorf, Yaochu Jin. by Shi, Yuhui [editor.] | Tan, Kay Chen [editor.] | Zhang, Mengjie [editor.] | Tang, Ke [editor.] | Li, Xiaodong [editor.] | Zhang, Qingfu [editor.] | Tan, Ying [editor.] | Middendorf, Martin [editor.] | Jin, Yaochu [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10593 | Lecture Notes in Computer Science ; 10593Edition: 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): .
|
|
|
|
|
Bioinspired Computation in Artificial Systems [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Fco. Javier Toledo-Moreo, Hojjat Adeli. by Ferrández Vicente, José Manuel [editor.] | Álvarez-Sánchez, José Ramón [editor.] | de la Paz López, Félix [editor.] | Toledo-Moreo, Fco. Javier [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9108 | Lecture Notes in Computer Science ; 9108Edition: 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): .
|
|
|
|
|
Combinatorial Pattern Matching [electronic resource] : 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings / edited by Ferdinando Cicalese, Ely Porat, Ugo Vaccaro. by Cicalese, Ferdinando [editor.] | Porat, Ely [editor.] | Vaccaro, Ugo [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9133 | Lecture Notes in Computer Science ; 9133Edition: 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): .
|
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers / edited by Shantanu Das, Sebastien Tixeuil. by Das, Shantanu [editor.] | Tixeuil, Sebastien [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10641 | Lecture Notes in Computer Science ; 10641Edition: 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): .
|
|
|
|
|
Computational Science and Its Applications – ICCSA 2017 [electronic resource] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea. by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Borruso, Giuseppe [editor.] | Torre, Carmelo M [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Cuzzocrea, Alfredo [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10407 | Lecture Notes in Computer Science ; 10407Edition: 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 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): .
|
|
|
|
|
Combinatorial Algorithms [electronic resource] : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / edited by Zsuzsanna Lipták, William F. Smyth. by Lipták, Zsuzsanna [editor.] | Smyth, William F [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9538 | Lecture Notes in Computer Science ; 9538Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10490 | Lecture Notes in Computer Science ; 10490Edition: 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): .
|
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II / edited by António Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello. by Gaspar-Cunha, António [editor.] | Henggeler Antunes, Carlos [editor.] | Coello, Carlos Coello [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9019 | Lecture Notes in Computer Science ; 9019Edition: 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): .
|
|
|
|
|
High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima. by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8969 | Lecture Notes in Computer Science ; 8969Edition: 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): .
|
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan. by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8979 | Lecture Notes in Computer Science ; 8979Edition: 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): .
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
Computer Science -- Theory and Applications [electronic resource] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / edited by Lev D. Beklemishev, Daniil V. Musatov. by Beklemishev, Lev D [editor.] | Musatov, Daniil V [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9139 | Lecture Notes in Computer Science ; 9139Edition: 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): .
|
|
|
|
|
|
