|
|
|
Benchmarking, Measuring, and Optimizing [electronic resource] : Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15-16, 2020, Revised Selected Papers / edited by Felix Wolf, Wanling Gao.
by Wolf, Felix [editor.] | Gao, Wanling [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings / edited by Alessandro Abate, Andrea Marin.
by Abate, Alessandro [editor.] | Marin, Andrea [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Distributed, Ambient and Pervasive Interactions [electronic resource] : 9th International Conference, DAPI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings / edited by Norbert Streitz, Shin'ichi Konomi.
by Streitz, Norbert [editor.] | Konomi, Shin'ichi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Trust, Privacy and Security in Digital Business [electronic resource] : 19th International Conference, TrustBus 2022, Vienna, Austria, August 24, 2022, Proceedings / edited by Sokratis Katsikas, Steven Furnell.
by Katsikas, Sokratis [editor.] | Furnell, Steven [editor.] | 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
|
|
|
|
Human-Computer Interaction - INTERACT 2021 [electronic resource] : 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part III / edited by Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Helen Petrie, Antonio Piccinno, Giuseppe Desolda, Kori Inkpen.
by Ardito, Carmelo [editor.] | Lanzilotti, Rosa [editor.] | Malizia, Alessio [editor.] | Petrie, Helen [editor.] | Piccinno, Antonio [editor.] | Desolda, Giuseppe [editor.] | Inkpen, Kori [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops [electronic resource] : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings / edited by Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch.
by Habli, Ibrahim [editor.] | Sujan, Mark [editor.] | Gerasimou, Simos [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings / edited by Ibrahim Habli, Mark Sujan, Friedemann Bitsch.
by Habli, Ibrahim [editor.] | Sujan, Mark [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Web and Big Data [electronic resource] : 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part III / edited by Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa.
by Li, Bohan [editor.] | Yue, Lin [editor.] | Tao, Chuanqi [editor.] | Han, Xuming [editor.] | Calvanese, Diego [editor.] | Amagasa, Toshiyuki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Theory of Mind for Human-Machine Teams [electronic resource] : First International Symposium, ToM for Teams 2021, Virtual Event, November 4-6, 2021, Revised Selected Papers / edited by Nikolos Gurney, Gita Sukthankar.
by Gurney, Nikolos [editor.] | Sukthankar, Gita [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings / edited by Adrian Riesco, Min Zhang.
by Riesco, Adrian [editor.] | Zhang, Min [editor.] | 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
|
|
|
|
Deep Generative Models [electronic resource] : Second MICCAI Workshop, DGM4MICCAI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Anirban Mukhopadhyay, Ilkay Oksuz, Sandy Engelhardt, Dajiang Zhu, Yixuan Yuan.
by Mukhopadhyay, Anirban [editor.] | Oksuz, Ilkay [editor.] | Engelhardt, Sandy [editor.] | Zhu, Dajiang [editor.] | Yuan, Yixuan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / edited by Karin Breitman, Ana Cavalcanti.
by Breitman, Karin [editor.] | Cavalcanti, Ana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Diabetic Foot Ulcers Grand Challenge [electronic resource] : Third Challenge, DFUC 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Moi Hoon Yap, Connah Kendrick, Bill Cassidy.
by Yap, Moi Hoon [editor.] | Kendrick, Connah [editor.] | Cassidy, Bill [editor.] | 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
|
|
|
|
Computer Vision - ECCV 2022 Workshops [electronic resource] : Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part VII / edited by Leonid Karlinsky, Tomer Michaeli, Ko Nishino.
by Karlinsky, Leonid [editor.] | Michaeli, Tomer [editor.] | Nishino, Ko [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Data and Social Networks [electronic resource] : 11th International Conference, CSoNet 2022, Virtual Event, December 5-7, 2022, Proceedings / edited by Thang N. Dinh, Minming Li.
by Dinh, Thang N [editor.] | Li, Minming [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops [electronic resource] : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers / edited by Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri.
by Masci, Paolo [editor.] | Bernardeschi, Cinzia [editor.] | Graziani, Pierluigi [editor.] | Koddenbrock, Mario [editor.] | Palmieri, Maurizio [editor.] | 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
|
|
|
|
NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet [electronic resource] : 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007, Proceedings / edited by Ian F. Akyildiz, Raghupathy Sivakumar, Eylem Ekici, Jaudelice Cavalcante de Oliveira, Janise McNair.
by Akyildiz, Ian F [editor.] | Sivakumar, Raghupathy [editor.] | Ekici, Eylem [editor.] | Cavalcante de Oliveira, Jaudelice [editor.] | McNair, Janise [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Secure and Trustworthy Service Composition [electronic resource] : The Aniketos Approach / edited by Achim Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per Håkon Meland, Erkuden Rios.
by Brucker, Achim [editor.] | Dalpiaz, Fabiano [editor.] | Giorgini, Paolo [editor.] | Meland, Per Håkon [editor.] | Rios, Erkuden [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
|
|
|
|
Knowledge Representation for Agents and Multi-Agent Systems [electronic resource] : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers / edited by John-Jules Meyer, Jan M. Broersen.
by Meyer, John-Jules [editor.] | Broersen, Jan M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Case-Based Reasoning Research and Development [electronic resource] : 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings / edited by Eyke Hüllermeier, Mirjam Minor.
by Hüllermeier, Eyke [editor.] | Minor, Mirjam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
