|
|
|
Model and Data Engineering [electronic resource] : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings / edited by Ladjel Bellatreche, Yannis Manolopoulos.
by Bellatreche, Ladjel [editor.] | Manolopoulos, Yannis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Cryptology -- LATINCRYPT 2015 [electronic resource] : 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings / edited by Kristin Lauter, Francisco Rodr�iguez-Henr�iquez.
by Lauter, Kristin [editor.] | Rodr�iguez-Henr�iquez, Francisco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Trustworthy Global Computing [electronic resource] : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers / edited by Matteo Maffei, Emilio Tuosto.
by Maffei, Matteo [editor.] | Tuosto, Emilio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Security Protocols XVIII [electronic resource] : 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers / edited by Bruce Christianson, James Malcolm.
by Christianson, Bruce [editor.] | Malcolm, James [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XV [electronic resource] : Selected Papers from ADBIS 2013 Satellite Events / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Barbara Catania, Giovanna Guerrini, Themis Palpanas, Jaroslav Pokorn�y, Athena Vakali.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Catania, Barbara [editor.] | Guerrini, Giovanna [editor.] | Palpanas, Themis [editor.] | Pokorn�y, Jaroslav [editor.] | Vakali, Athena [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Declarative Programming and Knowledge Management [electronic resource] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / edited by Michael Hanus, Ricardo Rocha.
by Hanus, Michael [editor.] | Rocha, Ricardo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 11th International Conference, DIMVA 2014, Egham, UK, July 10-11, 2014. Proceedings / edited by Sven Dietrich.
by Dietrich, Sven [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Software - ICMS 2014 [electronic resource] : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings / edited by Hoon Hong, Chee Yap.
by Hong, Hoon [editor.] | Yap, Chee [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection [electronic resource] : 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016, Proceedings, Part II / edited by Marinos Ioannides, Eleanor Fink, Antonia Moropoulou, Monika Hagedorn-Saupe, Antonella Fresa, Gunnar Liest�l, Vlatka Rajcic, Pierre Grussenmeyer.
by Ioannides, Marinos [editor.] | Fink, Eleanor [editor.] | Moropoulou, Antonia [editor.] | Hagedorn-Saupe, Monika [editor.] | Fresa, Antonella [editor.] | Liest�l, Gunnar [editor.] | Rajcic, Vlatka [editor.] | Grussenmeyer, Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Complexity [electronic resource] : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings / edited by Paul G. Spirakis, Maria Serna.
by Spirakis, Paul G [editor.] | Serna, Maria [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / edited by Anna I. Esparcia-Alc�azar, Antonio M. Mora.
by Esparcia-Alc�azar, Anna I [editor.] | Mora, Antonio M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - ASIACRYPT 2014 [electronic resource] : 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014, Proceedings, Part II / edited by Palash Sarkar, Tetsu Iwata.
by Sarkar, Palash [editor.] | Iwata, Tetsu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings / edited by Jacques Garrigue.
by Garrigue, Jacques [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter.
by Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems [electronic resource] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures / edited by Anne Remke, Mari�elle Stoelinga.
by Remke, Anne [editor.] | Stoelinga, Mari�elle [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Information Systems and Industrial Management [electronic resource] : 13th IFIP TC8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014. Proceedings / edited by Khalid Saeed, V�aclav Sn�ašel.
by Saeed, Khalid [editor.] | Sn�ašel, V�aclav [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Leonardo Vanneschi, William S. Bush, Mario Giacobini.
by Vanneschi, Leonardo [editor.] | Bush, William S [editor.] | Giacobini, Mario [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Persuasive Technology [electronic resource] : 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings / edited by Shlomo Berkovsky, Jill Freyne.
by Berkovsky, Shlomo [editor.] | Freyne, Jill [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II / edited by Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias.
by Esparza, Javier [editor.] | Fraigniaud, Pierre [editor.] | Husfeldt, Thore [editor.] | Koutsoupias, Elias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Proceedings of the FISITA 2012 World Automotive Congress [electronic resource] : Volume 13: Noise, Vibration and Harshness (NVH).
by SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
