Central Library catalog › Results of search for 'se,phr:"LECTURE NOTES"'

Your search returned 7518 results.

		Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
		Computational Advances in Bio and Medical Sciences [electronic resource] : 11th International Conference, ICCABS 2021, Virtual Event, December 16-18, 2021, Revised Selected Papers / edited by Mukul S. Bansal, Ion Măndoiu, Marmar Moussa, Murray Patterson, Sanguthevar Rajasekaran, Pavel Skums, Alexander Zelikovsky. by Bansal, Mukul S [editor.] \| Măndoiu, Ion [editor.] \| Moussa, Marmar [editor.] \| Patterson, Murray [editor.] \| Rajasekaran, Sanguthevar [editor.] \| Skums, Pavel [editor.] \| Zelikovsky, Alexander [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
		Distributed, Collaborative, and Federated Learning, and Affordable AI and Healthcare for Resource Diverse Global Health [electronic resource] : Third MICCAI Workshop, DeCaF 2022, and Second MICCAI Workshop, FAIR 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18 and 22, 2022, Proceedings / edited by Shadi Albarqouni, Spyridon Bakas, Sophia Bano, M. Jorge Cardoso, Bishesh Khanal, Bennett Landman, Xiaoxiao Li, Chen Qin, Islem Rekik, Nicola Rieke, Holger Roth, Debdoot Sheet, Daguang Xu. by Albarqouni, Shadi [editor.] \| Bakas, Spyridon [editor.] \| Bano, Sophia [editor.] \| Cardoso, M. Jorge [editor.] \| Khanal, Bishesh [editor.] \| Landman, Bennett [editor.] \| Li, Xiaoxiao [editor.] \| Qin, Chen [editor.] \| Rekik, Islem [editor.] \| Rieke, Nicola [editor.] \| Roth, Holger [editor.] \| Sheet, Debdoot [editor.] \| Xu, Daguang [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
		Chinese Computational Linguistics [electronic resource] : 21st China National Conference, CCL 2022, Nanchang, China, October 14-16, 2022, Proceedings / edited by Maosong Sun, Yang Liu, Wanxiang Che, Yang Feng, Xipeng Qiu, Gaoqi Rao, Yubo Chen. by Sun, Maosong [editor.] \| Liu, Yang [editor.] \| Che, Wanxiang [editor.] \| Feng, Yang [editor.] \| Qiu, Xipeng [editor.] \| Rao, Gaoqi [editor.] \| Chen, Yubo [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
		Disinformation in Open Online Media [electronic resource] : 4th Multidisciplinary International Symposium, MISDOOM 2022, Boise, ID, USA, October 11-12, 2022, Proceedings / edited by Francesca Spezzano, Adriana Amaral, Davide Ceolin, Lisa Fazio, Edoardo Serra. by Spezzano, Francesca [editor.] \| Amaral, Adriana [editor.] \| Ceolin, Davide [editor.] \| Fazio, Lisa [editor.] \| Serra, Edoardo [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
		Similarity Search and Applications [electronic resource] : 15th International Conference, SISAP 2022, Bologna, Italy, October 5-7, 2022, Proceedings / edited by Tomáš Skopal, Fabrizio Falchi, Jakub Lokoč, Maria Luisa Sapino, Ilaria Bartolini, Marco Patella. by Skopal, Tomáš [editor.] \| Falchi, Fabrizio [editor.] \| Lokoč, Jakub [editor.] \| Sapino, Maria Luisa [editor.] \| Bartolini, Ilaria [editor.] \| Patella, Marco [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
		Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers / edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture. by Cerone, Antonio [editor.] \| Autili, Marco [editor.] \| Bucaioni, Alessio [editor.] \| Gomes, Cláudio [editor.] \| Graziani, Pierluigi [editor.] \| Palmieri, Maurizio [editor.] \| Temperini, Marco [editor.] \| Venture, Gentiane [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
		Reasoning Web. Causality, Explanations and Declarative Knowledge [electronic resource] : 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures / edited by Leopoldo Bertossi, Guohui Xiao. by Bertossi, Leopoldo [editor.] \| Xiao, Guohui [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 and Big Data [electronic resource] : 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part I / edited by Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa. by Li, Bohan [editor.] \| Yue, Lin [editor.] \| Tao, Chuanqi [editor.] \| Han, Xuming [editor.] \| Calvanese, Diego [editor.] \| Amagasa, Toshiyuki [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
		Clinical Image-Based Procedures [electronic resource] : 11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Yufei Chen, Marius George Linguraru, Raj Shekhar, Stefan Wesarg, Marius Erdt, Klaus Drechsler, Cristina Oyarzun Laura. by Chen, Yufei [editor.] \| Linguraru, Marius George [editor.] \| Shekhar, Raj [editor.] \| Wesarg, Stefan [editor.] \| Erdt, Marius [editor.] \| Drechsler, Klaus [editor.] \| Oyarzun Laura, Cristina [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
		Collaboration Technologies and Social Computing [electronic resource] : 28th International Conference, CollabTech 2022, Santiago, Chile, November 8-11, 2022, Proceedings / edited by Lung-Hsiang Wong, Yugo Hayashi, Cesar A. Collazos, Claudio Alvarez, Gustavo Zurita, Nelson Baloian. by Wong, Lung-Hsiang [editor.] \| Hayashi, Yugo [editor.] \| Collazos, Cesar A [editor.] \| Alvarez, Claudio [editor.] \| Zurita, Gustavo [editor.] \| Baloian, Nelson [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
		Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [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
		Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
		Decision and Game Theory for Security [electronic resource] : 14th International Conference, GameSec 2023, Avignon, France, October 18-20, 2023, Proceedings / edited by Jie Fu, Tomas Kroupa, Yezekael Hayel. by Fu, Jie [editor.] \| Kroupa, Tomas [editor.] \| Hayel, Yezekael [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
		Big Data and Artificial Intelligence [electronic resource] : 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023, Proceedings / edited by Vikram Goyal, Naveen Kumar, Sourav S. Bhowmick, Pawan Goyal, Navneet Goyal, Dhruv Kumar. by Goyal, Vikram [editor.] \| Kumar, Naveen [editor.] \| Bhowmick, Sourav S [editor.] \| Goyal, Pawan [editor.] \| Goyal, Navneet [editor.] \| Kumar, Dhruv [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
		Linking Theory and Practice of Digital Libraries [electronic resource] : 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings / edited by Omar Alonso, Helena Cousijn, Gianmaria Silvello, Mónica Marrero, Carla Teixeira Lopes, Stefano Marchesin. by Alonso, Omar [editor.] \| Cousijn, Helena [editor.] \| Silvello, Gianmaria [editor.] \| Marrero, Mónica [editor.] \| Teixeira Lopes, Carla [editor.] \| Marchesin, Stefano [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
		Human-Computer Interaction - INTERACT 2023 [electronic resource] : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II / edited by José Abdelnour Nocera, Marta Kristín Lárusdóttir, Helen Petrie, Antonio Piccinno, Marco Winckler. by Abdelnour Nocera, José [editor.] \| Kristín Lárusdóttir, Marta [editor.] \| Petrie, Helen [editor.] \| Piccinno, Antonio [editor.] \| Winckler, Marco [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
		Universal Access in Human-Computer Interaction [electronic resource] : 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Margherita Antona, Constantine Stephanidis. by Antona, Margherita [editor.] \| Stephanidis, Constantine [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
		Computational Science and Its Applications - ICCSA 2023 Workshops [electronic resource] : Athens, Greece, July 3-6, 2023, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Ana Maria A. C. Rocha, Chiara Garau, Francesco Scorza, Yeliz Karaca, Carmelo M. Torre. by Gervasi, Osvaldo [editor.] \| Murgante, Beniamino [editor.] \| Rocha, Ana Maria A. C [editor.] \| Garau, Chiara [editor.] \| Scorza, Francesco [editor.] \| Karaca, Yeliz [editor.] \| Torre, Carmelo M [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
		Spatial Data and Intelligence [electronic resource] : 4th International Conference, SpatialDI 2023, Nanchang, China, April 13-15, 2023, Proceedings / edited by Xiaofeng Meng, Xiang Li, Jianqiu Xu, Xueying Zhang, Yuming Fang, Bolong Zheng, Yafei Li. by Meng, Xiaofeng [editor.] \| Li, Xiang [editor.] \| Xu, Jianqiu [editor.] \| Zhang, Xueying [editor.] \| Fang, Yuming [editor.] \| Zheng, Bolong [editor.] \| Li, Yafei [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

		Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
		Computational Advances in Bio and Medical Sciences [electronic resource] : 11th International Conference, ICCABS 2021, Virtual Event, December 16-18, 2021, Revised Selected Papers / edited by Mukul S. Bansal, Ion Măndoiu, Marmar Moussa, Murray Patterson, Sanguthevar Rajasekaran, Pavel Skums, Alexander Zelikovsky. by Bansal, Mukul S [editor.] \| Măndoiu, Ion [editor.] \| Moussa, Marmar [editor.] \| Patterson, Murray [editor.] \| Rajasekaran, Sanguthevar [editor.] \| Skums, Pavel [editor.] \| Zelikovsky, Alexander [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
		Distributed, Collaborative, and Federated Learning, and Affordable AI and Healthcare for Resource Diverse Global Health [electronic resource] : Third MICCAI Workshop, DeCaF 2022, and Second MICCAI Workshop, FAIR 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18 and 22, 2022, Proceedings / edited by Shadi Albarqouni, Spyridon Bakas, Sophia Bano, M. Jorge Cardoso, Bishesh Khanal, Bennett Landman, Xiaoxiao Li, Chen Qin, Islem Rekik, Nicola Rieke, Holger Roth, Debdoot Sheet, Daguang Xu. by Albarqouni, Shadi [editor.] \| Bakas, Spyridon [editor.] \| Bano, Sophia [editor.] \| Cardoso, M. Jorge [editor.] \| Khanal, Bishesh [editor.] \| Landman, Bennett [editor.] \| Li, Xiaoxiao [editor.] \| Qin, Chen [editor.] \| Rekik, Islem [editor.] \| Rieke, Nicola [editor.] \| Roth, Holger [editor.] \| Sheet, Debdoot [editor.] \| Xu, Daguang [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
		Chinese Computational Linguistics [electronic resource] : 21st China National Conference, CCL 2022, Nanchang, China, October 14-16, 2022, Proceedings / edited by Maosong Sun, Yang Liu, Wanxiang Che, Yang Feng, Xipeng Qiu, Gaoqi Rao, Yubo Chen. by Sun, Maosong [editor.] \| Liu, Yang [editor.] \| Che, Wanxiang [editor.] \| Feng, Yang [editor.] \| Qiu, Xipeng [editor.] \| Rao, Gaoqi [editor.] \| Chen, Yubo [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
		Disinformation in Open Online Media [electronic resource] : 4th Multidisciplinary International Symposium, MISDOOM 2022, Boise, ID, USA, October 11-12, 2022, Proceedings / edited by Francesca Spezzano, Adriana Amaral, Davide Ceolin, Lisa Fazio, Edoardo Serra. by Spezzano, Francesca [editor.] \| Amaral, Adriana [editor.] \| Ceolin, Davide [editor.] \| Fazio, Lisa [editor.] \| Serra, Edoardo [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
		Similarity Search and Applications [electronic resource] : 15th International Conference, SISAP 2022, Bologna, Italy, October 5-7, 2022, Proceedings / edited by Tomáš Skopal, Fabrizio Falchi, Jakub Lokoč, Maria Luisa Sapino, Ilaria Bartolini, Marco Patella. by Skopal, Tomáš [editor.] \| Falchi, Fabrizio [editor.] \| Lokoč, Jakub [editor.] \| Sapino, Maria Luisa [editor.] \| Bartolini, Ilaria [editor.] \| Patella, Marco [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
		Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers / edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture. by Cerone, Antonio [editor.] \| Autili, Marco [editor.] \| Bucaioni, Alessio [editor.] \| Gomes, Cláudio [editor.] \| Graziani, Pierluigi [editor.] \| Palmieri, Maurizio [editor.] \| Temperini, Marco [editor.] \| Venture, Gentiane [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
		Reasoning Web. Causality, Explanations and Declarative Knowledge [electronic resource] : 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures / edited by Leopoldo Bertossi, Guohui Xiao. by Bertossi, Leopoldo [editor.] \| Xiao, Guohui [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 and Big Data [electronic resource] : 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part I / edited by Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa. by Li, Bohan [editor.] \| Yue, Lin [editor.] \| Tao, Chuanqi [editor.] \| Han, Xuming [editor.] \| Calvanese, Diego [editor.] \| Amagasa, Toshiyuki [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
		Clinical Image-Based Procedures [electronic resource] : 11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Yufei Chen, Marius George Linguraru, Raj Shekhar, Stefan Wesarg, Marius Erdt, Klaus Drechsler, Cristina Oyarzun Laura. by Chen, Yufei [editor.] \| Linguraru, Marius George [editor.] \| Shekhar, Raj [editor.] \| Wesarg, Stefan [editor.] \| Erdt, Marius [editor.] \| Drechsler, Klaus [editor.] \| Oyarzun Laura, Cristina [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
		Collaboration Technologies and Social Computing [electronic resource] : 28th International Conference, CollabTech 2022, Santiago, Chile, November 8-11, 2022, Proceedings / edited by Lung-Hsiang Wong, Yugo Hayashi, Cesar A. Collazos, Claudio Alvarez, Gustavo Zurita, Nelson Baloian. by Wong, Lung-Hsiang [editor.] \| Hayashi, Yugo [editor.] \| Collazos, Cesar A [editor.] \| Alvarez, Claudio [editor.] \| Zurita, Gustavo [editor.] \| Baloian, Nelson [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
		Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [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
		Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
		Decision and Game Theory for Security [electronic resource] : 14th International Conference, GameSec 2023, Avignon, France, October 18-20, 2023, Proceedings / edited by Jie Fu, Tomas Kroupa, Yezekael Hayel. by Fu, Jie [editor.] \| Kroupa, Tomas [editor.] \| Hayel, Yezekael [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
		Big Data and Artificial Intelligence [electronic resource] : 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023, Proceedings / edited by Vikram Goyal, Naveen Kumar, Sourav S. Bhowmick, Pawan Goyal, Navneet Goyal, Dhruv Kumar. by Goyal, Vikram [editor.] \| Kumar, Naveen [editor.] \| Bhowmick, Sourav S [editor.] \| Goyal, Pawan [editor.] \| Goyal, Navneet [editor.] \| Kumar, Dhruv [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
		Linking Theory and Practice of Digital Libraries [electronic resource] : 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings / edited by Omar Alonso, Helena Cousijn, Gianmaria Silvello, Mónica Marrero, Carla Teixeira Lopes, Stefano Marchesin. by Alonso, Omar [editor.] \| Cousijn, Helena [editor.] \| Silvello, Gianmaria [editor.] \| Marrero, Mónica [editor.] \| Teixeira Lopes, Carla [editor.] \| Marchesin, Stefano [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
		Human-Computer Interaction - INTERACT 2023 [electronic resource] : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II / edited by José Abdelnour Nocera, Marta Kristín Lárusdóttir, Helen Petrie, Antonio Piccinno, Marco Winckler. by Abdelnour Nocera, José [editor.] \| Kristín Lárusdóttir, Marta [editor.] \| Petrie, Helen [editor.] \| Piccinno, Antonio [editor.] \| Winckler, Marco [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
		Universal Access in Human-Computer Interaction [electronic resource] : 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Margherita Antona, Constantine Stephanidis. by Antona, Margherita [editor.] \| Stephanidis, Constantine [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
		Computational Science and Its Applications - ICCSA 2023 Workshops [electronic resource] : Athens, Greece, July 3-6, 2023, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Ana Maria A. C. Rocha, Chiara Garau, Francesco Scorza, Yeliz Karaca, Carmelo M. Torre. by Gervasi, Osvaldo [editor.] \| Murgante, Beniamino [editor.] \| Rocha, Ana Maria A. C [editor.] \| Garau, Chiara [editor.] \| Scorza, Francesco [editor.] \| Karaca, Yeliz [editor.] \| Torre, Carmelo M [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
		Spatial Data and Intelligence [electronic resource] : 4th International Conference, SpatialDI 2023, Nanchang, China, April 13-15, 2023, Proceedings / edited by Xiaofeng Meng, Xiang Li, Jianqiu Xu, Xueying Zhang, Yuming Fang, Bolong Zheng, Yafei Li. by Meng, Xiaofeng [editor.] \| Li, Xiang [editor.] \| Xu, Jianqiu [editor.] \| Zhang, Xueying [editor.] \| Fang, Yuming [editor.] \| Zheng, Bolong [editor.] \| Li, Yafei [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

Central Library

Refine your search

Availability

Authors

Item types

Series

Topics