|
|
|
Runtime Verification [electronic resource] : 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings / edited by Lu Feng, Dana Fisman.
by Feng, Lu [editor.] | Fisman, Dana [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
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers / edited by Dalibor Klusáček, Walfredo Cirne, Gonzalo P. Rodrigo.
by Klusáček, Dalibor [editor.] | Cirne, Walfredo [editor.] | Rodrigo, Gonzalo P [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
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part II / edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Scherer, Rafał [editor.] | Korytkowski, Marcin [editor.] | Pedrycz, Witold [editor.] | Tadeusiewicz, Ryszard [editor.] | Zurada, Jacek M [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
|
|
|
|
Artificial Intelligence in Education [electronic resource] : 23rd International Conference, AIED 2022, Durham, UK, July 27-31, 2022, Proceedings, Part I / edited by Maria Mercedes Rodrigo, Noburu Matsuda, Alexandra I. Cristea, Vania Dimitrova.
by Rodrigo, Maria Mercedes [editor.] | Matsuda, Noburu [editor.] | Cristea, Alexandra I [editor.] | Dimitrova, Vania [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
|
|
|
|
Medical Image Understanding and Analysis [electronic resource] : 26th Annual Conference, MIUA 2022, Cambridge, UK, July 27-29, 2022, Proceedings / edited by Guang Yang, Angelica Aviles-Rivero, Michael Roberts, Carola-Bibiane Schönlieb.
by Yang, Guang [editor.] | Aviles-Rivero, Angelica [editor.] | Roberts, Michael [editor.] | Schönlieb, Carola-Bibiane [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
|
|
|
|
The Semantic Web: ESWC 2022 Satellite Events [electronic resource] : Hersonissos, Crete, Greece, May 29 - June 2, 2022, Proceedings / edited by Paul Groth, Anisa Rula, Jodi Schneider, Ilaria Tiddi, Elena Simperl, Panos Alexopoulos, Rinke Hoekstra, Mehwish Alam, Anastasia Dimou, Minna Tamper.
by Groth, Paul [editor.] | Rula, Anisa [editor.] | Schneider, Jodi [editor.] | Tiddi, Ilaria [editor.] | Simperl, Elena [editor.] | Alexopoulos, Panos [editor.] | Hoekstra, Rinke [editor.] | Alam, Mehwish [editor.] | Dimou, Anastasia [editor.] | Tamper, Minna [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
|
|
|
|
Cellular Automata [electronic resource] : 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12-15, 2022, Proceedings / edited by Bastien Chopard, Stefania Bandini, Alberto Dennunzio, Mira Arabi Haddad.
by Chopard, Bastien [editor.] | Bandini, Stefania [editor.] | Dennunzio, Alberto [editor.] | Arabi Haddad, Mira [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
|
|
|
|
Advances in Information and Computer Security [electronic resource] : 17th International Workshop on Security, IWSEC 2022, Tokyo, Japan, August 31 - September 2, 2022, Proceedings / edited by Chen-Mou Cheng, Mitsuaki Akiyama.
by Cheng, Chen-Mou [editor.] | Akiyama, Mitsuaki [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
|
|
|
|
Machine Learning and Knowledge Extraction [electronic resource] : 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, Vienna, Austria, August 23-26, 2022, Proceedings / edited by Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar Weippl.
by Holzinger, Andreas [editor.] | Kieseberg, Peter [editor.] | Tjoa, A Min [editor.] | Weippl, Edgar [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part IV / edited by Honghai Liu, Zhouping Yin, Lianqing Liu, Li Jiang, Guoying Gu, Xinyu Wu, Weihong Ren.
by Liu, Honghai [editor.] | Yin, Zhouping [editor.] | Liu, Lianqing [editor.] | Jiang, Li [editor.] | Gu, Guoying [editor.] | Wu, Xinyu [editor.] | Ren, Weihong [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
|
|
|
|
Self-star Properties in Complex Information Systems [electronic resource] : Conceptual and Practical Foundations / edited by Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen.
by Babaoglu, Ozalp [editor.] | Jelasity, Márk [editor.] | Montresor, Alberto [editor.] | Fetzer, Christof [editor.] | Leonardi, Stefano [editor.] | van Moorsel, Aad [editor.] | van Steen, Maarten [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V / edited by Beniamino Murgante, Osvaldo Gervasi, Andres Iglesias, David Taniar, Bernady O. Apduhan.
by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Iglesias, Andres [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A.C [editor.] | Torre, Carmelo M [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Wang, Shangguang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Internationalization, Design and Global Development [electronic resource] : 4th International Conference, IDGD 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings / edited by P.L.Patrick Rau.
by Rau, P.L.Patrick [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
|
|
|
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings / edited by Michael Chau, G. Alan Wang, Xiaolong Zheng, Hsinchun Chen, Daniel Zeng, Wenji Mao.
by Chau, Michael [editor.] | Wang, G. Alan [editor.] | Zheng, Xiaolong [editor.] | Chen, Hsinchun [editor.] | Zeng, Daniel [editor.] | Mao, Wenji [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
|
|
|
|
Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings / edited by Martin Gogolla, Burkhart Wolff.
by Gogolla, Martin [editor.] | Wolff, Burkhart [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
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings / edited by Haris Mouratidis, Colette Rolland.
by Mouratidis, Haris [editor.] | Rolland, Colette [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
|
|
|
|
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk.
by Erwig, Martin [editor.] | Paige, Richard F [editor.] | Van Wyk, Eric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science and Its Applications - ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A.C [editor.] | Torre, Carmelo M [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Wang, Shangguang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
