|
|
|
Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / edited by Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare.
by Aceto, Luca [editor.] | Bacci, Giorgio [editor.] | Bacci, Giovanni [editor.] | Ingólfsdóttir, Anna [editor.] | Legay, Axel [editor.] | Mardare, Radu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Pattern Languages of Programming I [electronic resource] / edited by James Noble, Ralph Johnson.
by Noble, James [editor.] | Johnson, Ralph [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
|
|
|
|
The Smart Internet [electronic resource] : Current Research and Future Applications / edited by Mark Chignell, James Cordy, Joanna Ng, Yelena Yesha.
by Chignell, Mark [editor.] | Cordy, James [editor.] | Ng, Joanna [editor.] | Yesha, Yelena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Pattern Languages of Programming II [electronic resource] : Special lssue on Applying Patterns / edited by Paris Avgeriou, Neil B. Harrison, Uwe Zdun.
by Avgeriou, Paris [editor.] | Harrison, Neil B [editor.] | Zdun, Uwe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas.
by Amini, Massih-Reza [editor.] | Canu, Stéphane [editor.] | Fischer, Asja [editor.] | Guns, Tias [editor.] | Kralj Novak, Petra [editor.] | Tsoumakas, Grigorios [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Science XXV [electronic resource] / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Khalid Saeed, Nabendu Chaki, Soharab Hossain Shaikh.
by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Saeed, Khalid [editor.] | Chaki, Nabendu [editor.] | Shaikh, Soharab Hossain [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Development of Multimodal Interfaces: Active Listening and Synchrony [electronic resource] : Second COST 2102 International Training School, Dublin, Ireland, March 23-27, 2009, Revised Selected Papers / edited by Anna Esposito, Nick Campbell, Carl Vogel, Amir Hussain, Anton Nijholt.
by Esposito, Anna [editor.] | Campbell, Nick [editor.] | Vogel, Carl [editor.] | Hussain, Amir [editor.] | Nijholt, Anton [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Science III [electronic resource] / edited by C. J. Kenneth Tan.
by Tan, C. J. Kenneth [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
|
|
|
|
Reasoning Web. Semantic Technologies for Software Engineering [electronic resource] : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures / edited by Uwe Aßmann, Andreas Bartho, Christian Wende.
by Aßmann, Uwe [editor.] | Bartho, Andreas [editor.] | Wende, Christian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Pattern Recognition and Computer Vision [electronic resource] : First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part I / edited by Jian-Huang Lai, Cheng-Lin Liu, Xilin Chen, Jie Zhou, Tieniu Tan, Nanning Zheng, Hongbin Zha.
by Lai, Jian-Huang [editor.] | Liu, Cheng-Lin [editor.] | Chen, Xilin [editor.] | Zhou, Jie [editor.] | Tan, Tieniu [editor.] | Zheng, Nanning [editor.] | Zha, Hongbin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Collective Intelligence XXXI [electronic resource] / edited by Ngoc Thanh Nguyen, Richard Kowalczyk, Jacek Mercik, Anna Motylska-Kuźma.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Richard [editor.] | Mercik, Jacek [editor.] | Motylska-Kuźma, Anna [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun.
by André, Étienne [editor.] | Sun, Jun [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I / edited by Étienne André, Jun Sun.
by André, Étienne [editor.] | Sun, Jun [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
|
|
|
|
Network and System Security [electronic resource] : 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings / edited by Man Ho Au, Siu Ming Yiu, Jin Li, Xiapu Luo, Cong Wang, Aniello Castiglione, Kamil Kluczniak.
by Au, Man Ho [editor.] | Yiu, Siu Ming [editor.] | Li, Jin [editor.] | Luo, Xiapu [editor.] | Wang, Cong [editor.] | Castiglione, Aniello [editor.] | Kluczniak, Kamil [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Web Engineering [electronic resource] : 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11-14, 2019, Proceedings / edited by Maxim Bakaev, Flavius Frasincar, In-Young Ko.
by Bakaev, Maxim [editor.] | Frasincar, Flavius [editor.] | Ko, In-Young [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
|
|
|
|
Advanced Analytics and Learning on Temporal Data [electronic resource] : 4th ECML PKDD Workshop, AALTD 2019, Würzburg, Germany, September 20, 2019, Revised Selected Papers / edited by Vincent Lemaire, Simon Malinowski, Anthony Bagnall, Alexis Bondu, Thomas Guyet, Romain Tavenard.
by Lemaire, Vincent [editor.] | Malinowski, Simon [editor.] | Bagnall, Anthony [editor.] | Bondu, Alexis [editor.] | Guyet, Thomas [editor.] | Tavenard, Romain [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
|
|
|
|
Advances in Visual Computing [electronic resource] : 14th International Symposium on Visual Computing, ISVC 2019, Lake Tahoe, NV, USA, October 7-9, 2019, Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Daniela Ushizima, Sek Chai, Shinjiro Sueda, Xin Lin, Aidong Lu, Daniel Thalmann, Chaoli Wang, Panpan Xu.
by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Ushizima, Daniela [editor.] | Chai, Sek [editor.] | Sueda, Shinjiro [editor.] | Lin, Xin [editor.] | Lu, Aidong [editor.] | Thalmann, Daniel [editor.] | Wang, Chaoli [editor.] | Xu, Panpan [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
|
|
|
|
Responsible Design, Implementation and Use of Information and Communication Technology [electronic resource] : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6-8, 2020, Proceedings, Part I / edited by Marié Hattingh, Machdel Matthee, Hanlie Smuts, Ilias Pappas, Yogesh K. Dwivedi, Matti Mäntymäki.
by Hattingh, Marié [editor.] | Matthee, Machdel [editor.] | Smuts, Hanlie [editor.] | Pappas, Ilias [editor.] | Dwivedi, Yogesh K [editor.] | Mäntymäki, Matti [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
|
|
|
|
Digital Forensics and Watermarking [electronic resource] : 18th International Workshop, IWDW 2019, Chengdu, China, November 2-4, 2019, Revised Selected Papers / edited by Hongxia Wang, Xianfeng Zhao, Yunqing Shi, Hyoung Joong Kim, Alessandro Piva.
by Wang, Hongxia [editor.] | Zhao, Xianfeng [editor.] | Shi, Yunqing [editor.] | Kim, Hyoung Joong [editor.] | Piva, Alessandro [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
|
|
|
|
Computer Security [electronic resource] : ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27, 2019 Revised Selected Papers / edited by Sokratis Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Antón, Stefanos Gritzalis, Frank Pallas, Jörg Pohle, Angela Sasse, Weizhi Meng, Steven Furnell, Joaquin Garcia-Alfaro.
by Katsikas, Sokratis [editor.] | Cuppens, Frédéric [editor.] | Cuppens, Nora [editor.] | Lambrinoudakis, Costas [editor.] | Kalloniatis, Christos [editor.] | Mylopoulos, John [editor.] | Antón, Annie [editor.] | Gritzalis, Stefanos [editor.] | Pallas, Frank [editor.] | Pohle, Jörg [editor.] | Sasse, Angela [editor.] | Meng, Weizhi [editor.] | Furnell, Steven [editor.] | Garcia-Alfaro, Joaquin [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
|
