|
|
|
Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker.
by Chechik, Marsha [editor.] | Katoen, Joost-Pieter [editor.] | Leucker, Martin [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part III / edited by Honghai Liu, Zhouping Yin, Lianqing Liu, Li Jiang, Guoying Gu, Xinyu Wu, Weihong Ren.
by Liu, Honghai [editor.] | Yin, Zhouping [editor.] | Liu, Lianqing [editor.] | Jiang, Li [editor.] | Gu, Guoying [editor.] | Wu, Xinyu [editor.] | Ren, Weihong [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
|
|
|
|
Ambient Assistive Health and Wellness Management in the Heart of the City [electronic resource] : 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009, Proceedings / edited by Mokhtari Mounir, Ismail Khalil, Jérémy Bauchet, Daqing Zhang, Chris D. Nugent.
by Mounir, Mokhtari [editor.] | Khalil, Ismail [editor.] | Bauchet, Jérémy [editor.] | Zhang, Daqing [editor.] | Nugent, Chris D [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
|
|
|
|
Smart Sensing and Context [electronic resource] : 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings / edited by Paul Lukowicz, Kai Kunze, Gerd Kortuem.
by Lukowicz, Paul [editor.] | Kunze, Kai [editor.] | Kortuem, Gerd [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings / edited by Edwin Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon Hae Kim, Laurence T. Yang, Bin Xiao.
by Sha, Edwin [editor.] | Han, Sung-Kook [editor.] | Xu, Cheng-Zhong [editor.] | Kim, Moon Hae [editor.] | Yang, Laurence T [editor.] | Xiao, Bin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Cellular Automata [electronic resource] : 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings / edited by Giancarlo Mauri, Samira El Yacoubi, Alberto Dennunzio, Katsuhiro Nishinari, Luca Manzoni.
by Mauri, Giancarlo [editor.] | El Yacoubi, Samira [editor.] | Dennunzio, Alberto [editor.] | Nishinari, Katsuhiro [editor.] | Manzoni, Luca [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
|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings / edited by Juan Moreno García-Loygorri, Antonio Pérez-Yuste, César Briso, Marion Berbineau, Alain Pirovano, Jaizki Mendizábal.
by Moreno García-Loygorri, Juan [editor.] | Pérez-Yuste, Antonio [editor.] | Briso, César [editor.] | Berbineau, Marion [editor.] | Pirovano, Alain [editor.] | Mendizábal, Jaizki [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
|
|
|
|
Reproducible Research in Pattern Recognition [electronic resource] : Third International Workshop, RRPR 2021, Virtual Event, January 11, 2021, Revised Selected Papers / edited by Bertrand Kerautret, Miguel Colom, Adrien Krähenbühl, Daniel Lopresti, Pascal Monasse, Hugues Talbot.
by Kerautret, Bertrand [editor.] | Colom, Miguel [editor.] | Krähenbühl, Adrien [editor.] | Lopresti, Daniel [editor.] | Monasse, Pascal [editor.] | Talbot, Hugues [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
|
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings / edited by Kirstin Peters, Tim A. C. Willemse.
by Peters, Kirstin [editor.] | Willemse, Tim A. C [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 - July 1, 2021, Proceedings / edited by Tomasz Jurdziński, Stefan Schmid.
by Jurdziński, Tomasz [editor.] | Schmid, Stefan [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
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers / edited by Dalibor Klusáček, Walfredo Cirne, Gonzalo P. Rodrigo.
by Klusáček, Dalibor [editor.] | Cirne, Walfredo [editor.] | Rodrigo, Gonzalo P [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
|
|
|
|
Information Retrieval [electronic resource] : 27th China Conference, CCIR 2021, Dalian, China, October 29-31, 2021, Proceedings / edited by Hongfei Lin, Min Zhang, Liang Pang.
by Lin, Hongfei [editor.] | Zhang, Min [editor.] | Pang, Liang [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part IV / edited by Honghai Liu, Zhouping Yin, Lianqing Liu, Li Jiang, Guoying Gu, Xinyu Wu, Weihong Ren.
by Liu, Honghai [editor.] | Yin, Zhouping [editor.] | Liu, Lianqing [editor.] | Jiang, Li [editor.] | Gu, Guoying [editor.] | Wu, Xinyu [editor.] | Ren, Weihong [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas.
by Amini, Massih-Reza [editor.] | Canu, Stéphane [editor.] | Fischer, Asja [editor.] | Guns, Tias [editor.] | Kralj Novak, Petra [editor.] | Tsoumakas, Grigorios [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
|
|
|
|
HCI International 2020 - Late Breaking Papers: Virtual and Augmented Reality [electronic resource] : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings / edited by Constantine Stephanidis, Jessie Y. C. Chen, Gino Fragomeni.
by Stephanidis, Constantine [editor.] | Chen, Jessie Y. C [editor.] | Fragomeni, Gino [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
|
|
|
|
Network and Parallel Computing [electronic resource] : 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020, Revised Selected Papers / edited by Xin He, En Shao, Guangming Tan.
by He, Xin [editor.] | Shao, En [editor.] | Tan, Guangming [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
|
|
|
|
Persuasive Technology [electronic resource] : 16th International Conference, PERSUASIVE 2021, Virtual Event, April 12-14, 2021, Proceedings / edited by Raian Ali, Birgit Lugrin, Fred Charles.
by Ali, Raian [editor.] | Lugrin, Birgit [editor.] | Charles, Fred [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
|
|
|
|
Applied Reconfigurable Computing. Architectures, Tools, and Applications [electronic resource] : 17th International Symposium, ARC 2021, Virtual Event, June 29-30, 2021, Proceedings / edited by Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet.
by Derrien, Steven [editor.] | Hannig, Frank [editor.] | Diniz, Pedro C [editor.] | Chillet, Daniel [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
|
|
|
|
Financial Cryptography and Data Security. FC 2021 International Workshops [electronic resource] : CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers / edited by Matthew Bernhard, Andrea Bracciali, Lewis Gudgeon, Thomas Haines, Ariah Klages-Mundt, Shin'ichiro Matsuo, Daniel Perez, Massimiliano Sala, Sam Werner.
by Bernhard, Matthew [editor.] | Bracciali, Andrea [editor.] | Gudgeon, Lewis [editor.] | Haines, Thomas [editor.] | Klages-Mundt, Ariah [editor.] | Matsuo, Shin'ichiro [editor.] | Perez, Daniel [editor.] | Sala, Massimiliano [editor.] | Werner, Sam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
End-User Development [electronic resource] : 8th International Symposium, IS-EUD 2021, Virtual Event, July 6-8, 2021, Proceedings / edited by Daniela Fogli, Daniel Tetteroo, Barbara Rita Barricelli, Simone Borsci, Panos Markopoulos, George A. Papadopoulos.
by Fogli, Daniela [editor.] | Tetteroo, Daniel [editor.] | Barricelli, Barbara Rita [editor.] | Borsci, Simone [editor.] | Markopoulos, Panos [editor.] | Papadopoulos, George A [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
|
