|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [electronic resource] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers / edited by Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric T Matson.
by Noriega, Pablo [editor.] | Vázquez-Salceda, Javier [editor.] | Boella, Guido [editor.] | Boissier, Olivier [editor.] | Dignum, Virginia [editor.] | Fornara, Nicoletta [editor.] | Matson, Eric T [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
|
|
|
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007, Proceedings / edited by Christopher C. Yang, Daniel Zeng, Michael Chau, Kuiyu Chang, Qing Yang, Xueqi Cheng, Jue Wang, Fei-Yue Wang, Hsinchun Chen.
by Yang, Christopher C [editor.] | Zeng, Daniel [editor.] | Chau, Michael [editor.] | Chang, Kuiyu [editor.] | Yang, Qing [editor.] | Cheng, Xueqi [editor.] | Wang, Jue [editor.] | Wang, Fei-Yue [editor.] | Chen, Hsinchun [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
|
|
|
|
Big Data Benchmarks, Performance Optimization, and Emerging Hardware [electronic resource] : 6th Workshop, BPOE 2015, Kohala, HI, USA, August 31 - September 4, 2015. Revised Selected Papers / edited by Jianfeng Zhan, Rui Han, Roberto V. Zicari.
by Zhan, Jianfeng [editor.] | Han, Rui [editor.] | Zicari, Roberto V [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
|
|
|
|
Swarm Intelligence [electronic resource] : 7th International Conference, ANTS 2010, Brussels, Belgium,September 8-10, 2010 Proceedings / edited by Marco Dorigo, Mauro Birattari, Gianni A. Di Caro, René Doursat, Andries P. Engelbrecht, Dario Floreano, Luca Maria Gambardella, Roderich Gross, Erol Sahin, Thomas Stützle, Hiroki Sayama.
by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Di Caro, Gianni A [editor.] | Doursat, René [editor.] | Engelbrecht, Andries P [editor.] | Floreano, Dario [editor.] | Gambardella, Luca Maria [editor.] | Gross, Roderich [editor.] | Sahin, Erol [editor.] | Stützle, Thomas [editor.] | Sayama, Hiroki [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
|
|
|
|
Reasoning Web [electronic resource] : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures / edited by Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf.
by Antoniou, Grigoris [editor.] | Aßmann, Uwe [editor.] | Baroglio, Cristina [editor.] | Decker, Stefan [editor.] | Henze, Nicola [editor.] | Patranjan, Paula-Lavinia [editor.] | Tolksdorf, Robert [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
|
|
|
|
Web Information Systems Engineering -- WISE 2013 [electronic resource] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I / edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
by Lin, Xuemin [editor.] | Manolopoulos, Yannis [editor.] | Srivastava, Divesh [editor.] | Huang, Guangyan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
