|
|
|
|
|
|
|
|
|
Mobile Web and Intelligent Information Systems [electronic resource] : 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedings / edited by Muhammad Younas, Irfan Awan, Natalia Kryvinska, Christine Strauss, Do van Thanh. by Younas, Muhammad [editor.] | Awan, Irfan [editor.] | Kryvinska, Natalia [editor.] | Strauss, Christine [editor.] | Thanh, Do van [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9847 | Lecture Notes in Computer Science ; 9847Edition: 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): .
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9952 | Lecture Notes in Computer Science ; 9952Edition: 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): .
|
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / edited by Andrzej Wąsowski, Henrik Lönn. by Wąsowski, Andrzej [editor.] | Lönn, Henrik [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9764 | Lecture Notes in Computer Science ; 9764Edition: 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): .
|
|
|
|
|
Information Security and Privacy [electronic resource] : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II / edited by Joseph K. Liu, Ron Steinfeld. by Liu, Joseph K [editor.] | Steinfeld, Ron [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9723 | Lecture Notes in Computer Science ; 9723Edition: 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): .
|
|
|
|
|
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings / edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar. by Barkaoui, Kamel [editor.] | Boucheneb, Hanifa [editor.] | Mili, Ali [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10466 | Lecture Notes in Computer Science ; 10466Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part I / edited by Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker. by Chen, Qiming [editor.] | Hameurlain, Abdelkader [editor.] | Toumani, Farouk [editor.] | Wagner, Roland [editor.] | Decker, Hendrik [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9261 | Lecture Notes in Computer Science ; 9261Edition: 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): .
|
|
|
|
|
Internet Science [electronic resource] : Second International Conference, INSCI 2015, Brussels, Belgium, May 27-29, 2015, Proceedings / edited by Thanassis Tiropanis, Athena Vakali, Laura Sartori, Pete Burnap. by Tiropanis, Thanassis [editor.] | Vakali, Athena [editor.] | Sartori, Laura [editor.] | Burnap, Pete [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9089 | Lecture Notes in Computer Science ; 9089Edition: 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): .
|
|
|
|
|
Central European Functional Programming School [electronic resource] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató. by Zsók, Viktória [editor.] | Horváth, Zoltán [editor.] | Csató, Lehel [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8606 | Lecture Notes in Computer Science ; 8606Edition: 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): .
|
|
|
|
|
Challenges and Opportunity with Big Data [electronic resource] : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers / edited by Lin Zhang, Lei Ren, Fabrice Kordon. by Zhang, Lin [editor.] | Ren, Lei [editor.] | Kordon, Fabrice [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10228 | Lecture Notes in Computer Science ; 10228Edition: 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): .
|
|
|
|
|
Artificial Intelligence in Education [electronic resource] : 17th International Conference, AIED 2015, Madrid, Spain, June 22-26, 2015. Proceedings / edited by Cristina Conati, Neil Heffernan, Antonija Mitrovic, M. Felisa Verdejo. by Conati, Cristina [editor.] | Heffernan, Neil [editor.] | Mitrovic, Antonija [editor.] | Verdejo, M. Felisa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9112 | Lecture Notes in Computer Science ; 9112Edition: 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 Cryptology – EUROCRYPT 2016 [electronic resource] : 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II / edited by Marc Fischlin, Jean-Sébastien Coron. by Fischlin, Marc [editor.] | Coron, Jean-Sébastien [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9666 | Lecture Notes in Computer Science ; 9666Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings / edited by Friedrich Eisenbrand, Jochen Koenemann. by Eisenbrand, Friedrich [editor.] | Koenemann, Jochen [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10328 | Lecture Notes in Computer Science ; 10328Edition: 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 Mechanisms for Network Configuration and Security [electronic resource] : 9th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2015, Ghent, Belgium, June 22-25, 2015. Proceedings / edited by Steven Latré, Marinos Charalambides, Jérôme François, Corinna Schmitt, Burkhard Stiller. by Latré, Steven [editor.] | Charalambides, Marinos [editor.] | François, Jérôme [editor.] | Schmitt, Corinna [editor.] | Stiller, Burkhard [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9122 | Lecture Notes in Computer Science ; 9122Edition: 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): .
|
|
|
|
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das. by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8947 | Lecture Notes in Computer Science ; 8947Edition: 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): .
|
|
|
|
|
Security of Networks and Services in an All-Connected World [electronic resource] : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings / edited by Daphne Tuncer, Robert Koch, Rémi Badonnel, Burkhard Stiller. by Tuncer, Daphne [editor.] | Koch, Robert [editor.] | Badonnel, Rémi [editor.] | Stiller, Burkhard [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 10356 | Lecture Notes in Computer Science ; 10356Edition: 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): .
|
|
|
|
|
Computer Analysis of Images and Patterns [electronic resource] : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II / edited by Michael Felsberg, Anders Heyden, Norbert Krüger. by Felsberg, Michael [editor.] | Heyden, Anders [editor.] | Krüger, Norbert [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10425 | Lecture Notes in Computer Science ; 10425Edition: 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): .
|
|
|
|
|
|
