|
|
|
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments [electronic resource] : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers / edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz.
by Gorentla Venkata, Manjunath [editor.] | Imam, Neena [editor.] | Pophale, Swaroop [editor.] | Mintz, Tiffany M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Computational Science and Its Applications - ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Torre, Carmelo M [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Wang, Shangguang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings / edited by Fabian Monrose, Marc Dacier, Gregory Blanc, Joaquin Garcia-Alfaro.
by Monrose, Fabian [editor.] | Dacier, Marc [editor.] | Blanc, Gregory [editor.] | Garcia-Alfaro, Joaquin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Verified Software: Theories, Tools and Experiments [electronic resource] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / edited by Dimitra Giannakopoulou, Daniel Kroening.
by Giannakopoulou, Dimitra [editor.] | Kroening, Daniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Usability- and Accessibility-Focused Requirements Engineering [electronic resource] : First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers / edited by Achim Ebert, Shah Rukh Humayoun, Norbert Seyff, Anna Perini, Simone D.J. Barbosa.
by Ebert, Achim [editor.] | Humayoun, Shah Rukh [editor.] | Seyff, Norbert [editor.] | Perini, Anna [editor.] | Barbosa, Simone D.J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Lectures on Runtime Verification [electronic resource] : Introductory and Advanced Topics / edited by Ezio Bartocci, Yliès Falcone.
by Bartocci, Ezio [editor.] | Falcone, Yliès [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 [electronic resource] : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt.
by Fonseca i Casas, Pau [editor.] | Sancho, Maria-Ribera [editor.] | Sherratt, Edel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Central European Functional Programming School [electronic resource] : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers / edited by Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth.
by Zsók, Viktória [editor.] | Porkoláb, Zoltán [editor.] | Horváth, Zoltán [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9-11, 2019, Proceedings / edited by Carlos Martín-Vide, Geoffrey Pond, Miguel A. Vega-Rodríguez.
by Martín-Vide, Carlos [editor.] | Pond, Geoffrey [editor.] | Vega-Rodríguez, Miguel A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings / edited by António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira.
by Casimiro, António [editor.] | Ortmeier, Frank [editor.] | Bitsch, Friedemann [editor.] | Ferreira, Pedro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Internet of Things - ICIOT 2020 [electronic resource] : 5th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / edited by Wei Song, Kisung Lee, Zhisheng Yan, Liang-Jie Zhang, Huan Chen.
by Song, Wei [editor.] | Lee, Kisung [editor.] | Yan, Zhisheng [editor.] | Zhang, Liang-Jie [editor.] | Chen, Huan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25-28, 2020, Proceedings / edited by Yuhua Luo.
by Luo, Yuhua [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings / edited by Shang-Wei Lin, Zhe Hou, Brendan Mahony.
by Lin, Shang-Wei [editor.] | Hou, Zhe [editor.] | Mahony, Brendan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Rough Sets XXII [electronic resource] / edited by James F. Peters, Andrzej Skowron.
by Peters, James F [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Security [electronic resource] : ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected Papers / edited by Sokratis Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Antón, Stefanos Gritzalis, Weizhi Meng, Steven Furnell.
by Katsikas, Sokratis [editor.] | Cuppens, Frédéric [editor.] | Cuppens, Nora [editor.] | Lambrinoudakis, Costas [editor.] | Kalloniatis, Christos [editor.] | Mylopoulos, John [editor.] | Antón, Annie [editor.] | Gritzalis, Stefanos [editor.] | Meng, Weizhi [editor.] | Furnell, Steven [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Theory of Cryptography [electronic resource] : 18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020, Proceedings, Part II / edited by Rafael Pass, Krzysztof Pietrzak.
by Pass, Rafael [editor.] | Pietrzak, Krzysztof [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings / edited by Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu.
by Ben Hedia, Belgacem [editor.] | Chen, Yu-Fang [editor.] | Liu, Gaiyun [editor.] | Yu, Zhenhua [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Computer Games [electronic resource] : 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers / edited by Tristan Cazenave, Jaap van den Herik, Abdallah Saffidine, I-Chen Wu.
by Cazenave, Tristan [editor.] | van den Herik, Jaap [editor.] | Saffidine, Abdallah [editor.] | Wu, I-Chen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings / edited by Georg Grossmann, Sudha Ram.
by Grossmann, Georg [editor.] | Ram, Sudha [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Current Trends in Web Engineering [electronic resource] : ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9-12, 2020, Revised Selected Papers / edited by In-Young Ko, Juan Manuel Murillo, Petri Vuorimaa.
by Ko, In-Young [editor.] | Murillo, Juan Manuel [editor.] | Vuorimaa, Petri [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
