|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by David N. Jansen, Pavithra Prabhakar.
by Jansen, David N [editor.] | Prabhakar, Pavithra [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
|
|
|
|
Technologies and Applications of Artificial Intelligence [electronic resource] : 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I / edited by Chao-Yang Lee, Chun-Li Lin, Hsuan-Ting Chang.
by Lee, Chao-Yang [editor.] | Lin, Chun-Li [editor.] | Chang, Hsuan-Ting [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
|
|
|
|
Algorithms and Discrete Applied Mathematics [electronic resource] : 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings / edited by Sudebkumar Prasant Pal, Ambat Vijayakumar.
by Pal, Sudebkumar Prasant [editor.] | Vijayakumar, Ambat [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
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings / edited by Therese Biedl, Andreas Kerren.
by Biedl, Therese [editor.] | Kerren, Andreas [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 and Internet Economics [electronic resource] : 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018, Proceedings / edited by George Christodoulou, Tobias Harks.
by Christodoulou, George [editor.] | Harks, Tobias [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
|
|
|
|
Technologies and Applications of Artificial Intelligence [electronic resource] : 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part II / edited by Chao-Yang Lee, Chun-Li Lin, Hsuan-Ting Chang.
by Lee, Chao-Yang [editor.] | Lin, Chun-Li [editor.] | Chang, Hsuan-Ting [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
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz.
by Iemhoff, Rosalie [editor.] | Moortgat, Michael [editor.] | de Queiroz, Ruy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Visual Media [electronic resource] : 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part I / edited by Fang-Lue Zhang, Andrei Sharf.
by Zhang, Fang-Lue [editor.] | Sharf, Andrei [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
|
|
|
|
Computational Visual Media [electronic resource] : 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part II / edited by Fang-Lue Zhang, Andrei Sharf.
by Zhang, Fang-Lue [editor.] | Sharf, Andrei [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
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 12th International Conference, KSEM 2019, Athens, Greece, August 28-30, 2019, Proceedings, Part I / edited by Christos Douligeris, Dimitris Karagiannis, Dimitris Apostolou.
by Douligeris, Christos [editor.] | Karagiannis, Dimitris [editor.] | Apostolou, Dimitris [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
|
|
|
|
Numerical Computations: Theory and Algorithms [electronic resource] : Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part I / edited by Yaroslav D. Sergeyev, Dmitri E. Kvasov.
by Sergeyev, Yaroslav D [editor.] | Kvasov, Dmitri E [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
|
|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings / edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain.
by Janicki, Ryszard [editor.] | Sidorova, Natalia [editor.] | Chatain, Thomas [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
|
|
|
|
Combinatorics on Words [electronic resource] : 13th International Conference, WORDS 2021, Rouen, France, September 13-17, 2021, Proceedings / edited by Thierry Lecroq, Svetlana Puzynina.
by Lecroq, Thierry [editor.] | Puzynina, Svetlana [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
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part II / edited by De-Nian Yang, Xing Xie, Vincent S. Tseng, Jian Pei, Jen-Wei Huang, Jerry Chun-Wei Lin.
by Yang, De-Nian [editor.] | Xie, Xing [editor.] | Tseng, Vincent S [editor.] | Pei, Jian [editor.] | Huang, Jen-Wei [editor.] | Lin, Jerry Chun-Wei [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
|
|
|
|
Decision and Game Theory for Security [electronic resource] : 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013, Proceedings / edited by Sajal K. Das, Cristina Nita-Rotaru, Murat Kantarcioglu.
by Das, Sajal K [editor.] | Nita-Rotaru, Cristina [editor.] | Kantarcioglu, Murat [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
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part I / edited by De-Nian Yang, Xing Xie, Vincent S. Tseng, Jian Pei, Jen-Wei Huang, Jerry Chun-Wei Lin.
by Yang, De-Nian [editor.] | Xie, Xing [editor.] | Tseng, Vincent S [editor.] | Pei, Jian [editor.] | Huang, Jen-Wei [editor.] | Lin, Jerry Chun-Wei [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
|
|
|
|
Pervasive Computing and the Networked World [electronic resource] : Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 5-7, 2013. Revised Selected Papers / edited by Qiaohong Zu, Maria Vargas-Vera, Bo Hu.
by Zu, Qiaohong [editor.] | Vargas-Vera, Maria [editor.] | Hu, Bo [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
|
|
|
|
Multivariate Network Visualization [electronic resource] : Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions / edited by Andreas Kerren, Helen Purchase, Matthew O. Ward.
by Kerren, Andreas [editor.] | Purchase, Helen [editor.] | Ward, Matthew O [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
|
|
|
|
Wireless Sensor Networks [electronic resource] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings / edited by Bhaskar Krishnamachari, Amy L. Murphy, Niki Trigoni.
by Krishnamachari, Bhaskar [editor.] | Murphy, Amy L [editor.] | Trigoni, Niki [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
|
|
|
|
String Processing and Information Retrieval [electronic resource] : 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings / edited by Oren Kurland, Moshe Lewenstein, Ely Porat.
by Kurland, Oren [editor.] | Lewenstein, Moshe [editor.] | Porat, Ely [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
|
