Your search returned 10983 results. Subscribe to this search

|
Static Analysis [electronic resource] : 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings / edited by Bor-Yuh Evan Chang.

by Chang, Bor-Yuh Evan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Advances in Cryptology - CRYPTO 2019 [electronic resource] : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019, Proceedings, Part II / edited by Alexandra Boldyreva, Daniele Micciancio.

by Boldyreva, Alexandra [editor.] | Micciancio, Daniele [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

DNA Computing and Molecular Programming [electronic resource] : 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings / edited by Chris Thachuk, Yan Liu.

by Thachuk, Chris [editor.] | Liu, Yan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Perspectives of System Informatics [electronic resource] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov.

by Bjørner, Nikolaj [editor.] | Virbitskaite, Irina [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

AI 2019: Advances in Artificial Intelligence [electronic resource] : 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2-5, 2019, Proceedings / edited by Jixue Liu, James Bailey.

by Liu, Jixue [editor.] | Bailey, James [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Theory of Cryptography [electronic resource] : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II / edited by Dennis Hofheinz, Alon Rosen.

by Hofheinz, Dennis [editor.] | Rosen, Alon [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Formal Methods for the Analysis of Biomedical Ontologies [electronic resource] / by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui.

by Zhang, Guo-Qiang [author.] | Abeysinghe, Rashmie [author.] | Cui, Licong [author.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Rough Sets [electronic resource] : International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 - July 3, 2020, Proceedings / edited by Rafael Bello, Duoqian Miao, Rafael Falcon, Michinori Nakata, Alejandro Rosete, Davide Ciucci.

by Bello, Rafael [editor.] | Miao, Duoqian [editor.] | Falcon, Rafael [editor.] | Nakata, Michinori [editor.] | Rosete, Alejandro [editor.] | Ciucci, Davide [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24-26, 2020, Proceedings / edited by Clémentine Maurice, Leyla Bilge, Gianluca Stringhini, Nuno Neves.

by Maurice, Clémentine [editor.] | Bilge, Leyla [editor.] | Stringhini, Gianluca [editor.] | Neves, Nuno [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Practical Aspects of Declarative Languages [electronic resource] : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings / edited by Ekaterina Komendantskaya, Yanhong Annie Liu.

by Komendantskaya, Ekaterina [editor.] | Liu, Yanhong Annie [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Applying Reinforcement Learning on Real-World Data with Practical Examples in Python [electronic resource] / by Philip Osborne, Kajal Singh, Matthew E. Taylor.

by Osborne, Philip [author.] | Singh, Kajal [author.] | Taylor, Matthew E [author.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

SOFSEM 2020: Theory and Practice of Computer Science [electronic resource] : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings / edited by Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora.

by Chatzigeorgiou, Alexander [editor.] | Dondi, Riccardo [editor.] | Herodotou, Herodotos [editor.] | Kapoutsis, Christos [editor.] | Manolopoulos, Yannis [editor.] | Papadopoulos, George A [editor.] | Sikora, Florian [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Modelling, Analysis, and Simulation of Computer and Telecommunication Systems [electronic resource] : 28th International Symposium, MASCOTS 2020, Nice, France, November 17-19, 2020, Revised Selected Papers / edited by Maria Carla Calzarossa, Erol Gelenbe, Krysztof Grochla, Ricardo Lent, Tadeusz Czachórski.

by Calzarossa, Maria Carla [editor.] | Gelenbe, Erol [editor.] | Grochla, Krysztof [editor.] | Lent, Ricardo [editor.] | Czachórski, Tadeusz [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Algorithms for Sensor Systems [electronic resource] : 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9-10, 2020, Revised Selected Papers / edited by Cristina M. Pinotti, Alfredo Navarra, Amitabha Bagchi.

by Pinotti, Cristina M [editor.] | Navarra, Alfredo [editor.] | Bagchi, Amitabha [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Documenting the Future: Navigating Provenance Metadata Standards [electronic resource] / by Rhiannon Bettivia, Yi-Yun Cheng, Michael Robert Gryk.

by Bettivia, Rhiannon [author.] | Cheng, Yi-Yun [author.] | Gryk, Michael Robert [author.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; 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: Engineering Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Transactions on Computational Science XXXVIII [electronic resource] / edited by Marina L. Gavrilova, C.J. Kenneth Tan.

by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Trustworthy Communications and Complete Genealogies [electronic resource] : Unifying Ancestries for a Genealogical History of the Modern World / by Reagan W. Moore.

by Moore, Reagan W [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Transactions on Petri Nets and Other Models of Concurrency XV [electronic resource] / edited by Maciej Koutny, Fabrice Kordon, Lucia Pomello.

by Koutny, Maciej [editor.] | Kordon, Fabrice [editor.] | Pomello, Lucia [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Diagrammatic Representation and Inference [electronic resource] : 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings / edited by Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana.

by Giardino, Valeria [editor.] | Linker, Sven [editor.] | Burns, Richard [editor.] | Bellucci, Francesco [editor.] | Boucheix, Jean-Michel [editor.] | Viana, Petrucio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available