|
|
|
|
Numerical Software Verification [electronic resource] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / edited by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar. by Bogomolov, Sergiy [editor.] | Martel, Matthieu [editor.] | Prabhakar, Pavithra [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10152 | Lecture Notes in Computer Science ; 10152Edition: 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): .
|
|
|
|
|
Numerical Methods and Applications [electronic resource] : 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers / edited by Ivan Dimov, Stefka Fidanova, Ivan Lirkov. by Dimov, Ivan [editor.] | Fidanova, Stefka [editor.] | Lirkov, Ivan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8962 | Lecture Notes in Computer Science ; 8962Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV / edited by Sabri Arik, Tingwen Huang, Weng Kin Lai, Qingshan Liu. by Arik, Sabri [editor.] | Huang, Tingwen [editor.] | Lai, Weng Kin [editor.] | Liu, Qingshan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9492 | Lecture Notes in Computer Science ; 9492Edition: 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): .
|
|
|
|
|
Computational Logistics [electronic resource] : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings / edited by Tolga Bektaş, Stefano Coniglio, Antonio Martinez-Sykora, Stefan Voß. by Bektaş, Tolga [editor.] | Coniglio, Stefano [editor.] | Martinez-Sykora, Antonio [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10572 | Lecture Notes in Computer Science ; 10572Edition: 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): .
|
|
|
|
|
Algorithms and Data Structures [electronic resource] : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Ulrike Stege. by Dehne, Frank [editor.] | Sack, Jörg-Rüdiger [editor.] | Stege, Ulrike [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9214 | Lecture Notes in Computer Science ; 9214Edition: 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): .
|
|
|
|
|
Biomedical Applications Based on Natural and Artificial Computing [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, 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, Javier [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10338 | Lecture Notes in Computer Science ; 10338Edition: 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): .
|
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II / edited by Giovanni Squillero, Paolo Burelli. by Squillero, Giovanni [editor.] | Burelli, Paolo [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9598 | Lecture Notes in Computer Science ; 9598Edition: 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): .
|
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira. by de Paiva, Valeria [editor.] | de Queiroz, Ruy [editor.] | Moss, Lawrence S [editor.] | Leivant, Daniel [editor.] | de Oliveira, Anjolina G [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9160 | Lecture Notes in Computer Science ; 9160Edition: 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): .
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / edited by Axel Legay, Tiziana Margaria. by Legay, Axel [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10205 | Lecture Notes in Computer Science ; 10205Edition: 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): .
|
|
|
|
|
Green, Pervasive, and Cloud Computing [electronic resource] : 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings / edited by Xinyi Huang, Yang Xiang, Kuan-Ching Li. by Huang, Xinyi [editor.] | Xiang, Yang [editor.] | Li, Kuan-Ching [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9663 | Lecture Notes in Computer Science ; 9663Edition: 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): .
|
|
|
|
|
Natural and Artificial Computation for Biomedicine and Neuroscience [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, 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, Javier [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10337 | Lecture Notes in Computer Science ; 10337Edition: 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): .
|
|
|
|
|
Hybrid Metaheuristics [electronic resource] : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings / edited by Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, Alessandro Di Nuovo, Mario Pavone, El-Ghazali Talbi. by Blesa, Maria J [editor.] | Blum, Christian [editor.] | Cangelosi, Angelo [editor.] | Cutello, Vincenzo [editor.] | Di Nuovo, Alessandro [editor.] | Pavone, Mario [editor.] | Talbi, El-Ghazali [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9668 | Lecture Notes in Computer Science ; 9668Edition: 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): .
|
|
|
|
|
Quantum Interaction [electronic resource] : 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers / edited by Harald Atmanspacher, Claudia Bergomi, Thomas Filk, Kirsty Kitto. by Atmanspacher, Harald [editor.] | Bergomi, Claudia [editor.] | Filk, Thomas [editor.] | Kitto, Kirsty [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8951 | Lecture Notes in Computer Science ; 8951Edition: 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): .
|
|
|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / edited by Giovanni Pighizzini, Cezar Câmpeanu. by Pighizzini, Giovanni [editor.] | Câmpeanu, Cezar [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10316 | Lecture Notes in Computer Science ; 10316Edition: 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): .
|
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers / edited by Narayan Desai, Walfredo Cirne. by Desai, Narayan [editor.] | Cirne, Walfredo [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10353 | Lecture Notes in Computer Science ; 10353Edition: 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): .
|
|
|
|
|
Discrete and Computational Geometry and Graphs [electronic resource] : 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers / edited by Jin Akiyama, Hiro Ito, Toshinori Sakai, Yushi Uno. by Akiyama, Jin [editor.] | Ito, Hiro [editor.] | Sakai, Toshinori [editor.] | Uno, Yushi [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9943 | Lecture Notes in Computer Science ; 9943Edition: 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): .
|
|
|
|
|
Scientific Computing, Computer Arithmetic, and Validated Numerics [electronic resource] : 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers / edited by Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker. by Nehmeier, Marco [editor.] | Wolff von Gudenberg, Jürgen [editor.] | Tucker, Warwick [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9553 | Lecture Notes in Computer Science ; 9553Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Colin Johnson, Adrian Carballal, João Correia. by Johnson, Colin [editor.] | Carballal, Adrian [editor.] | Correia, João [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9027 | Lecture Notes in Computer Science ; 9027Edition: 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): .
|
