|
|
|
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Mery.
by Giannakopoulou, Dimitra [editor.] | Mery, Dominique [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
|
|
|
|
Intelligent Strategies for Pathway Mining [electronic resource] : Model and Pattern Identification / by Qingfeng Chen, Baoshan Chen, Chengqi Zhang.
by Chen, Qingfeng [author.] | Chen, Baoshan [author.] | Zhang, Chengqi [author.] | 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
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings / edited by Xujin Chen, Bo Li.
by Chen, Xujin [editor.] | Li, Bo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Neural Information Processing [electronic resource] : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part I / edited by Bao-Liang Lu, Liqing Zhang, James Kwok.
by Lu, Bao-Liang [editor.] | Zhang, Liqing [editor.] | Kwok, James [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
|
|
|
|
Computability and Complexity [electronic resource] : Foundations and Tools for Pursuing Scientific Applications / by Rod Downey.
by Downey, Rod [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Cryptology - INDOCRYPT 2023 [electronic resource] : 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I / edited by Anupam Chattopadhyay, Shivam Bhasin, Stjepan Picek, Chester Rebeiro.
by Chattopadhyay, Anupam [editor.] | Bhasin, Shivam [editor.] | Picek, Stjepan [editor.] | Rebeiro, Chester [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Brain Inspired Cognitive Systems [electronic resource] : 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings / edited by Jinchang Ren, Amir Hussain, Iman Yi Liao, Rongjun Chen, Kaizhu Huang, Huimin Zhao, Xiaoyong Liu, Ping Ma, Thomas Maul.
by Ren, Jinchang [editor.] | Hussain, Amir [editor.] | Liao, Iman Yi [editor.] | Chen, Rongjun [editor.] | Huang, Kaizhu [editor.] | Zhao, Huimin [editor.] | Liu, Xiaoyong [editor.] | Ma, Ping [editor.] | Maul, Thomas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Large-Scale Scientific Computations [electronic resource] : 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov.
by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II / edited by Bistra Dilkina.
by Dilkina, Bistra [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Computing and Combinatorics [electronic resource] : 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29-31, 2020, Proceedings / edited by Donghyun Kim, R. N. Uma, Zhipeng Cai, Dong Hoon Lee.
by Kim, Donghyun [editor.] | Uma, R. N [editor.] | Cai, Zhipeng [editor.] | Lee, Dong Hoon [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
|
|
|
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I / edited by Bistra Dilkina.
by Dilkina, Bistra [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings / edited by Ilya Sergey.
by Sergey, Ilya [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
|
|
|
|
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV [electronic resource] : International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers / edited by Nirav Ajmeri, Andreasa Morris Martin, Bastin Tony Roy Savarimuthu.
by Ajmeri, Nirav [editor.] | Morris Martin, Andreasa [editor.] | Savarimuthu, Bastin Tony Roy [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
|
|
|
|
NASA Formal Methods [electronic resource] : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings / edited by Nathaniel Benz, Divya Gopinath, Nija Shi.
by Benz, Nathaniel [editor.] | Gopinath, Divya [editor.] | Shi, Nija [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Data Engineering and Automated Learning -- IDEAL 2014 [electronic resource] : 15th International Conference, Salamanca, Spain, September 10-12, 2014, Proceedings / edited by Emilio Corchado, José A. Lozano, Héctor Quintián, Hujun Yin.
by Corchado, Emilio [editor.] | Lozano, José A [editor.] | Quintián, Héctor [editor.] | Yin, Hujun [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
|
|
|
|
Computing and Combinatorics [electronic resource] : 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022, Proceedings / edited by Yong Zhang, Dongjing Miao, Rolf Möhring.
by Zhang, Yong [editor.] | Miao, Dongjing [editor.] | Möhring, Rolf [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
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28-29, 2024, Proceedings / edited by Toyotaro Suzumura, Mayumi Bono.
by Suzumura, Toyotaro [editor.] | Bono, Mayumi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings / edited by Gethin Norman, William Sanders.
by Norman, Gethin [editor.] | Sanders, William [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
|
|
|
|
Artificial Intelligence for Neuroscience and Emotional Systems [electronic resource] : 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I / edited by José Manuel Ferrández Vicente, Mikel Val Calvo, Hojjat Adeli.
by Ferrández Vicente, José Manuel [editor.] | Val Calvo, Mikel [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
