|
|
|
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
|
|
|
|
Advances in Natural Computation [electronic resource] : First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I / edited by Lipo Wang, Ke Chen, Yew Soon Ong.
by Wang, Lipo [editor.] | Chen, Ke [editor.] | Ong, Yew Soon [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
|
|
|
|
System Analysis and Modeling [electronic resource] : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / edited by Daniel Amyot, Alan W. Williams.
by Amyot, Daniel [editor.] | Williams, Alan W [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
|
|
|
|
Fuzzy Systems and Knowledge Discovery [electronic resource] : Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II / edited by Lipo Wang, Yaochu Jin.
by Wang, Lipo [editor.] | Jin, Yaochu [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
|
|
|
|
Simulated Evolution and Learning [electronic resource] : 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings / edited by Yuhui Shi, Kay Chen Tan, Mengjie Zhang, Ke Tang, Xiaodong Li, Qingfu Zhang, Ying Tan, Martin Middendorf, Yaochu Jin.
by Shi, Yuhui [editor.] | Tan, Kay Chen [editor.] | Zhang, Mengjie [editor.] | Tang, Ke [editor.] | Li, Xiaodong [editor.] | Zhang, Qingfu [editor.] | Tan, Ying [editor.] | Middendorf, Martin [editor.] | Jin, Yaochu [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
|
|
|
|
Conceptual Modeling [electronic resource] : 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings / edited by Alberto H. F. Laender, Barbara Pernici, Ee-Peng Lim, José Palazzo M. de Oliveira.
by Laender, Alberto H. F [editor.] | Pernici, Barbara [editor.] | Lim, Ee-Peng [editor.] | de Oliveira, José Palazzo M [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
|
|
|
|
Complex Computational Ecosystems [electronic resource] : First International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023, Proceedings / edited by Pierre Collet, Latafat Gardashova, Samer El Zant, Ulviya Abdulkarimova.
by Collet, Pierre [editor.] | Gardashova, Latafat [editor.] | El Zant, Samer [editor.] | Abdulkarimova, Ulviya [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
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings / edited by Tiago Prince Sales, João Araújo, José Borbinha, Giancarlo Guizzardi.
by Sales, Tiago Prince [editor.] | Araújo, João [editor.] | Borbinha, José [editor.] | Guizzardi, Giancarlo [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
|
|
|
|
AIxIA 2023 - Advances in Artificial Intelligence [electronic resource] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini.
by Basili, Roberto [editor.] | Lembo, Domenico [editor.] | Limongelli, Carla [editor.] | Orlandini, Andrea [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 - ISWC 2023 [electronic resource] : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II / edited by Terry R. Payne, Valentina Presutti, Guilin Qi, María Poveda-Villalón, Giorgos Stoilos, Laura Hollink, Zoi Kaoudi, Gong Cheng, Juanzi Li.
by Payne, Terry R [editor.] | Presutti, Valentina [editor.] | Qi, Guilin [editor.] | Poveda-Villalón, María [editor.] | Stoilos, Giorgos [editor.] | Hollink, Laura [editor.] | Kaoudi, Zoi [editor.] | Cheng, Gong [editor.] | Li, Juanzi [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
|
|
|
|
Modelling and Simulation for Autonomous Systems [electronic resource] : First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers / edited by Jan Hodicky.
by Hodicky, Jan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computing Theories and Application [electronic resource] : 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I / edited by De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne, Phalguni Gupta.
by Huang, De-Shuang [editor.] | Bevilacqua, Vitoantonio [editor.] | Premaratne, Prashan [editor.] | Gupta, Phalguni [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
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers / edited by Ivan Lirkov, Svetozar D. Margenov, Jerzy Waśniewski.
by Lirkov, Ivan [editor.] | Margenov, Svetozar D [editor.] | Waśniewski, Jerzy [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
|
|
|
|
Intelligent Computing Theory [electronic resource] : 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings / edited by De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne.
by Huang, De-Shuang [editor.] | Bevilacqua, Vitoantonio [editor.] | Premaratne, Prashan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Web Technologies and Applications [electronic resource] : APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers / edited by Cai Ruichu, Cai Chen, Hong Liang, Yang Xiaoyan, Zhang Rong, Zou Lei.
by Ruichu, Cai [editor.] | Chen, Cai [editor.] | Liang, Hong [editor.] | Xiaoyan, Yang [editor.] | Rong, Zhang [editor.] | Lei, Zou [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2017 [electronic resource] : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II / edited by Tsuyoshi Takagi, Thomas Peyrin.
by Takagi, Tsuyoshi [editor.] | Peyrin, Thomas [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
|
|
|
|
Intelligent Data Engineering and Automated Learning -- IDEAL 2010 [electronic resource] : 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings / edited by Colin Fyfe, Peter Tino, Darryl Charles, Cesar Garcia Osorio, Hujun Yin.
by Fyfe, Colin [editor.] | Tino, Peter [editor.] | Charles, Darryl [editor.] | Garcia Osorio, Cesar [editor.] | Yin, Hujun [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
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / edited by Sebastian Link, Henri Prade.
by Link, Sebastian [editor.] | Prade, Henri [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
|
|
|
|
Internet and Network Economics [electronic resource] : 8th International Workshop, WINE 2012, Singapore, December 11-14, 2012. Proceedings / edited by Paul W. Goldberg, Mingyu Guo.
by Goldberg, Paul W [editor.] | Guo, Mingyu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Information Retrieval Technology [electronic resource] : 4th Asia Information Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008, Revised Selected Papers / edited by Hang Li, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou.
by Li, Hang [editor.] | Liu, Ting [editor.] | Ma, Wei-Ying [editor.] | Sakai, Tetsuya [editor.] | Wong, Kam-Fai [editor.] | Zhou, Guodong [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
|
