Your search returned 13673 results. Subscribe to this search

|
Principles and Practice of Semantic Web Reasoning [electronic resource] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings / edited by Francois Fages, Sylvain Soliman.

by Fages, Francois [editor.] | Soliman, Sylvain [editor.] | SpringerLink (Online service).

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

Programming Languages with Applications to Biology and Security [electronic resource] : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami.

by Bodei, Chiara [editor.] | Ferrari, Gianluigi [editor.] | Priami, Corrado [editor.] | SpringerLink (Online service).

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

Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings / edited by Olga Galinina, Sergey Andreev, Sergey Balandin, Yevgeni Koucheryavy.

by Galinina, Olga [editor.] | Andreev, Sergey [editor.] | Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service).

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

Algorithms in Bioinformatics [electronic resource] : 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings / edited by Martin Frith, Christian Nørgaard Storm Pedersen.

by Frith, Martin [editor.] | Storm Pedersen, Christian Nørgaard [editor.] | SpringerLink (Online service).

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

Bioinspired Optimization Methods and Their Applications [electronic resource] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / edited by Peter Korošec, Nouredine Melab, El-Ghazali Talbi.

by Korošec, Peter [editor.] | Melab, Nouredine [editor.] | Talbi, El-Ghazali [editor.] | SpringerLink (Online service).

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

Computer Aided Systems Theory - EUROCAST 2017 [electronic resource] : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.

by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service).

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

Multi-Agent Based Simulation XVIII [electronic resource] : International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / edited by Graçaliz Pereira Dimuro, Luis Antunes.

by Dimuro, Graçaliz Pereira [editor.] | Antunes, Luis [editor.] | SpringerLink (Online service).

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

Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 11th International Conference of the CLEF Association, CLEF 2020, Thessaloniki, Greece, September 22-25, 2020, Proceedings / edited by Avi Arampatzis, Evangelos Kanoulas, Theodora Tsikrika, Stefanos Vrochidis, Hideo Joho, Christina Lioma, Carsten Eickhoff, Aurélie Névéol, Linda Cappellato, Nicola Ferro.

by Arampatzis, Avi [editor.] | Kanoulas, Evangelos [editor.] | Tsikrika, Theodora [editor.] | Vrochidis, Stefanos [editor.] | Joho, Hideo [editor.] | Lioma, Christina [editor.] | Eickhoff, Carsten [editor.] | Névéol, Aurélie [editor.] | Cappellato, Linda [editor.] | Ferro, Nicola [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

AI Approaches to the Complexity of Legal Systems XI-XII [electronic resource] : AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers / edited by Víctor Rodríguez-Doncel, Monica Palmirani, Michał Araszkiewicz, Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor.

by Rodríguez-Doncel, Víctor [editor.] | Palmirani, Monica [editor.] | Araszkiewicz, Michał [editor.] | Casanovas, Pompeu [editor.] | Pagallo, Ugo [editor.] | Sartor, Giovanni [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

Interpretability of Machine Intelligence in Medical Image Computing, and Topological Data Analysis and Its Applications for Medical Data [electronic resource] : 4th International Workshop, iMIMIC 2021, and 1st International Workshop, TDA4MedicalData 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / edited by Mauricio Reyes, Pedro Henriques Abreu, Jaime Cardoso, Mustafa Hajij, Ghada Zamzmi, Paul Rahul, Lokendra Thakur.

by Reyes, Mauricio [editor.] | Henriques Abreu, Pedro [editor.] | Cardoso, Jaime [editor.] | Hajij, Mustafa [editor.] | Zamzmi, Ghada [editor.] | Rahul, Paul [editor.] | Thakur, Lokendra [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

Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 12th International Conference of the CLEF Association, CLEF 2021, Virtual Event, September 21-24, 2021, Proceedings / edited by K. Selçuk Candan, Bogdan Ionescu, Lorraine Goeuriot, Birger Larsen, Henning Müller, Alexis Joly, Maria Maistro, Florina Piroi, Guglielmo Faggioli, Nicola Ferro.

by Candan, K. Selçuk [editor.] | Ionescu, Bogdan [editor.] | Goeuriot, Lorraine [editor.] | Larsen, Birger [editor.] | Müller, Henning [editor.] | Joly, Alexis [editor.] | Maistro, Maria [editor.] | Piroi, Florina [editor.] | Faggioli, Guglielmo [editor.] | Ferro, Nicola [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

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies.

by Finkbeiner, Bernd [editor.] | Wies, Thomas [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

Distributed Artificial Intelligence [electronic resource] : Third International Conference, DAI 2021, Shanghai, China, December 17-18, 2021, Proceedings / edited by Jie Chen, Jérôme Lang, Christopher Amato, Dengji Zhao.

by Chen, Jie [editor.] | Lang, Jérôme [editor.] | Amato, Christopher [editor.] | Zhao, Dengji [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

Cyberspace Safety and Security [electronic resource] : 13th International Symposium, CSS 2021, Virtual Event, November 9-11, 2021, Proceedings / edited by Weizhi Meng, Mauro Conti.

by Meng, Weizhi [editor.] | Conti, Mauro [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

Advances in Intelligent Data Analysis XX [electronic resource] : 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20-22, 2022, Proceedings / edited by Tassadit Bouadi, Elisa Fromont, Eyke Hüllermeier.

by Bouadi, Tassadit [editor.] | Fromont, Elisa [editor.] | Hüllermeier, Eyke [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

Data Privacy Management, Cryptocurrencies and Blockchain Technology [electronic resource] : ESORICS 2021 International Workshops, DPM 2021 and CBT 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Jose Luis Muñoz-Tapia, Guillermo Navarro-Arribas, Miguel Soriano.

by Garcia-Alfaro, Joaquin [editor.] | Muñoz-Tapia, Jose Luis [editor.] | Navarro-Arribas, Guillermo [editor.] | Soriano, Miguel [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

Digital Forensics and Watermarking [electronic resource] : 20th International Workshop, IWDW 2021, Beijing, China, November 20-22, 2021, Revised Selected Papers / edited by Xianfeng Zhao, Alessandro Piva, Pedro Comesaña-Alfaro.

by Zhao, Xianfeng [editor.] | Piva, Alessandro [editor.] | Comesaña-Alfaro, Pedro [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

Diabetic Foot Ulcers Grand Challenge [electronic resource] : Second Challenge, DFUC 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / edited by Moi Hoon Yap, Bill Cassidy, Connah Kendrick.

by Yap, Moi Hoon [editor.] | Cassidy, Bill [editor.] | Kendrick, Connah [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

Web and Internet Economics [electronic resource] : 17th International Conference, WINE 2021, Potsdam, Germany, December 14-17, 2021, Proceedings / edited by Michal Feldman, Hu Fu, Inbal Talgam-Cohen.

by Feldman, Michal [editor.] | Fu, Hu [editor.] | Talgam-Cohen, Inbal [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

Transactions on Petri Nets and Other Models of Concurrency XVI [electronic resource] / edited by Maciej Koutny, Fabrice Kordon, Daniel Moldt.

by Koutny, Maciej [editor.] | Kordon, Fabrice [editor.] | Moldt, Daniel [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available