|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings / edited by Weizhi Meng, Rongxing Lu, Geyong Min, Jaideep Vaidya.
by Meng, Weizhi [editor.] | Lu, Rongxing [editor.] | Min, Geyong [editor.] | Vaidya, Jaideep [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang.
by Dragoi, Cezara [editor.] | Emmi, Michael [editor.] | Wang, Jingbo [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
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / edited by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz.
by Hansen, Helle Hvid [editor.] | Scedrov, Andre [editor.] | de Queiroz, Ruy J.G.B [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
|
|
|
|
Architecture of Computing Systems [electronic resource] : 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings / edited by Georgios Goumas, Sven Tomforde, Jürgen Brehm, Stefan Wildermann, Thilo Pionteck.
by Goumas, Georgios [editor.] | Tomforde, Sven [editor.] | Brehm, Jürgen [editor.] | Wildermann, Stefan [editor.] | Pionteck, Thilo [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
|
|
|
|
Frontiers of Algorithmics [electronic resource] : 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings / edited by Minming Li, Xiaoming Sun, Xiaowei Wu.
by Li, Minming [editor.] | Sun, Xiaoming [editor.] | Wu, Xiaowei [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
|
|
|
|
OpenMP: Advanced Task-Based, Device and Compiler Programming [electronic resource] : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings / edited by Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg.
by McIntosh-Smith, Simon [editor.] | Klemm, Michael [editor.] | de Supinski, Bronis R [editor.] | Deakin, Tom [editor.] | Klinkenberg, Jannis [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
|
|
|
|
Fast and Low-Resource Semi-supervised Abdominal Organ Segmentation [electronic resource] : MICCAI 2022 Challenge, FLARE 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Jun Ma, Bo Wang.
by Ma, Jun [editor.] | Wang, Bo [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
|
|
|
|
Spatial Data and Intelligence [electronic resource] : Third International Conference, SpatialDI 2022, Wuhan, China, August 5-7, 2022, Revised Selected Papers / edited by Huayi Wu, Yu Liu, Jianzhong Li, Xiaofeng Meng, Qingfeng Guan, Xuan Song, Guoqiong Liao, Guoliang Li.
by Wu, Huayi [editor.] | Liu, Yu [editor.] | Li, Jianzhong [editor.] | Meng, Xiaofeng [editor.] | Guan, Qingfeng [editor.] | Song, Xuan [editor.] | Liao, Guoqiong [editor.] | Li, Guoliang [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
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings / edited by Catherine Dubois, Manfred Kerber.
by Dubois, Catherine [editor.] | Kerber, Manfred [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
|
|
|
|
Theory of Cryptography [electronic resource] : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part I / edited by Eike Kiltz, Vinod Vaikuntanathan.
by Kiltz, Eike [editor.] | Vaikuntanathan, Vinod [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
|
|
|
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings / edited by Andre A. Cire.
by Cire, Andre 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
|
|
|
|
Logic and Its Applications [electronic resource] : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings / edited by Mohua Banerjee, A. V. Sreejith.
by Banerjee, Mohua [editor.] | Sreejith, A. V [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
|
|
|
|
Edge Computing - EDGE 2022 [electronic resource] : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings / edited by Min Luo, Liang-Jie Zhang.
by Luo, Min [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Heterogeneous Data Management, Polystores, and Analytics for Healthcare [electronic resource] : VLDB Workshops, Poly 2022 and DMAH 2022, Virtual Event, September 9, 2022, Revised Selected Papers / edited by El Kindi Rezig, Vijay Gadepally, Timothy Mattson, Michael Stonebraker, Tim Kraska, Jun Kong, Gang Luo, Dejun Teng, Fusheng Wang.
by Rezig, El Kindi [editor.] | Gadepally, Vijay [editor.] | Mattson, Timothy [editor.] | Stonebraker, Michael [editor.] | Kraska, Tim [editor.] | Kong, Jun [editor.] | Luo, Gang [editor.] | Teng, Dejun [editor.] | Wang, Fusheng [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
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part II / edited by Alexander Gelbukh.
by Gelbukh, Alexander [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 Linguistics and Intelligent Text Processing [electronic resource] : 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part II / edited by Alexander Gelbukh.
by Gelbukh, Alexander [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings / edited by Sergio Rajsbaum, Alkida Balliu, Joshua J. Daymude, Dennis Olivetti.
by Rajsbaum, Sergio [editor.] | Balliu, Alkida [editor.] | Daymude, Joshua J [editor.] | Olivetti, Dennis [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
|
|
|
|
Computers and Games [electronic resource] : International Conference, CG 2022, Virtual Event, November 22-24, 2022, Revised Selected Papers / edited by Cameron Browne, Akihiro Kishimoto, Jonathan Schaeffer.
by Browne, Cameron [editor.] | Kishimoto, Akihiro [editor.] | Schaeffer, Jonathan [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
|
|
|
|
Artificial Intelligence [electronic resource] : Second CAAI International Conference, CICAI 2022, Beijing, China, August 27-28, 2022, Revised Selected Papers, Part II / edited by Lu Fang, Daniel Povey, Guangtao Zhai, Tao Mei, Ruiping Wang.
by Fang, Lu [editor.] | Povey, Daniel [editor.] | Zhai, Guangtao [editor.] | Mei, Tao [editor.] | Wang, Ruiping [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
|
|
|
|
Algorithms and Data Structures [electronic resource] : 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings / edited by Pat Morin, Subhash Suri.
by Morin, Pat [editor.] | Suri, Subhash [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
|
