|
|
|
|
Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part V / edited by Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy. by Liu, Derong [editor.] | Xie, Shengli [editor.] | Li, Yuanqing [editor.] | Zhao, Dongbin [editor.] | El-Alfy, El-Sayed M [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10638 | Lecture Notes in Computer Science ; 10638Edition: 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): .
|
|
|
|
|
LATIN 2016: Theoretical Informatics [electronic resource] : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / edited by Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez. by Kranakis, Evangelos [editor.] | Navarro, Gonzalo [editor.] | Chávez, Edgar [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9644 | Lecture Notes in Computer Science ; 9644Edition: 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): .
|
|
|
|
|
Computer Science – Theory and Applications [electronic resource] : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / edited by Alexander S. Kulikov, Gerhard J. Woeginger. by Kulikov, Alexander S [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9691 | Lecture Notes in Computer Science ; 9691Edition: 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): .
|
|
|
|
|
Adaptive and Adaptable Learning [electronic resource] : 11th European Conference on Technology Enhanced Learning, EC-TEL 2016, Lyon, France, September 13-16, 2016, Proceedings / edited by Katrien Verbert, Mike Sharples, Tomaž Klobučar. by Verbert, Katrien [editor.] | Sharples, Mike [editor.] | Klobučar, Tomaž [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9891 | Lecture Notes in Computer Science ; 9891Edition: 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): .
|
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18–20, 2017, Proceedings / edited by Marc Dacier, Michael Bailey, Michalis Polychronakis, Manos Antonakakis. by Dacier, Marc [editor.] | Bailey, Michael [editor.] | Polychronakis, Michalis [editor.] | Antonakakis, Manos [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10453 | Lecture Notes in Computer Science ; 10453Edition: 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): .
|
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Márk Jelasity, Evangelia Kalyvianaki. by Jelasity, Márk [editor.] | Kalyvianaki, Evangelia [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9687 | Lecture Notes in Computer Science ; 9687Edition: 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 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): .
|
|
|
|
|
Social Informatics [electronic resource] : 8th International Conference, SocInfo 2016, Bellevue, WA, USA, November 11-14, 2016, Proceedings, Part I / edited by Emma Spiro, Yong-Yeol Ahn. by Spiro, Emma [editor.] | Ahn, Yong-Yeol [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10046 | Lecture Notes in Computer Science ; 10046Edition: 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, 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): .
|
|
|
|
|
Ambient Intelligence [electronic resource] : 13th European Conference, AmI 2017, Malaga, Spain, April 26–28, 2017, Proceedings / edited by Andreas Braun, Reiner Wichert, Antonio Maña. by Braun, Andreas [editor.] | Wichert, Reiner [editor.] | Maña, Antonio [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10217 | Lecture Notes in Computer Science ; 10217Edition: 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): .
|
|
|
|
|
Advanced Intelligent Computing Theories and Applications [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III / edited by De-Shuang Huang, Kyungsook Han. by Huang, De-Shuang [editor.] | Han, Kyungsook [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9227 | Lecture Notes in Computer Science ; 9227Edition: 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): .
|
|
|
|
|
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton. by Croitoru, Madalina [editor.] | Marquis, Pierre [editor.] | Rudolph, Sebastian [editor.] | Stapleton, Gem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9501 | Lecture Notes in Computer Science ; 9501Edition: 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): .
|
|
|
|
|
Arithmetic of Finite Fields [electronic resource] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / edited by Çetin Kaya Koç, Sihem Mesnager, Erkay Savaş. by Koç, Çetin Kaya [editor.] | Mesnager, Sihem [editor.] | Savaş, Erkay [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9061 | Lecture Notes in Computer Science ; 9061Edition: 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): .
|
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 13th International Conference, CDVE 2016, Sydney, NSW, Australia, October 24–27, 2016, Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9929 | Lecture Notes in Computer Science ; 9929Edition: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI / edited by Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy. by Liu, Derong [editor.] | Xie, Shengli [editor.] | Li, Yuanqing [editor.] | Zhao, Dongbin [editor.] | El-Alfy, El-Sayed M [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10639 | Lecture Notes in Computer Science ; 10639Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers / edited by Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y.A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson. by Brenner, Michael [editor.] | Rohloff, Kurt [editor.] | Bonneau, Joseph [editor.] | Miller, Andrew [editor.] | Ryan, Peter Y.A [editor.] | Teague, Vanessa [editor.] | Bracciali, Andrea [editor.] | Sala, Massimiliano [editor.] | Pintore, Federico [editor.] | Jakobsson, Markus [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10323 | Lecture Notes in Computer Science ; 10323Edition: 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): .
|
|
|
|
|
Persuasive Technology [electronic resource] : 11th International Conference, PERSUASIVE 2016, Salzburg, Austria, April 5-7, 2016, Proceedings / edited by Alexander Meschtscherjakov, Boris De Ruyter, Verena Fuchsberger, Martin Murer, Manfred Tscheligi. by Meschtscherjakov, Alexander [editor.] | De Ruyter, Boris [editor.] | Fuchsberger, Verena [editor.] | Murer, Martin [editor.] | Tscheligi, Manfred [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9638 | Lecture Notes in Computer Science ; 9638Edition: 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] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters. by Winands, Mark H.M [editor.] | van den Herik, H. Jaap [editor.] | Kosters, Walter A [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10664 | Lecture Notes in Computer Science ; 10664Edition: 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): .
|
