|
|
|
Learning Technologies and Systems [electronic resource] : 19th International Conference on Web-Based Learning, ICWL 2020, and 5th International Symposium on Emerging Technologies for Education, SETE 2020, Ningbo, China, October 22-24, 2020, Proceedings / edited by Chaoyi Pang, Yunjun Gao, Guanliang Chen, Elvira Popescu, Lu Chen, Tianyong Hao, Bailing Zhang, Silvia Margarita Baldiris Navarro, Qing Li.
by Pang, Chaoyi [editor.] | Gao, Yunjun [editor.] | Chen, Guanliang [editor.] | Popescu, Elvira [editor.] | Chen, Lu [editor.] | Hao, Tianyong [editor.] | Zhang, Bailing [editor.] | Navarro, Silvia Margarita Baldiris [editor.] | Li, Qing [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2019, Würzburg, Germany, September 16-20, 2019, Proceedings, Part I / edited by Ulf Brefeld, Elisa Fromont, Andreas Hotho, Arno Knobbe, Marloes Maathuis, Céline Robardet.
by Brefeld, Ulf [editor.] | Fromont, Elisa [editor.] | Hotho, Andreas [editor.] | Knobbe, Arno [editor.] | Maathuis, Marloes [editor.] | Robardet, Céline [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
|
|
|
|
Network and Parallel Computing [electronic resource] : 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020, Revised Selected Papers / edited by Xin He, En Shao, Guangming Tan.
by He, Xin [editor.] | Shao, En [editor.] | Tan, Guangming [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Concept Analysis [electronic resource] : 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings / edited by Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber.
by Braud, Agnès [editor.] | Buzmakov, Aleksey [editor.] | Hanika, Tom [editor.] | Le Ber, Florence [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Bioengineering and Biomedical Signal and Image Processing [electronic resource] : First International Conference, BIOMESIP 2021, Meloneras, Gran Canaria, Spain, July 19-21, 2021, Proceedings / edited by Ignacio Rojas, Daniel Castillo-Secilla, Luis Javier Herrera, Héctor Pomares.
by Rojas, Ignacio [editor.] | Castillo-Secilla, Daniel [editor.] | Herrera, Luis Javier [editor.] | Pomares, Héctor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Financial Cryptography and Data Security. FC 2021 International Workshops [electronic resource] : CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers / edited by Matthew Bernhard, Andrea Bracciali, Lewis Gudgeon, Thomas Haines, Ariah Klages-Mundt, Shin'ichiro Matsuo, Daniel Perez, Massimiliano Sala, Sam Werner.
by Bernhard, Matthew [editor.] | Bracciali, Andrea [editor.] | Gudgeon, Lewis [editor.] | Haines, Thomas [editor.] | Klages-Mundt, Ariah [editor.] | Matsuo, Shin'ichiro [editor.] | Perez, Daniel [editor.] | Sala, Massimiliano [editor.] | Werner, Sam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
End-User Development [electronic resource] : 8th International Symposium, IS-EUD 2021, Virtual Event, July 6-8, 2021, Proceedings / edited by Daniela Fogli, Daniel Tetteroo, Barbara Rita Barricelli, Simone Borsci, Panos Markopoulos, George A. Papadopoulos.
by Fogli, Daniela [editor.] | Tetteroo, Daniel [editor.] | Barricelli, Barbara Rita [editor.] | Borsci, Simone [editor.] | Markopoulos, Panos [editor.] | Papadopoulos, George A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 33rd International Conference, CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings / edited by Marcello La Rosa, Shazia Sadiq, Ernest Teniente.
by La Rosa, Marcello [editor.] | Sadiq, Shazia [editor.] | Teniente, Ernest [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings / edited by Iris Reinhartz-Berger, Shazia Sadiq.
by Reinhartz-Berger, Iris [editor.] | Sadiq, Shazia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Computer Graphics [electronic resource] : 38th Computer Graphics International Conference, CGI 2021, Virtual Event, September 6-10, 2021, Proceedings / edited by Nadia Magnenat-Thalmann, Victoria Interrante, Daniel Thalmann, George Papagiannakis, Bin Sheng, Jinman Kim, Marina Gavrilova.
by Magnenat-Thalmann, Nadia [editor.] | Interrante, Victoria [editor.] | Thalmann, Daniel [editor.] | Papagiannakis, George [editor.] | Sheng, Bin [editor.] | Kim, Jinman [editor.] | Gavrilova, Marina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Yliès Falcone, Martin Leucker.
by Bartocci, Ezio [editor.] | Falcone, Yliès [editor.] | Leucker, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings / edited by Zhe Hou, Vijay Ganesh.
by Hou, Zhe [editor.] | Ganesh, Vijay [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings / edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi.
by Drăgoi, Cezara [editor.] | Mukherjee, Suvam [editor.] | Namjoshi, Kedar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Belief Functions: Theory and Applications [electronic resource] : 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021, Proceedings / edited by Thierry Denœux, Eric Lefèvre, Zhunga Liu, Frédéric Pichon.
by Denœux, Thierry [editor.] | Lefèvre, Eric [editor.] | Liu, Zhunga [editor.] | Pichon, Frédéric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Pattern Recognition and Computer Vision [electronic resource] : 4th Chinese Conference, PRCV 2021, Beijing, China, October 29 - November 1, 2021, Proceedings, Part III / edited by Huimin Ma, Liang Wang, Changshui Zhang, Fei Wu, Tieniu Tan, Yaonan Wang, Jianhuang Lai, Yao Zhao.
by Ma, Huimin [editor.] | Wang, Liang [editor.] | Zhang, Changshui [editor.] | Wu, Fei [editor.] | Tan, Tieniu [editor.] | Wang, Yaonan [editor.] | Lai, Jianhuang [editor.] | Zhao, Yao [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Statistical Language and Speech Processing [electronic resource] : 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings / edited by Luis Espinosa-Anke, Carlos Martín-Vide, Irena Spasić.
by Espinosa-Anke, Luis [editor.] | Martín-Vide, Carlos [editor.] | Spasić, Irena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Fundamentals of Software Engineering [electronic resource] : 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers / edited by Hossein Hojjat, Mieke Massink.
by Hojjat, Hossein [editor.] | Massink, Mieke [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings / edited by Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte.
by Collart-Dutilleul, Simon [editor.] | Haxthausen, Anne E [editor.] | Lecomte, Thierry [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
|
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 19th International Symposium, W2GIS 2022, Constance, Germany, April 28-29, 2022, Proceedings / edited by Farid Karimipour, Sabine Storandt.
by Karimipour, Farid [editor.] | Storandt, Sabine [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
|
