|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin. by Chechik, Marsha [editor.] | Raskin, Jean-François [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9636 | Lecture Notes in Computer Science ; 9636Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Mobile, Secure, and Programmable Networking [electronic resource] : First International Conference, MSPN 2015, Paris, France, June 15-17, 2015, Selected Papers / edited by Selma Boumerdassi, Samia Bouzefrane, Éric Renault. by Boumerdassi, Selma [editor.] | Bouzefrane, Samia [editor.] | Renault, Éric [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9395 | Lecture Notes in Computer Science ; 9395Edition: 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): .
|
|
|
|
|
Deductive Software Verification – The KeY Book [electronic resource] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [editor.] | Ulbrich, Mattias [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10001 | Lecture Notes in Computer Science ; 10001Edition: 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): .
|
|
|
|
|
Current Approaches in Applied Artificial Intelligence [electronic resource] : 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Seoul, South Korea, June 10-12, 2015, Proceedings / edited by Moonis Ali, Young Sig Kwon, Chang-Hwan Lee, Juntae Kim, Yongdai Kim. by Ali, Moonis [editor.] | Kwon, Young Sig [editor.] | Lee, Chang-Hwan [editor.] | Kim, Juntae [editor.] | Kim, Yongdai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9101 | Lecture Notes in Computer Science ; 9101Edition: 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): .
|
|
|
|
|
Model-Based Safety and Assessment [electronic resource] : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings / edited by Marco Bozzano, Yiannis Papadopoulos. by Bozzano, Marco [editor.] | Papadopoulos, Yiannis [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10437 | Lecture Notes in Computer Science ; 10437Edition: 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): .
|
|
|
|
|
Multiagent System Technologies [electronic resource] : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / edited by Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt. by Klusch, Matthias [editor.] | Unland, Rainer [editor.] | Shehory, Onn [editor.] | Pokahr, Alexander [editor.] | Ahrndt, Sebastian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9872 | Lecture Notes in Computer Science ; 9872Edition: 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): .
|
|
|
|
|
Euro-Par 2015: Parallel Processing [electronic resource] : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / edited by Jesper Larsson Träff, Sascha Hunold, Francesco Versaci. by Träff, Jesper Larsson [editor.] | Hunold, Sascha [editor.] | Versaci, Francesco [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9233 | Lecture Notes in Computer Science ; 9233Edition: 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): .
|
|
|
|
|
Computer Analysis of Images and Patterns [electronic resource] : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I / edited by George Azzopardi, Nicolai Petkov. by Azzopardi, George [editor.] | Petkov, Nicolai [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9256 | Lecture Notes in Computer Science ; 9256Edition: 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): .
|
|
|
|
|
Intelligent Information and Database Systems [electronic resource] : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Satoshi Tojo, Le Minh Nguyen, Bogdan Trawiński. by Nguyen, Ngoc Thanh [editor.] | Tojo, Satoshi [editor.] | Nguyen, Le Minh [editor.] | Trawiński, Bogdan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10191 | Lecture Notes in Computer Science ; 10191Edition: 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): .
|
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part III / edited by Albert Bifet, Michael May, Bianca Zadrozny, Ricard Gavalda, Dino Pedreschi, Francesco Bonchi, Jaime Cardoso, Myra Spiliopoulou. by Bifet, Albert [editor.] | May, Michael [editor.] | Zadrozny, Bianca [editor.] | Gavalda, Ricard [editor.] | Pedreschi, Dino [editor.] | Bonchi, Francesco [editor.] | Cardoso, Jaime [editor.] | Spiliopoulou, Myra [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9286 | Lecture Notes in Computer Science ; 9286Edition: 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): .
|
|
|
|
|
Smart Health [electronic resource] : International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected Papers / edited by Xiaolong Zheng, Daniel Dajun Zeng, Hsinchun Chen, Scott J. Leischow. by Zheng, Xiaolong [editor.] | Zeng, Daniel Dajun [editor.] | Chen, Hsinchun [editor.] | Leischow, Scott J [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9545 | Lecture Notes in Computer Science ; 9545Edition: 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): .
|
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part I / edited by Annalisa Appice, Pedro Pereira Rodrigues, Vítor Santos Costa, Carlos Soares, João Gama, Alípio Jorge. by Appice, Annalisa [editor.] | Rodrigues, Pedro Pereira [editor.] | Santos Costa, Vítor [editor.] | Soares, Carlos [editor.] | Gama, João [editor.] | Jorge, Alípio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9284 | Lecture Notes in Computer Science ; 9284Edition: 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 Web-Based Learning – ICWL 2013 Workshops [electronic resource] : USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers / edited by Dickson K. W. Chiu, Minhong Wang, Elvira Popescu, Qing Li, Rynson Lau, Timothy K. Shih, Chu-Sing Yang, Demetrios G. Sampson. by Chiu, Dickson K. W [editor.] | Wang, Minhong [editor.] | Popescu, Elvira [editor.] | Li, Qing [editor.] | Lau, Rynson [editor.] | Shih, Timothy K [editor.] | Yang, Chu-Sing [editor.] | Sampson, Demetrios G [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8390 | Lecture Notes in Computer Science ; 8390Edition: 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): .
|
|
|
|
|
Trends and Applications in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015. Revised Selected Papers / edited by Xiao-Li Li, Tru Cao, Ee-Peng Lim, Zhi-Hua Zhou, Tu-Bao Ho, David Cheung. by Li, Xiao-Li [editor.] | Cao, Tru [editor.] | Lim, Ee-Peng [editor.] | Zhou, Zhi-Hua [editor.] | Ho, Tu-Bao [editor.] | Cheung, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9441 | Lecture Notes in Computer Science ; 9441Edition: 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): .
|
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings / edited by Dieter Gollmann, Atsuko Miyaji, Hiroaki Kikuchi. by Gollmann, Dieter [editor.] | Miyaji, Atsuko [editor.] | Kikuchi, Hiroaki [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10355 | Lecture Notes in Computer Science ; 10355Edition: 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): .
|
|
|
|
|
Quantum Interaction [electronic resource] : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers / edited by Jose Acacio de Barros, Bob Coecke, Emmanuel Pothos. by de Barros, Jose Acacio [editor.] | Coecke, Bob [editor.] | Pothos, Emmanuel [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10106 | Lecture Notes in Computer Science ; 10106Edition: 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): .
|
|
|
|
|
Internet and Distributed Computing Systems [electronic resource] : 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings / edited by Giuseppe Di Fatta, Giancarlo Fortino, Wenfeng Li, Mukaddim Pathan, Frederic Stahl, Antonio Guerrieri. by Di Fatta, Giuseppe [editor.] | Fortino, Giancarlo [editor.] | Li, Wenfeng [editor.] | Pathan, Mukaddim [editor.] | Stahl, Frederic [editor.] | Guerrieri, Antonio [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9258 | Lecture Notes in Computer Science ; 9258Edition: 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): .
|
|
|
|
|
Compiler Construction [electronic resource] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Björn Franke. by Franke, Björn [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9031 | Lecture Notes in Computer Science ; 9031Edition: 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): .
|
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems XII [electronic resource] : COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers / edited by Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha. by Cranefield, Stephen [editor.] | Mahmoud, Samhar [editor.] | Padget, Julian [editor.] | Rocha, Ana Paula [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10315 | Lecture Notes in Computer Science ; 10315Edition: 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): .
|
|
|
|
|
KI 2017: Advances in Artificial Intelligence [electronic resource] : 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings / edited by Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm. by Kern-Isberner, Gabriele [editor.] | Fürnkranz, Johannes [editor.] | Thimm, Matthias [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10505 | Lecture Notes in Computer Science ; 10505Edition: 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): .
|
