|
|
|
|
Multiple Access Communications [electronic resource] : 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings / edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Olav Tirkkonen. by Jonsson, Magnus [editor.] | Vinel, Alexey [editor.] | Bellalta, Boris [editor.] | Tirkkonen, Olav [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9305 | Lecture Notes in Computer Science ; 9305Edition: 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 Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9206 | Lecture Notes in Computer Science ; 9206Edition: 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 Safety, Reliability, and Security [electronic resource] : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch. by Tonetta, Stefano [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10488 | Lecture Notes in Computer Science ; 10488Edition: 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): .
|
|
|
|
|
Reversible Computation [electronic resource] : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings / edited by Iain Phillips, Hafizur Rahaman. by Phillips, Iain [editor.] | Rahaman, Hafizur [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10301 | Lecture Notes in Computer Science ; 10301Edition: 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 Cryptology – EUROCRYPT 2017 [electronic resource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III / edited by Jean-Sébastien Coron, Jesper Buus Nielsen. by Coron, Jean-Sébastien [editor.] | Nielsen, Jesper Buus [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10212 | Lecture Notes in Computer Science ; 10212Edition: 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): .
|
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / edited by Ivica Crnkovic, Elena Troubitsyna. by Crnkovic, Ivica [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9823 | Lecture Notes in Computer Science ; 9823Edition: 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 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): .
|
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / edited by Dimitris Kolovos, Manuel Wimmer. by Kolovos, Dimitris [editor.] | Wimmer, Manuel [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9152 | Lecture Notes in Computer Science ; 9152Edition: 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 Robotics and Applications [electronic resource] : 10th International Conference, ICIRA 2017, Wuhan, China, August 16–18, 2017, Proceedings, Part III / edited by YongAn Huang, Hao Wu, Honghai Liu, Zhouping Yin. by Huang, YongAn [editor.] | Wu, Hao [editor.] | Liu, Honghai [editor.] | Yin, Zhouping [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10464 | Lecture Notes in Computer Science ; 10464Edition: 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): .
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / edited by Ahmed Bouajjani, David Monniaux. by Bouajjani, Ahmed [editor.] | Monniaux, David [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10145 | Lecture Notes in Computer Science ; 10145Edition: 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 Conceptual Modeling [electronic resource] : ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings / edited by Sebastian Link, Juan C. Trujillo. by Link, Sebastian [editor.] | Trujillo, Juan C [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9975 | Lecture Notes in Computer Science ; 9975Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II / edited by Xiaofeng Gao, Hongwei Du, Meng Han. by Gao, Xiaofeng [editor.] | Du, Hongwei [editor.] | Han, Meng [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10628 | Lecture Notes in Computer Science ; 10628Edition: 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): .
|
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / edited by Matthew J. Patitz, Mike Stannett. by Patitz, Matthew J [editor.] | Stannett, Mike [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10240 | Lecture Notes in Computer Science ; 10240Edition: 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 Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang. by Urban, Christian [editor.] | Zhang, Xingyuan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9236 | Lecture Notes in Computer Science ; 9236Edition: 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): .
|
|
|
|
|
|
|
|
|
|
FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. by Fitzgerald, John [editor.] | Heitmeyer, Constance [editor.] | Gnesi, Stefania [editor.] | Philippou, Anna [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9995 | Lecture Notes in Computer Science ; 9995Edition: 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 Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection [electronic resource] : 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings / edited by Yves Demazeau, Keith S. Decker, Javier Bajo Pérez, Fernando de la Prieta. by Demazeau, Yves [editor.] | Decker, Keith S [editor.] | Bajo Pérez, Javier [editor.] | de la Prieta, Fernando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9086 | Lecture Notes in Computer Science ; 9086Edition: 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): .
|
|
|
|
|
Multi-Agent Systems and Agreement Technologies [electronic resource] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian. by Rovatsos, Michael [editor.] | Vouros, George [editor.] | Julian, Vicente [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9571 | Lecture Notes in Computer Science ; 9571Edition: 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): .
|
