|
|
|
|
Reachability Problems [electronic resource] : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings / edited by Matthew Hague, Igor Potapov. by Hague, Matthew [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10506 | Lecture Notes in Computer Science ; 10506Edition: 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): .
|
|
|
|
|
Logic and Its Applications [electronic resource] : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings / edited by Sujata Ghosh, Sanjiva Prasad. by Ghosh, Sujata [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10119 | Lecture Notes in Computer Science ; 10119Edition: 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): .
|
|
|
|
|
Databases Theory and Applications [electronic resource] : 26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 2015. Proceedings / edited by Mohamed A. Sharaf, Muhammad Aamir Cheema, Jianzhong Qi. by Sharaf, Mohamed A [editor.] | Cheema, Muhammad Aamir [editor.] | Qi, Jianzhong [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9093 | Lecture Notes in Computer Science ; 9093Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / edited by Juan Caballero, Eric Bodden, Elias Athanasopoulos. by Caballero, Juan [editor.] | Bodden, Eric [editor.] | Athanasopoulos, Elias [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9639 | Lecture Notes in Computer Science ; 9639Edition: 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 Performance Engineering [electronic resource] : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / edited by Marta Beltrán, William Knottenbelt, Jeremy Bradley. by Beltrán, Marta [editor.] | Knottenbelt, William [editor.] | Bradley, Jeremy [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9272 | Lecture Notes in Computer Science ; 9272Edition: 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): .
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet. by Braga, Christiano [editor.] | Martí-Oliet, Narciso [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8941 | Lecture Notes in Computer Science ; 8941Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Artificial Life and Computational Intelligence [electronic resource] : Third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 – February 2, 2017, Proceedings / edited by Markus Wagner, Xiaodong Li, Tim Hendtlass. by Wagner, Markus [editor.] | Li, Xiaodong [editor.] | Hendtlass, Tim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10142 | Lecture Notes in Computer Science ; 10142Edition: 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): .
|
|
|
|
|
Interactive Collaborative Robotics [electronic resource] : First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings / edited by Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov. by Ronzhin, Andrey [editor.] | Rigoll, Gerhard [editor.] | Meshcheryakov, Roman [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9812 | Lecture Notes in Computer Science ; 9812Edition: 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): .
|
|
|
|
|
Algorithms for Computational Biology [electronic resource] : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / edited by Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth. by Dediu, Adrian-Horia [editor.] | Hernández-Quiroz, Francisco [editor.] | Martín-Vide, Carlos [editor.] | Rosenblueth, David A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 9199 | Lecture Notes in Computer Science ; 9199Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings / edited by Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen. by De Paoli, Flavio [editor.] | Schulte, Stefan [editor.] | Broch Johnsen, Einar [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10465 | Lecture Notes in Computer Science ; 10465Edition: 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): .
|
|
|
|
|
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design [electronic resource] : 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Vincent G. Duffy. by Duffy, Vincent G [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10286 | Lecture Notes in Computer Science ; 10286Edition: 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 Computing Theories and Methodologies [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Abir Hussain. by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Hussain, Abir [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9226 | Lecture Notes in Computer Science ; 9226Edition: 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): .
|
|
|
|
|
Pattern Recognition and Machine Intelligence [electronic resource] : 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings / edited by Marzena Kryszkiewicz, Sanghamitra Bandyopadhyay, Henryk Rybinski, Sankar K. Pal. by Kryszkiewicz, Marzena [editor.] | Bandyopadhyay, Sanghamitra [editor.] | Rybinski, Henryk [editor.] | Pal, Sankar K [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9124 | Lecture Notes in Computer Science ; 9124Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Grand Timely Topics in Software Engineering [electronic resource] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / edited by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev. by Cunha, Jácome [editor.] | Fernandes, João P [editor.] | Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Zaytsev, Vadim [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10223 | Lecture Notes in Computer Science ; 10223Edition: 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): .
|
