Your search returned 10983 results. Subscribe to this search

|
Advances in Cryptology - CRYPTO 2022 [electronic resource] : 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022, Proceedings, Part IV / edited by Yevgeniy Dodis, Thomas Shrimpton.

by Dodis, Yevgeniy [editor.] | Shrimpton, Thomas [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Developments in Language Theory [electronic resource] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings / edited by Frank Drewes, Mikhail Volkov.

by Drewes, Frank [editor.] | Volkov, Mikhail [editor.] | SpringerLink (Online service).

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

Discrete Geometry and Mathematical Morphology [electronic resource] : Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings / edited by Étienne Baudrier, Benoît Naegel, Adrien Krähenbühl, Mohamed Tajine.

by Baudrier, Étienne [editor.] | Naegel, Benoît [editor.] | Krähenbühl, Adrien [editor.] | Tajine, Mohamed [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

Approximation and Online Algorithms [electronic resource] : 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8-9, 2022, Proceedings / edited by Parinya Chalermsook, Bundit Laekhanukit.

by Chalermsook, Parinya [editor.] | Laekhanukit, Bundit [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

Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Algebraic Informatics [electronic resource] : 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings / edited by Dimitrios Poulakis, George Rahonis.

by Poulakis, Dimitrios [editor.] | Rahonis, George [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

Computer Security -- ESORICS 2015 [electronic resource] : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I / edited by Günther Pernul, Peter Y A Ryan, Edgar Weippl.

by Pernul, Günther [editor.] | Y A Ryan, Peter [editor.] | Weippl, Edgar [editor.] | SpringerLink (Online service).

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

Software Architecture [electronic resource] : Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings / edited by Ronald Morrison, Dharini Balasubramaniam, Katrina Falkner.

by Morrison, Ronald [editor.] | Balasubramaniam, Dharini [editor.] | Falkner, Katrina [editor.] | SpringerLink (Online service).

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

Security and Cryptography for Networks [electronic resource] : 9th International Conference, SCN 2014, Amalfi, Italy, September 3-5, 2014. Proceedings / edited by Michel Abdalla, Roberto De Prisco.

by Abdalla, Michel [editor.] | De Prisco, Roberto [editor.] | SpringerLink (Online service).

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

Financial Cryptography and Data Security [electronic resource] : 16th International Conference, FC 2012, Kralendijk, Bonaire, Februray 27-March 2, 2012, Revised Selected Papers / edited by Angelos D. Keromytis.

by Keromytis, Angelos D [editor.] | SpringerLink (Online service).

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

Algorithmic Game Theory [electronic resource] : 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013, Proceedings / edited by Berthold Vöcking.

by Vöcking, Berthold [editor.] | SpringerLink (Online service).

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

Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book.

by Gschwind, Thomas [editor.] | De Paoli, Flavio [editor.] | Gruhn, Volker [editor.] | Book, Matthias [editor.] | SpringerLink (Online service).

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

Algorithms and Computation [electronic resource] : 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings / edited by Takeshi Tokuyama.

by Tokuyama, Takeshi [editor.] | SpringerLink (Online service).

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

WALCOM: Algorithms and Computation [electronic resource] : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings / edited by NAOKI KATOH, Amit Kumar.

by KATOH, NAOKI [editor.] | Kumar, Amit [editor.] | SpringerLink (Online service).

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

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings / edited by S. Arun-Kumar, Naveen Garg.

by Arun-Kumar, S [editor.] | Garg, Naveen [editor.] | SpringerLink (Online service).

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

Studies on Speech Production [electronic resource] : 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers / edited by Qiang Fang, Jianwu Dang, Pascal Perrier, Jianguo Wei, Longbiao Wang, Nan Yan.

by Fang, Qiang [editor.] | Dang, Jianwu [editor.] | Perrier, Pascal [editor.] | Wei, Jianguo [editor.] | Wang, Longbiao [editor.] | Yan, Nan [editor.] | SpringerLink (Online service).

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

Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, Proceedings / edited by Gennady Agre, Josef van Genabith, Thierry Declerck.

by Agre, Gennady [editor.] | van Genabith, Josef [editor.] | Declerck, Thierry [editor.] | SpringerLink (Online service).

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

Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman.

by Benzmüller, Christoph [editor.] | Ricca, Francesco [editor.] | Parent, Xavier [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service).

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

Graph-Theoretic Concepts in Computer Science [electronic resource] : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers / edited by Dieter Kratsch.

by Kratsch, Dieter [editor.] | SpringerLink (Online service).

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

Internet and Network Economics [electronic resource] : First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings / edited by Xiaotie Deng, Yinyu Ye.

by Deng, Xiaotie [editor.] | Ye, Yinyu [editor.] | SpringerLink (Online service).

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