|
|
|
Data Integration in the Life Sciences [electronic resource] : 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings / edited by Naveen Ashish, Jose-Luis Ambite. by Ashish, Naveen [editor.] | Ambite, Jose-Luis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 9162 | Lecture Notes in Computer Science ; 9162Edition: 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): .
|
|
|
|
Service Oriented and Cloud Computing [electronic resource] : 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings / edited by Schahram Dustdar, Frank Leymann, Massimo Villari. by Dustdar, Schahram [editor.] | Leymann, Frank [editor.] | Villari, Massimo [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9306 | Lecture Notes in Computer Science ; 9306Edition: 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): .
|
|
|
|
Inductive Logic Programming [electronic resource] : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers / edited by Jesse Davis, Jan Ramon. by Davis, Jesse [editor.] | Ramon, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9046 | Lecture Notes in Computer Science ; 9046Edition: 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): .
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. by Davis, Martin [editor.] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9450 | Lecture Notes in Computer Science ; 9450Edition: 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): .
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / edited by Anthony Anjorin, Huáscar Espinoza. by Anjorin, Anthony [editor.] | Espinoza, Huáscar [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10376 | Lecture Notes in Computer Science ; 10376Edition: 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): .
|
|
|
|
Tests and Proofs [electronic resource] : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov. by Blanchette, Jasmin Christian [editor.] | Kosmatov, Nikolai [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9154 | Lecture Notes in Computer Science ; 9154Edition: 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 Intelligent Data Analysis XV [electronic resource] : 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings / edited by Henrik Boström, Arno Knobbe, Carlos Soares, Panagiotis Papapetrou. by Boström, Henrik [editor.] | Knobbe, Arno [editor.] | Soares, Carlos [editor.] | Papapetrou, Panagiotis [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9897 | Lecture Notes in Computer Science ; 9897Edition: 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): .
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers / edited by Jeremy Clark, Sarah Meiklejohn, Peter Y.A. Ryan, Dan Wallach, Michael Brenner, Kurt Rohloff. by Clark, Jeremy [editor.] | Meiklejohn, Sarah [editor.] | Ryan, Peter Y.A [editor.] | Wallach, Dan [editor.] | Brenner, Michael [editor.] | Rohloff, Kurt [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9604 | Lecture Notes in Computer Science ; 9604Edition: 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): .
|
|
|
|
Case-Based Reasoning Research and Development [electronic resource] : 25th International Conference, ICCBR 2017, Trondheim, Norway, June 26-28, 2017, Proceedings / edited by David W. Aha, Jean Lieber. by Aha, David W [editor.] | Lieber, Jean [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10339 | Lecture Notes in Computer Science ; 10339Edition: 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): .
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI [electronic resource] : Special Issue on Data and Security Engineering / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang, Nam Thoai. by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Dang, Tran Khanh [editor.] | Thoai, Nam [editor.] | SpringerLink (Online service). Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 10140 | Lecture Notes in Computer Science ; 10140Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Coordination Models and Languages [electronic resource] : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / edited by Jean-Marie Jacquet, Mieke Massink. by Jacquet, Jean-Marie [editor.] | Massink, Mieke [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10319 | Lecture Notes in Computer Science ; 10319Edition: 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): .
|
|
|
|
Runtime Verification [electronic resource] : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / edited by Shuvendu Lahiri, Giles Reger. by Lahiri, Shuvendu [editor.] | Reger, Giles [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10548 | Lecture Notes in Computer Science ; 10548Edition: 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): .
|
|
|
|
Mining Intelligence and Knowledge Exploration [electronic resource] : 4th International Conference, MIKE 2016, Mexico City, Mexico, November 13 - 19, 2016, Revised Selected Papers / edited by Rajendra Prasath, Alexander Gelbukh. by Prasath, Rajendra [editor.] | Gelbukh, Alexander [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10089 | Lecture Notes in Computer Science ; 10089Edition: 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 Computing Methodologies [electronic resource] : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III / edited by De-Shuang Huang, Kyungsook Han, Abir Hussain. by Huang, De-Shuang [editor.] | Han, Kyungsook [editor.] | Hussain, Abir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9773 | Lecture Notes in Computer Science ; 9773Edition: 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): .
|
|
|
|
Critical Information Infrastructures Security [electronic resource] : 10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papers / edited by Erich Rome, Marianthi Theocharidou, Stephen Wolthusen. by Rome, Erich [editor.] | Theocharidou, Marianthi [editor.] | Wolthusen, Stephen [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9578 | Lecture Notes in Computer Science ; 9578Edition: 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): .
|
|
|
|
Algorithms - ESA 2015 [electronic resource] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / edited by Nikhil Bansal, Irene Finocchi. by Bansal, Nikhil [editor.] | Finocchi, Irene [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9294 | Lecture Notes in Computer Science ; 9294Edition: 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): .
|
|
|
|
Language, Data, and Knowledge [electronic resource] : First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings / edited by Jorge Gracia, Francis Bond, John P. McCrae, Paul Buitelaar, Christian Chiarcos, Sebastian Hellmann. by Gracia, Jorge [editor.] | Bond, Francis [editor.] | McCrae, John P [editor.] | Buitelaar, Paul [editor.] | Chiarcos, Christian [editor.] | Hellmann, Sebastian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10318 | Lecture Notes in Computer Science ; 10318Edition: 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): .
|
|
|
|
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. by Li, Xuandong [editor.] | Liu, Zhiming [editor.] | Yi, Wang [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9409 | Lecture Notes in Computer Science ; 9409Edition: 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): .
|
|
|
|
|