|
|
|
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
|
|
|
|
Formal Grammar 2018 [electronic resource] : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings / edited by Annie Foret, Greg Kobele, Sylvain Pogodalla.
by Foret, Annie [editor.] | Kobele, Greg [editor.] | Pogodalla, Sylvain [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence in China [electronic resource] : Proceedings of the 5th International Conference on Artificial Intelligence in China / edited by Wei Wang, Jiasong Mu, Xin Liu, Zhenyu Na Na.
by Wang, Wei [editor.] | Mu, Jiasong [editor.] | Liu, Xin [editor.] | Na, Zhenyu Na [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
|
|
|
|
Advances in Information Retrieval [electronic resource] : 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, Part V / edited by Nazli Goharian, Nicola Tonellotto, Yulan He, Aldo Lipani, Graham McDonald, Craig Macdonald, Iadh Ounis.
by Goharian, Nazli [editor.] | Tonellotto, Nicola [editor.] | He, Yulan [editor.] | Lipani, Aldo [editor.] | McDonald, Graham [editor.] | Macdonald, Craig [editor.] | Ounis, Iadh [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 Information Retrieval [electronic resource] : 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, Part III / edited by Nazli Goharian, Nicola Tonellotto, Yulan He, Aldo Lipani, Graham McDonald, Craig Macdonald, Iadh Ounis.
by Goharian, Nazli [editor.] | Tonellotto, Nicola [editor.] | He, Yulan [editor.] | Lipani, Aldo [editor.] | McDonald, Graham [editor.] | Macdonald, Craig [editor.] | Ounis, Iadh [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
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz.
by Libkin, Leonid [editor.] | Kohlenbach, Ulrich [editor.] | de Queiroz, Ruy [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
|
|
|
|
Provable Security [electronic resource] : 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012, Proceedings / edited by Tsuyoshi Takagi, Guilin Wang, Zhiguang Qin, Shaoquan Jiang, Yong Yu.
by Takagi, Tsuyoshi [editor.] | Wang, Guilin [editor.] | Qin, Zhiguang [editor.] | Jiang, Shaoquan [editor.] | Yu, Yong [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
|
|
|
|
Reachability Problems [electronic resource] : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings / edited by Igor Potapov, Pierre-Alain Reynier.
by Potapov, Igor [editor.] | Reynier, Pierre-Alain [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
|
|
|
|
Security Standardisation Research [electronic resource] : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings / edited by Cas Cremers, Anja Lehmann.
by Cremers, Cas [editor.] | Lehmann, Anja [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
|
|
|
|
Genetic Programming [electronic resource] : 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings / edited by Mario Giacobini, Bing Xue, Luca Manzoni.
by Giacobini, Mario [editor.] | Xue, Bing [editor.] | Manzoni, Luca [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
|
|
|
|
Theory of Cryptography [electronic resource] : 16th International Conference, TCC 2018, Panaji, India, November 11-14, 2018, Proceedings, Part II / edited by Amos Beimel, Stefan Dziembowski.
by Beimel, Amos [editor.] | Dziembowski, Stefan [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
|
|
|
|
Foundations of Vector Retrieval [electronic resource] / by Sebastian Bruch.
by Bruch, Sebastian [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
|
|
|
|
Cyberspace Safety and Security [electronic resource] : 10th International Symposium, CSS 2018, Amalfi, Italy, October 29-31, 2018, Proceedings / edited by Arcangelo Castiglione, Florin Pop, Massimo Ficco, Francesco Palmieri.
by Castiglione, Arcangelo [editor.] | Pop, Florin [editor.] | Ficco, Massimo [editor.] | Palmieri, Francesco [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings / edited by Kyungmin Bae, Peter Csaba Ölveczky.
by Bae, Kyungmin [editor.] | Ölveczky, Peter Csaba [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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi.
by Ciucci, Davide [editor.] | Pasi, Gabriella [editor.] | Vantaggi, Barbara [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
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II / edited by Stephen Smith, João Correia, Christian Cintrano.
by Smith, Stephen [editor.] | Correia, João [editor.] | Cintrano, Christian [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
|
|
|
|
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
|
|
|
|
Artificial Intelligence in Music, Sound, Art and Design [electronic resource] : 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings / edited by Colin Johnson, Sérgio M. Rebelo, Iria Santos.
by Johnson, Colin [editor.] | Rebelo, Sérgio M [editor.] | Santos, Iria [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
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings / edited by Arne Meier, Magdalena Ortiz.
by Meier, Arne [editor.] | Ortiz, Magdalena [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
|
|
|
|
Progress in Cryptology - INDOCRYPT 2023 [electronic resource] : 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II / 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
|
