|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa.
by Areces, Carlos [editor.] | Costa, Diana [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
|
|
|
|
Electronic Participation [electronic resource] : 14th IFIP WG 8.5 International Conference, ePart 2022, Linköping, Sweden, September 6-8, 2022, Proceedings / edited by Robert Krimmer, Marius Rohde Johannessen, Thomas Lampoltshammer, Ida Lindgren, Peter Parycek, Gerhard Schwabe, Jolien Ubacht.
by Krimmer, Robert [editor.] | Rohde Johannessen, Marius [editor.] | Lampoltshammer, Thomas [editor.] | Lindgren, Ida [editor.] | Parycek, Peter [editor.] | Schwabe, Gerhard [editor.] | Ubacht, Jolien [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
|
|
|
|
Artificial Intelligence and Mobile Services - AIMS 2022 [electronic resource] : 11th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings / edited by Xiuqin Pan, Ting Jin, Liang-Jie Zhang.
by Pan, Xiuqin [editor.] | Jin, Ting [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Big Data - BigData 2022 [electronic resource] : 11th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings / edited by Bo Hu, Yunni Xia, Yiwen Zhang, Liang-Jie Zhang.
by Hu, Bo [editor.] | Xia, Yunni [editor.] | Zhang, Yiwen [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Pattern Recognition and Computer Vision [electronic resource] : 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4-7, 2022, Proceedings, Part II / edited by Shiqi Yu, Zhaoxiang Zhang, Pong C. Yuen, Junwei Han, Tieniu Tan, Yike Guo, Jianhuang Lai, Jianguo Zhang.
by Yu, Shiqi [editor.] | Zhang, Zhaoxiang [editor.] | Yuen, Pong C [editor.] | Han, Junwei [editor.] | Tan, Tieniu [editor.] | Guo, Yike [editor.] | Lai, Jianhuang [editor.] | Zhang, Jianguo [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
|
|
|
|
Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2022 Satellite Workshops, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Rome, Italy, June 20-23, 2022, Proceedings / edited by Jianying Zhou, Sridhar Adepu, Cristina Alcaraz, Lejla Batina, Emiliano Casalicchio, Sudipta Chattopadhyay, Chenglu Jin, Jingqiang Lin, Eleonora Losiouk, Suryadipta Majumdar, Weizhi Meng, Stjepan Picek, Jun Shao, Chunhua Su, Cong Wang, Yury Zhauniarovich, Saman Zonouz.
by Zhou, Jianying [editor.] | Adepu, Sridhar [editor.] | Alcaraz, Cristina [editor.] | Batina, Lejla [editor.] | Casalicchio, Emiliano [editor.] | Chattopadhyay, Sudipta [editor.] | Jin, Chenglu [editor.] | Lin, Jingqiang [editor.] | Losiouk, Eleonora [editor.] | Majumdar, Suryadipta [editor.] | Meng, Weizhi [editor.] | Picek, Stjepan [editor.] | Shao, Jun [editor.] | Su, Chunhua [editor.] | Wang, Cong [editor.] | Zhauniarovich, Yury [editor.] | Zonouz, Saman [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
|
|
|
|
The Semantic Web [electronic resource] : 20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28-June 1, 2023, Proceedings / edited by Catia Pesquita, Ernesto Jimenez-Ruiz, Jamie McCusker, Daniel Faria, Mauro Dragoni, Anastasia Dimou, Raphael Troncy, Sven Hertling.
by Pesquita, Catia [editor.] | Jimenez-Ruiz, Ernesto [editor.] | McCusker, Jamie [editor.] | Faria, Daniel [editor.] | Dragoni, Mauro [editor.] | Dimou, Anastasia [editor.] | Troncy, Raphael [editor.] | Hertling, Sven [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
|
|
|
|
Rigorous State-Based Methods [electronic resource] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings / edited by Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque.
by Glässer, Uwe [editor.] | Creissac Campos, Jose [editor.] | Méry, Dominique [editor.] | Palanque, Philippe [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
|
|
|
|
Asynchronous Many-Task Systems and Applications [electronic resource] : First International Workshop, WAMTA 2023, Baton Rouge, LA, USA, February 15-17, 2023, Proceedings / edited by Patrick Diehl, Peter Thoman, Hartmut Kaiser, Laxmikant Kale.
by Diehl, Patrick [editor.] | Thoman, Peter [editor.] | Kaiser, Hartmut [editor.] | Kale, Laxmikant [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
|
|
|
|
Scale Space and Variational Methods in Computer Vision [electronic resource] : 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedings / edited by Luca Calatroni, Marco Donatelli, Serena Morigi, Marco Prato, Matteo Santacesaria.
by Calatroni, Luca [editor.] | Donatelli, Marco [editor.] | Morigi, Serena [editor.] | Prato, Marco [editor.] | Santacesaria, Matteo [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
|
|
|
|
Information for a Better World: Normality, Virtuality, Physicality, Inclusivity [electronic resource] : 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part II / edited by Isaac Sserwanga, Anne Goulding, Heather Moulaison-Sandy, Jia Tina Du, António Lucas Soares, Viviane Hessami, Rebecca D. Frank.
by Sserwanga, Isaac [editor.] | Goulding, Anne [editor.] | Moulaison-Sandy, Heather [editor.] | Du, Jia Tina [editor.] | Soares, António Lucas [editor.] | Hessami, Viviane [editor.] | Frank, Rebecca D [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
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings / edited by Michael Emmerich, André Deutz, Hao Wang, Anna V. Kononova, Boris Naujoks, Ke Li, Kaisa Miettinen, Iryna Yevseyeva.
by Emmerich, Michael [editor.] | Deutz, André [editor.] | Wang, Hao [editor.] | Kononova, Anna V [editor.] | Naujoks, Boris [editor.] | Li, Ke [editor.] | Miettinen, Kaisa [editor.] | Yevseyeva, Iryna [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
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part I / edited by Michael A. Bekos, Markus Chimani.
by Bekos, Michael A [editor.] | Chimani, Markus [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / edited by Martin Gebser, Ilya Sergey.
by Gebser, Martin [editor.] | Sergey, Ilya [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
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part II / edited by Michael A. Bekos, Markus Chimani.
by Bekos, Michael A [editor.] | Chimani, Markus [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
|
|
|
|
Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | Yakobovskiy, Mikhail [editor.] | Shagaliev, Rashit [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
|
|
|
|
Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | Yakobovskiy, Mikhail [editor.] | Shagaliev, Rashit [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 Science - ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I / edited by Jiří Mikyška, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M.A. Sloot.
by Mikyška, Jiří [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [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
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2012 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I / edited by Robert Meersman, Herve Panetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F Cruz.
by Meersman, Robert [editor.] | Panetto, Herve [editor.] | Dillon, Tharam [editor.] | Rinderle-Ma, Stefanie [editor.] | Dadam, Peter [editor.] | Zhou, Xiaofang [editor.] | Pearson, Siani [editor.] | Ferscha, Alois [editor.] | Bergamaschi, Sonia [editor.] | Cruz, Isabel F [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr.
by Wyrzykowski, Roman [editor.] | Deelman, Ewa [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Kitowski, Jacek [editor.] | Wiatr, Kazimierz [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
|
