Your search returned 5337 results. Subscribe to this search

|
Logic-Based Program Synthesis and Transformation [electronic resource] : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers / edited by Maurizio Gabbrielli.

by Gabbrielli, Maurizio [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

Smart Card Research and Advanced Applications [electronic resource] : 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019, Revised Selected Papers / edited by Sonia Belaïd, Tim Güneysu.

by Belaïd, Sonia [editor.] | Güneysu, Tim [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 Multi-Agent Programming Contest 2018 [electronic resource] : Agents Teaming Up in an Urban Environment / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas.

by Ahlbrecht, Tobias [editor.] | Dix, Jürgen [editor.] | Fiekas, Niklas [editor.] | SpringerLink (Online service).

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

Distributed Computing and Internet Technology [electronic resource] : 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings / edited by Dang Van Hung, Meenakshi D´Souza.

by Hung, Dang Van [editor.] | D´Souza, Meenakshi [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

Data and Applications Security and Privacy XXXIV [electronic resource] : 34th Annual IFIP WG 11.3 Conference, DBSec 2020, Regensburg, Germany, June 25-26, 2020, Proceedings / edited by Anoop Singhal, Jaideep Vaidya.

by Singhal, Anoop [editor.] | Vaidya, Jaideep [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

Pattern Recognition [electronic resource] : 12th Mexican Conference, MCPR 2020, Morelia, Mexico, June 24-27, 2020, Proceedings / edited by Karina Mariela Figueroa Mora, Juan Anzurez Marín, Jaime Cerda, Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, José Arturo Olvera-López.

by Figueroa Mora, Karina Mariela [editor.] | Anzurez Marín, Juan [editor.] | Cerda, Jaime [editor.] | Carrasco-Ochoa, Jesús Ariel [editor.] | Martínez-Trinidad, José Francisco [editor.] | Olvera-López, José Arturo [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

Inductive Logic Programming [electronic resource] : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings / edited by Dimitar Kazakov, Can Erten.

by Kazakov, Dimitar [editor.] | Erten, Can [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

Intelligent Tutoring Systems [electronic resource] : 16th International Conference, ITS 2020, Athens, Greece, June 8-12, 2020, Proceedings / edited by Vivekanandan Kumar, Christos Troussas.

by Kumar, Vivekanandan [editor.] | Troussas, Christos [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 Algorithms [electronic resource] : 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020, Proceedings / edited by Leszek Gąsieniec, Ralf Klasing, Tomasz Radzik.

by Gąsieniec, Leszek [editor.] | Klasing, Ralf [editor.] | Radzik, Tomasz [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 [electronic resource] : 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31-June 4, 2020, Proceedings / edited by Andreas Harth, Sabrina Kirrane, Axel-Cyrille Ngonga Ngomo, Heiko Paulheim, Anisa Rula, Anna Lisa Gentile, Peter Haase, Michael Cochez.

by Harth, Andreas [editor.] | Kirrane, Sabrina [editor.] | Ngonga Ngomo, Axel-Cyrille [editor.] | Paulheim, Heiko [editor.] | Rula, Anisa [editor.] | Gentile, Anna Lisa [editor.] | Haase, Peter [editor.] | Cochez, 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

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 II / 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

Trust, Privacy and Security in Digital Business [electronic resource] : 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings / edited by Stefanos Gritzalis, Edgar R. Weippl, Gabriele Kotsis, A Min Tjoa, Ismail Khalil.

by Gritzalis, Stefanos [editor.] | Weippl, Edgar R [editor.] | Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [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

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops [electronic resource] : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / edited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira.

by Casimiro, António [editor.] | Ortmeier, Frank [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | Ferreira, Pedro [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

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022 [electronic resource] : 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part V / edited by Linwei Wang, Qi Dou, P. Thomas Fletcher, Stefanie Speidel, Shuo Li.

by Wang, Linwei [editor.] | Dou, Qi [editor.] | Fletcher, P. Thomas [editor.] | Speidel, Stefanie [editor.] | Li, Shuo [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

Secure IT Systems [electronic resource] : 25th Nordic Conference, NordSec 2020, Virtual Event, November 23-24, 2020, Proceedings / edited by Mikael Asplund, Simin Nadjm-Tehrani.

by Asplund, Mikael [editor.] | Nadjm-Tehrani, Simin [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

Social Robotics [electronic resource] : 12th International Conference, ICSR 2020, Golden, CO, USA, November 14-18, 2020, Proceedings / edited by Alan R. Wagner, David Feil-Seifer, Kerstin S. Haring, Silvia Rossi, Thomas Williams, Hongsheng He, Shuzhi Sam Ge.

by Wagner, Alan R [editor.] | Feil-Seifer, David [editor.] | Haring, Kerstin S [editor.] | Rossi, Silvia [editor.] | Williams, Thomas [editor.] | He, Hongsheng [editor.] | Sam Ge, Shuzhi [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

Domain Adaptation and Representation Transfer [electronic resource] : 4th MICCAI Workshop, DART 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Konstantinos Kamnitsas, Lisa Koch, Mobarakol Islam, Ziyue Xu, Jorge Cardoso, Qi Dou, Nicola Rieke, Sotirios Tsaftaris.

by Kamnitsas, Konstantinos [editor.] | Koch, Lisa [editor.] | Islam, Mobarakol [editor.] | Xu, Ziyue [editor.] | Cardoso, Jorge [editor.] | Dou, Qi [editor.] | Rieke, Nicola [editor.] | Tsaftaris, Sotirios [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

Graph-Based Representation and Reasoning [electronic resource] : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12-15, 2022, Proceedings / edited by Tanya Braun, Diana Cristea, Robert Jäschke.

by Braun, Tanya [editor.] | Cristea, Diana [editor.] | Jäschke, Robert [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

Uncertainty for Safe Utilization of Machine Learning in Medical Imaging [electronic resource] : 4th International Workshop, UNSURE 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Carole H. Sudre, Christian F. Baumgartner, Adrian Dalca, Chen Qin, Ryutaro Tanno, Koen Van Leemput, William M. Wells III.

by Sudre, Carole H [editor.] | Baumgartner, Christian F [editor.] | Dalca, Adrian [editor.] | Qin, Chen [editor.] | Tanno, Ryutaro [editor.] | Van Leemput, Koen [editor.] | Wells III, William M [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

Medical Optical Imaging and Virtual Microscopy Image Analysis [electronic resource] : First International Workshop, MOVI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Yuankai Huo, Bryan A. Millis, Yuyin Zhou, Xiangxue Wang, Adam P. Harrison, Ziyue Xu.

by Huo, Yuankai [editor.] | Millis, Bryan A [editor.] | Zhou, Yuyin [editor.] | Wang, Xiangxue [editor.] | Harrison, Adam P [editor.] | Xu, Ziyue [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