|
1.
|
Security in Computer and Information Sciences [electronic resource] : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers / edited by Erol Gelenbe, Paolo Campegiani, Tadeusz Czachórski, Sokratis K. Katsikas, Ioannis Komnios, Luigi Romano, Dimitrios Tzovaras. by Gelenbe, Erol [editor.] | Campegiani, Paolo [editor.] | Czachórski, Tadeusz [editor.] | Katsikas, Sokratis K [editor.] | Komnios, Ioannis [editor.] | Romano, Luigi [editor.] | Tzovaras, Dimitrios [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|
|
2.
|
Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Peter Müller. by Müller, Peter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|
|
3.
|
|
|
4.
|
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / edited by Shuvendu K. Lahiri, Chao Wang. by Lahiri, Shuvendu K [editor.] | Wang, Chao [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|
|
5.
|
|
|
6.
|
|
|
7.
|
Internet of Things. Information Processing in an Increasingly Connected World [electronic resource] : First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers / edited by Leon Strous, Vinton G. Cerf. by Strous, Leon [editor.] | Cerf, Vinton G [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|
|
8.
|
|
|
9.
|
Semantic Systems. The Power of AI and Knowledge Graphs [electronic resource] : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings / edited by Maribel Acosta, Philippe Cudré-Mauroux, Maria Maleshkova, Tassilo Pellegrini, Harald Sack, York Sure-Vetter. by Acosta, Maribel [editor.] | Cudré-Mauroux, Philippe [editor.] | Maleshkova, Maria [editor.] | Pellegrini, Tassilo [editor.] | Sack, Harald [editor.] | Sure-Vetter, York [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|
|
10.
|
|
|
11.
|
European E-Democracy in Practice [electronic resource] / edited by Leonhard Hennen, Ira van Keulen, Iris Korthagen, Georg Aichholzer, Ralf Lindner, Rasmus Øjvind Nielsen. by Hennen, Leonhard [editor.] | van Keulen, Ira [editor.] | Korthagen, Iris [editor.] | Aichholzer, Georg [editor.] | Lindner, Ralf [editor.] | Nielsen, Rasmus Øjvind [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|
|
12.
|
VR Technologies in Cultural Heritage [electronic resource] : First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers / edited by Mihai Duguleană, Marcello Carrozzino, Matjaž Gams, Iulian Tanea. by Duguleană, Mihai [editor.] | Carrozzino, Marcello [editor.] | Gams, Matjaž [editor.] | Tanea, Iulian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|
|
13.
|
The Impact of Digital Technologies on Public Health in Developed and Developing Countries [electronic resource] : 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings / edited by Mohamed Jmaiel, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Slim Kallel. by Jmaiel, Mohamed [editor.] | Mokhtari, Mounir [editor.] | Abdulrazak, Bessam [editor.] | Aloulou, Hamdi [editor.] | Kallel, Slim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|
|
14.
|
|
|
15.
|
|
|
16.
|
Re-engineering the Uptake of ICT in Schools [electronic resource] / edited by Frans Van Assche, Luis Anido, David Griffiths, Cathy Lewin, Sarah McNicol. by Van Assche, Frans [editor.] | Anido, Luis [editor.] | Griffiths, David [editor.] | Lewin, Cathy [editor.] | McNicol, Sarah [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|
|
17.
|
|
|
18.
|
|
|
19.
|
Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Heike Wehrheim, Jordi Cabot. by Wehrheim, Heike [editor.] | Cabot, Jordi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|
|
20.
|
Autonomous Control for a Reliable Internet of Services [electronic resource] : Methods, Models, Approaches, Techniques, Algorithms, and Tools / edited by Ivan Ganchev, R. D. van der Mei, Hans van den Berg. by Ganchev, Ivan [editor.] | van der Mei, R. D [editor.] | van den Berg, Hans [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text; 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 :
|