Your search returned 30123 results. Subscribe to this search

|
Computational Complexity and Property Testing [electronic resource] : On the Interplay Between Randomness and Computation / edited by Oded Goldreich.

by Goldreich, Oded [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Logic and Argumentation [electronic resource] : Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings / edited by Mehdi Dastani, Huimin Dong, Leon van der Torre.

by Dastani, Mehdi [editor.] | Dong, Huimin [editor.] | van der Torre, Leon [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Measurement, Modelling and Evaluation of Computing Systems [electronic resource] : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings / edited by Holger Hermanns.

by Hermanns, Holger [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Complexity and Approximation [electronic resource] : In Memory of Ker-I Ko / edited by Ding-Zhu Du, Jie Wang.

by Du, Ding-Zhu [editor.] | Wang, Jie [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Modeling Decisions for Artificial Intelligence [electronic resource] : 18th International Conference, MDAI 2021, Umeå, Sweden, September 27-30, 2021, Proceedings / edited by Vicenç Torra, Yasuo Narukawa.

by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Design, Operation and Evaluation of Mobile Communications [electronic resource] : Second International Conference, MOBILE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings / edited by Gavriel Salvendy, June Wei.

by Salvendy, Gavriel [editor.] | Wei, June [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Computer Vision - ECCV 2020 [electronic resource] : 16th European Conference, Glasgow, UK, August 23-28, 2020, Proceedings, Part XXVII / edited by Andrea Vedaldi, Horst Bischof, Thomas Brox, Jan-Michael Frahm.

by Vedaldi, Andrea [editor.] | Bischof, Horst [editor.] | Brox, Thomas [editor.] | Frahm, Jan-Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

The Semantic Web - ISWC 2020 [electronic resource] : 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part II / edited by Jeff Z. Pan, Valentina Tamma, Claudia d'Amato, Krzysztof Janowicz, Bo Fu, Axel Polleres, Oshani Seneviratne, Lalana Kagal.

by Pan, Jeff Z [editor.] | Tamma, Valentina [editor.] | d'Amato, Claudia [editor.] | Janowicz, Krzysztof [editor.] | Fu, Bo [editor.] | Polleres, Axel [editor.] | Seneviratne, Oshani [editor.] | Kagal, Lalana [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Combinatorial Optimization [electronic resource] : 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4-6, 2020, Revised Selected Papers / edited by Mourad Baïou, Bernard Gendron, Oktay Günlük, A. Ridha Mahjoub.

by Baïou, Mourad [editor.] | Gendron, Bernard [editor.] | Günlük, Oktay [editor.] | Mahjoub, A. Ridha [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [electronic resource] : 5th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Revised Selected Papers, Part I / edited by Alessandro Crimi, Spyridon Bakas.

by Crimi, Alessandro [editor.] | Bakas, Spyridon [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Agents and Artificial Intelligence [electronic resource] : 14th International Conference, ICAART 2022, Virtual Event, February 3-5, 2022, Revised Selected Papers / edited by Ana Paula Rocha, Luc Steels, Jaap van den Herik.

by Rocha, Ana Paula [editor.] | Steels, Luc [editor.] | van den Herik, Jaap [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Computer Security - ESORICS 2022 [electronic resource] : 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part I / edited by Vijayalakshmi Atluri, Roberto Di Pietro, Christian D. Jensen, Weizhi Meng.

by Atluri, Vijayalakshmi [editor.] | Di Pietro, Roberto [editor.] | Jensen, Christian D [editor.] | Meng, Weizhi [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Intelligent Computer Mathematics [electronic resource] : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings / edited by Kevin Buzzard, Temur Kutsia.

by Buzzard, Kevin [editor.] | Kutsia, Temur [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Ophthalmic Medical Image Analysis [electronic resource] : 8th International Workshop, OMIA 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / edited by Huazhu Fu, Mona K. Garvin, Tom MacGillivray, Yanwu Xu, Yalin Zheng.

by Fu, Huazhu [editor.] | Garvin, Mona K [editor.] | MacGillivray, Tom [editor.] | Xu, Yanwu [editor.] | Zheng, Yalin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Trust in Agent Societies [electronic resource] : 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008. Revised Selected and Invited Papers / edited by Rino Falcone, K. Suzanne Barber, Jordi Sabater-Mir, Munindar P. Singh.

by Falcone, Rino [editor.] | Barber, K. Suzanne [editor.] | Sabater-Mir, Jordi [editor.] | Singh, Munindar P [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers / edited by Francesco Masulli, Leif Peterson, Roberto Tagliaferri.

by Masulli, Francesco [editor.] | Peterson, Leif [editor.] | Tagliaferri, Roberto [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Static Analysis [electronic resource] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings / edited by Kwangkeun Yi.

by Yi, Kwangkeun [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available