|
|
|
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings / edited by David Soloveichik, Bernard Yurke.
by Soloveichik, David [editor.] | Yurke, Bernard [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
|
|
|
|
Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Sunita Chandrasekaran, Guido Juckeland.
by Chandrasekaran, Sunita [editor.] | Juckeland, Guido [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
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 18th Workshop, CLSW 2017, Leshan, China, May 18-20, 2017, Revised Selected Papers / edited by Yunfang Wu, Jia-Fei Hong, Qi Su.
by Wu, Yunfang [editor.] | Hong, Jia-Fei [editor.] | Su, Qi [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
|
|
|
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky.
by Fantechi, Alessandro [editor.] | Lecomte, Thierry [editor.] | Romanovsky, Alexander [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
|
|
|
|
Learning Technologies and Systems [electronic resource] : 19th International Conference on Web-Based Learning, ICWL 2020, and 5th International Symposium on Emerging Technologies for Education, SETE 2020, Ningbo, China, October 22-24, 2020, Proceedings / edited by Chaoyi Pang, Yunjun Gao, Guanliang Chen, Elvira Popescu, Lu Chen, Tianyong Hao, Bailing Zhang, Silvia Margarita Baldiris Navarro, Qing Li.
by Pang, Chaoyi [editor.] | Gao, Yunjun [editor.] | Chen, Guanliang [editor.] | Popescu, Elvira [editor.] | Chen, Lu [editor.] | Hao, Tianyong [editor.] | Zhang, Bailing [editor.] | Navarro, Silvia Margarita Baldiris [editor.] | Li, Qing [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
|
|
|
|
Computer Security [electronic resource] : ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers / edited by Apostolos P. Fournaris, Manos Athanatos, Konstantinos Lampropoulos, Sotiris Ioannidis, George Hatzivasilis, Ernesto Damiani, Habtamu Abie, Silvio Ranise, Luca Verderame, Alberto Siena, Joaquin Garcia-Alfaro.
by Fournaris, Apostolos P [editor.] | Athanatos, Manos [editor.] | Lampropoulos, Konstantinos [editor.] | Ioannidis, Sotiris [editor.] | Hatzivasilis, George [editor.] | Damiani, Ernesto [editor.] | Abie, Habtamu [editor.] | Ranise, Silvio [editor.] | Verderame, Luca [editor.] | Siena, Alberto [editor.] | Garcia-Alfaro, Joaquin [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
|
|
|
|
Formal Concept Analysis [electronic resource] : 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings / edited by Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber.
by Braud, Agnès [editor.] | Buzmakov, Aleksey [editor.] | Hanika, Tom [editor.] | Le Ber, Florence [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
|
|
|
|
Financial Cryptography and Data Security. FC 2021 International Workshops [electronic resource] : CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers / edited by Matthew Bernhard, Andrea Bracciali, Lewis Gudgeon, Thomas Haines, Ariah Klages-Mundt, Shin'ichiro Matsuo, Daniel Perez, Massimiliano Sala, Sam Werner.
by Bernhard, Matthew [editor.] | Bracciali, Andrea [editor.] | Gudgeon, Lewis [editor.] | Haines, Thomas [editor.] | Klages-Mundt, Ariah [editor.] | Matsuo, Shin'ichiro [editor.] | Perez, Daniel [editor.] | Sala, Massimiliano [editor.] | Werner, Sam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - CRYPTO 2021 [electronic resource] : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16-20, 2021, Proceedings, Part III / edited by Tal Malkin, Chris Peikert.
by Malkin, Tal [editor.] | Peikert, Chris [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
|
|
|
|
Reversible Computation [electronic resource] : 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings / edited by Shigeru Yamashita, Tetsuo Yokoyama.
by Yamashita, Shigeru [editor.] | Yokoyama, Tetsuo [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings / edited by Hakjoo Oh.
by Oh, Hakjoo [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
|
|
|
|
Natural Language Processing and Chinese Computing [electronic resource] : 10th CCF International Conference, NLPCC 2021, Qingdao, China, October 13-17, 2021, Proceedings, Part I / edited by Lu Wang, Yansong Feng, Yu Hong, Ruifang He.
by Wang, Lu [editor.] | Feng, Yansong [editor.] | Hong, Yu [editor.] | He, Ruifang [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 Conceptual Modeling [electronic resource] : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings / edited by Iris Reinhartz-Berger, Shazia Sadiq.
by Reinhartz-Berger, Iris [editor.] | Sadiq, Shazia [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
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings / edited by Irina Kostitsyna, Pekka Orponen.
by Kostitsyna, Irina [editor.] | Orponen, Pekka [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
|
|
|
|
Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Yliès Falcone, Martin Leucker.
by Bartocci, Ezio [editor.] | Falcone, Yliès [editor.] | Leucker, Martin [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
|
|
|
|
Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings / edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi.
by Drăgoi, Cezara [editor.] | Mukherjee, Suvam [editor.] | Namjoshi, Kedar [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
|
|
|
|
Belief Functions: Theory and Applications [electronic resource] : 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021, Proceedings / edited by Thierry Denœux, Eric Lefèvre, Zhunga Liu, Frédéric Pichon.
by Denœux, Thierry [editor.] | Lefèvre, Eric [editor.] | Liu, Zhunga [editor.] | Pichon, Frédéric [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
|
|
|
|
Fundamentals of Software Engineering [electronic resource] : 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers / edited by Hossein Hojjat, Mieke Massink.
by Hojjat, Hossein [editor.] | Massink, Mieke [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
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers / edited by Natasha Alechina, Matteo Baldoni, Brian Logan.
by Alechina, Natasha [editor.] | Baldoni, Matteo [editor.] | Logan, Brian [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
|
|
|
|
Smart Card Research and Advanced Applications [electronic resource] : 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11-12, 2021, Revised Selected Papers / edited by Vincent Grosso, Thomas Pöppelmann.
by Grosso, Vincent [editor.] | Pöppelmann, Thomas [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
|
