|
|
|
Artificial Neural Networks and Machine Learning - ICANN 2023 [electronic resource] : 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part IV / edited by Lazaros Iliadis, Antonios Papaleonidas, Plamen Angelov, Chrisina Jayne.
by Iliadis, Lazaros [editor.] | Papaleonidas, Antonios [editor.] | Angelov, Plamen [editor.] | Jayne, Chrisina [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 Neural Networks and Machine Learning - ICANN 2023 [electronic resource] : 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part III / edited by Lazaros Iliadis, Antonios Papaleonidas, Plamen Angelov, Chrisina Jayne.
by Iliadis, Lazaros [editor.] | Papaleonidas, Antonios [editor.] | Angelov, Plamen [editor.] | Jayne, Chrisina [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
|
|
|
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings / edited by Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte.
by Milius, Birgit [editor.] | Collart-Dutilleul, Simon [editor.] | Lecomte, Thierry [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
|
|
|
|
Metaverse - METAVERSE 2023 [electronic resource] : 19th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings / edited by Sheng He, Jiacai Lai, Liang-Jie Zhang.
by He, Sheng [editor.] | Lai, Jiacai [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Web Services - ICWS 2023 [electronic resource] : 30th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings / edited by Yuchao Zhang, Liang-Jie Zhang.
by Zhang, Yuchao [editor.] | Zhang, Liang-Jie [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 and Mobile Services - AIMS 2023 [electronic resource] : 12th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings / edited by Yujiu Yang, Xiaohui Wang, Liang-Jie Zhang.
by Yang, Yujiu [editor.] | Wang, Xiaohui [editor.] | Zhang, Liang-Jie [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
|
|
|
|
The Semantic Web [electronic resource] : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings / edited by John Domingue, Chutiporn Anutariya.
by Domingue, John [editor.] | Anutariya, Chutiporn [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Foundations of Security, Protocols, and Equational Reasoning [electronic resource] : Essays Dedicated to Catherine A. Meadows / edited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic.
by Guttman, Joshua D [editor.] | Landwehr, Carl E [editor.] | Meseguer, José [editor.] | Pavlovic, Dusko [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Language, and Security [electronic resource] : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / edited by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada.
by Nigam, Vivek [editor.] | Ban Kirigin, Tajana [editor.] | Talcott, Carolyn [editor.] | Guttman, Joshua [editor.] | Kuznetsov, Stepan [editor.] | Thau Loo, Boon [editor.] | Okada, Mitsuhiro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Explainable, Transparent Autonomous Agents and Multi-Agent Systems [electronic resource] : Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9-13, 2020, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling.
by Calvaresi, Davide [editor.] | Najjar, Amro [editor.] | Winikoff, Michael [editor.] | Främling, Kary [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence XXXIX [electronic resource] : 42nd SGAI International Conference on Artificial Intelligence, AI 2022, Cambridge, UK, December 13-15, 2022, Proceedings / edited by Max Bramer, Frederic Stahl.
by Bramer, Max [editor.] | Stahl, Frederic [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
|
|
|
|
Augmented Intelligence and Intelligent Tutoring Systems [electronic resource] : 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings / edited by Claude Frasson, Phivos Mylonas, Christos Troussas.
by Frasson, Claude [editor.] | Mylonas, Phivos [editor.] | Troussas, Christos [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
|
|
|
|
Blockchain - ICBC 2023 [electronic resource] : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings / edited by Qin Wang, Jun Feng, Liang-Jie Zhang.
by Wang, Qin [editor.] | Feng, Jun [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Simplifying Medical Ultrasound [electronic resource] : 4th International Workshop, ASMUS 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings / edited by Bernhard Kainz, Alison Noble, Julia Schnabel, Bishesh Khanal, Johanna Paula Müller, Thomas Day.
by Kainz, Bernhard [editor.] | Noble, Alison [editor.] | Schnabel, Julia [editor.] | Khanal, Bishesh [editor.] | Müller, Johanna Paula [editor.] | Day, Thomas [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
|
|
|
|
Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings / edited by Jianying Zhou, Lejla Batina, Zengpeng Li, Jingqiang Lin, Eleonora Losiouk, Suryadipta Majumdar, Daisuke Mashima, Weizhi Meng, Stjepan Picek, Mohammad Ashiqur Rahman, Jun Shao, Masaki Shimaoka, Ezekiel Soremekun, Chunhua Su, Je Sen Teh, Aleksei Udovenko, Cong Wang, Leo Zhang, Yury Zhauniarovich.
by Zhou, Jianying [editor.] | Batina, Lejla [editor.] | Li, Zengpeng [editor.] | Lin, Jingqiang [editor.] | Losiouk, Eleonora [editor.] | Majumdar, Suryadipta [editor.] | Mashima, Daisuke [editor.] | Meng, Weizhi [editor.] | Picek, Stjepan [editor.] | Rahman, Mohammad Ashiqur [editor.] | Shao, Jun [editor.] | Shimaoka, Masaki [editor.] | Soremekun, Ezekiel [editor.] | Su, Chunhua [editor.] | Teh, Je Sen [editor.] | Udovenko, Aleksei [editor.] | Wang, Cong [editor.] | Zhang, Leo [editor.] | Zhauniarovich, Yury [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
|
|
|
|
Bioinformatics Research and Applications [electronic resource] : 19th International Symposium, ISBRA 2023, Wrocław, Poland, October 9-12, 2023, Proceedings / edited by Xuan Guo, Serghei Mangul, Murray Patterson, Alexander Zelikovsky.
by Guo, Xuan [editor.] | Mangul, Serghei [editor.] | Patterson, Murray [editor.] | Zelikovsky, Alexander [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023, Proceedings / edited by George A. Papadopoulos, Florian Rademacher, Jacopo Soldani.
by Papadopoulos, George A [editor.] | Rademacher, Florian [editor.] | Soldani, Jacopo [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
|
|
|
|
Health Information Science [electronic resource] : 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23-24, 2023, Proceedings / edited by Yan Li, Zhisheng Huang, Manik Sharma, Lu Chen, Rui Zhou.
by Li, Yan [editor.] | Huang, Zhisheng [editor.] | Sharma, Manik [editor.] | Chen, Lu [editor.] | Zhou, Rui [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
by Jones, Cliff B [editor.] | Liu, Zhiming [editor.] | Woodcock, Jim [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
|
|
|
|
Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro.
by Bernardo, Marco [editor.] | Padovani, Luca [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
