|
|
|
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): .
|
|
|
|
SDL 2017: Model-Driven Engineering for Future Internet [electronic resource] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings / edited by Tibor Csöndes, Gábor Kovács, György Réthy. by Csöndes, Tibor [editor.] | Kovács, Gábor [editor.] | Réthy, György [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10567 | Lecture Notes in Computer Science ; 10567Edition: 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): .
|
|
|
|
Serviceology for Services [electronic resource] : 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings / edited by Yoshinori Hara, Dimitris Karagiannis. by Hara, Yoshinori [editor.] | Karagiannis, Dimitris [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10371 | Lecture Notes in Computer Science ; 10371Edition: 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 – CRYPTO 2017 [electronic resource] : 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20–24, 2017, Proceedings, Part II / edited by Jonathan Katz, Hovav Shacham. by Katz, Jonathan [editor.] | Shacham, Hovav [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10402 | Lecture Notes in Computer Science ; 10402Edition: 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): .
|
|
|
|
Similarity Search and Applications [electronic resource] : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings / edited by Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl. by Beecks, Christian [editor.] | Borutta, Felix [editor.] | Kröger, Peer [editor.] | Seidl, Thomas [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10609 | Lecture Notes in Computer Science ; 10609Edition: 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): .
|
|
|
|
Theory of Cryptography [electronic resource] : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II / edited by Yael Kalai, Leonid Reyzin. by Kalai, Yael [editor.] | Reyzin, Leonid [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10678 | Lecture Notes in Computer Science ; 10678Edition: 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): .
|
|
|
|
|
|
|
|
Electronic Voting [electronic resource] : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings / edited by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann. by Krimmer, Robert [editor.] | Volkamer, Melanie [editor.] | Braun Binder, Nadja [editor.] | Kersting, Norbert [editor.] | Pereira, Olivier [editor.] | Schürmann, Carsten [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10615 | Lecture Notes in Computer Science ; 10615Edition: 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): .
|
|
|
|
|
|
|
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings / edited by Claude Carlet, M. Anwar Hasan, Vishal Saraswat. by Carlet, Claude [editor.] | Hasan, M. Anwar [editor.] | Saraswat, Vishal [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10076 | Lecture Notes in Computer Science ; 10076Edition: 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): .
|
|
|
|
Testing Software and Systems [electronic resource] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün. by Yevtushenko, Nina [editor.] | Cavalli, Ana Rosa [editor.] | Yenigün, Hüsnü [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10533 | Lecture Notes in Computer Science ; 10533Edition: 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): .
|
|
|
|
|
|
|
|
Human Aspects of Information Security, Privacy and Trust [electronic resource] : 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings / edited by Theo Tryfonas. by Tryfonas, Theo [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10292 | Lecture Notes in Computer Science ; 10292Edition: 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): .
|
|
|
|
Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen. by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9104 | Lecture Notes in Computer Science ; 9104Edition: 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): .
|
|
|
|
Network and System Security [electronic resource] : 11th International Conference, NSS 2017, Helsinki, Finland, August 21–23, 2017, Proceedings / edited by Zheng Yan, Refik Molva, Wojciech Mazurczyk, Raimo Kantola. by Yan, Zheng [editor.] | Molva, Refik [editor.] | Mazurczyk, Wojciech [editor.] | Kantola, Raimo [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10394 | Lecture Notes in Computer Science ; 10394Edition: 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): .
|
|
|
|
Risk Assessment and Risk-Driven Quality Assurance [electronic resource] : 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers / edited by Jürgen Großmann, Michael Felderer, Fredrik Seehusen. by Großmann, Jürgen [editor.] | Felderer, Michael [editor.] | Seehusen, Fredrik [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10224 | Lecture Notes in Computer Science ; 10224Edition: 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): .
|
|
|
|
Ad-hoc Networks and Wireless [electronic resource] : ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papers / edited by Miguel Garcia Pineda, Jaime Lloret, Symeon Papavassiliou, Stefan Ruehrup, Carlos Becker Westphall. by Garcia Pineda, Miguel [editor.] | Lloret, Jaime [editor.] | Papavassiliou, Symeon [editor.] | Ruehrup, Stefan [editor.] | Westphall, Carlos Becker [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 8629 | Lecture Notes in Computer Science ; 8629Edition: 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): .
|
|
|
|
Cryptographic Hardware and Embedded Systems -- CHES 2015 [electronic resource] : 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / edited by Tim Güneysu, Helena Handschuh. by Güneysu, Tim [editor.] | Handschuh, Helena [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9293 | Lecture Notes in Computer Science ; 9293Edition: 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): .
|
|
|
|
Graphical Models for Security [electronic resource] : Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / edited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim. by Kordy, Barbara [editor.] | Ekstedt, Mathias [editor.] | Kim, Dong Seong [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9987 | Lecture Notes in Computer Science ; 9987Edition: 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): .
|
|
|
|
Implementation and Application of Automata [electronic resource] : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings / edited by Arnaud Carayol, Cyril Nicaud. by Carayol, Arnaud [editor.] | Nicaud, Cyril [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10329 | Lecture Notes in Computer Science ; 10329Edition: 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): .
|