|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac.
by Enea, Constantin [editor.] | Piskac, Ruzica [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
|
|
|
Advances in Cryptology - ASIACRYPT 2018 [electronic resource] : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part III / edited by Thomas Peyrin, Steven Galbraith.
by Peyrin, Thomas [editor.] | Galbraith, Steven [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
|
|
|
Data Analytics for Renewable Energy Integration. Technologies, Systems and Society [electronic resource] : 6th ECML PKDD Workshop, DARE 2018, Dublin, Ireland, September 10, 2018, Revised Selected Papers / edited by Wei Lee Woon, Zeyar Aung, Alejandro Catalina Feliú, Stuart Madnick.
by Woon, Wei Lee [editor.] | Aung, Zeyar [editor.] | Catalina Feliú, Alejandro [editor.] | Madnick, Stuart [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
|
|
|
Blockchain - ICBC 2019 [electronic resource] : Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings / edited by James Joshi, Surya Nepal, Qi Zhang, Liang-Jie Zhang.
by Joshi, James [editor.] | Nepal, Surya [editor.] | Zhang, Qi [editor.] | Zhang, Liang-Jie [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
|
|
|
Cloud Computing - CLOUD 2019 [electronic resource] : 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings / edited by Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang.
by Da Silva, Dilma [editor.] | Wang, Qingyang [editor.] | Zhang, Liang-Jie [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
|
|
|
Green, Pervasive, and Cloud Computing [electronic resource] : 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26-28, 2019, Proceedings / edited by Rodrigo Miani, Lasaro Camargos, Bruno Zarpelão, Erika Rosas, Rafael Pasquini.
by Miani, Rodrigo [editor.] | Camargos, Lasaro [editor.] | Zarpelão, Bruno [editor.] | Rosas, Erika [editor.] | Pasquini, Rafael [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
|
|
|
Normalization Techniques in Deep Learning [electronic resource] / by Lei Huang.
by Huang, Lei [author.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
Mobile, Secure, and Programmable Networking [electronic resource] : 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23-24, 2019, Revised Selected Papers / edited by Éric Renault, Selma Boumerdassi, Cherkaoui Leghris, Samia Bouzefrane.
by Renault, Éric [editor.] | Boumerdassi, Selma [editor.] | Leghris, Cherkaoui [editor.] | Bouzefrane, Samia [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
|
|
|
Speech and Computer [electronic resource] : 21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20-25, 2019, Proceedings / edited by Albert Ali Salah, Alexey Karpov, Rodmonga Potapova.
by Salah, Albert Ali [editor.] | Karpov, Alexey [editor.] | Potapova, Rodmonga [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
|
|
|
Big Scientific Data Management [electronic resource] : First International Conference, BigSDM 2018, Beijing, China, November 30 - December 1, 2018, Revised Selected Papers / edited by Jianhui Li, Xiaofeng Meng, Ying Zhang, Wenjuan Cui, Zhihui Du.
by Li, Jianhui [editor.] | Meng, Xiaofeng [editor.] | Zhang, Ying [editor.] | Cui, Wenjuan [editor.] | Du, Zhihui [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
|
|
|
RoboCup 2018: Robot World Cup XXII [electronic resource] / edited by Dirk Holz, Katie Genter, Maarouf Saad, Oskar von Stryk.
by Holz, Dirk [editor.] | Genter, Katie [editor.] | Saad, Maarouf [editor.] | von Stryk, Oskar [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
|
|
|
Essential Perturbation Methods [electronic resource] / by C.Y. Wang.
by Wang, C.Y [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
Towards Autonomous Robotic Systems [electronic resource] : 20th Annual Conference, TAROS 2019, London, UK, July 3-5, 2019, Proceedings, Part II / edited by Kaspar Althoefer, Jelizaveta Konstantinova, Ketao Zhang.
by Althoefer, Kaspar [editor.] | Konstantinova, Jelizaveta [editor.] | Zhang, Ketao [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
|
|
|
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare Applications [electronic resource] : 10th International Conference, DHM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II / edited by Vincent G. Duffy.
by Duffy, Vincent G [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
|
|
|
Virtual, Augmented and Mixed Reality. Applications and Case Studies [electronic resource] : 11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II / edited by Jessie Y.C. Chen, Gino Fragomeni.
by Chen, Jessie Y.C [editor.] | Fragomeni, Gino [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
|
|
|
Introduction to Wireless Networking and Its Impact on Applications [electronic resource] / by Peter Steenkiste.
by Steenkiste, Peter [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
Provable Security [electronic resource] : 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings / edited by Ron Steinfeld, Tsz Hon Yuen.
by Steinfeld, Ron [editor.] | Yuen, Tsz Hon [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
|
|
|
HCI International 2019 - Late Breaking Papers [electronic resource] : 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings / edited by Constantine Stephanidis.
by Stephanidis, Constantine [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
|
|
|
Learning for Decision and Control in Stochastic Networks [electronic resource] / by Longbo Huang.
by Huang, Longbo [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
Mobile Web and Intelligent Information Systems [electronic resource] : 16th International Conference, MobiWIS 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings / edited by Irfan Awan, Muhammad Younas, Perin Ünal, Markus Aleksy.
by Awan, Irfan [editor.] | Younas, Muhammad [editor.] | Ünal, Perin [editor.] | Aleksy, Markus [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
|