Your search returned 13673 results. Subscribe to this search

|
Correct System Design [electronic resource] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim.

by Meyer, Roland [editor.] | Platzer, André [editor.] | Wehrheim, Heike [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

Cryptography and Coding [electronic resource] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings / edited by Jens Groth.

by Groth, Jens [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

The Semantic Web: ESWC 2015 Satellite Events [electronic resource] : ESWC 2015 Satellite Events, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers / edited by Fabien Gandon, Christophe Guéret, Serena Villata, John Breslin, Catherine Faron-Zucker, Antoine Zimmermann.

by Gandon, Fabien [editor.] | Guéret, Christophe [editor.] | Villata, Serena [editor.] | Breslin, John [editor.] | Faron-Zucker, Catherine [editor.] | Zimmermann, Antoine [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

Secure IT Systems [electronic resource] : 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings / edited by Sonja Buchegger, Mads Dam.

by Buchegger, Sonja [editor.] | Dam, Mads [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

Critical Information Infrastructures Security [electronic resource] : 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers / edited by Gregorio D'Agostino, Antonio Scala.

by D'Agostino, Gregorio [editor.] | Scala, Antonio [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

Database and Expert Systems Applications [electronic resource] : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part I / edited by Sven Hartmann, Hui Ma, Abdelkader Hameurlain, Günther Pernul, Roland R. Wagner.

by Hartmann, Sven [editor.] | Ma, Hui [editor.] | Hameurlain, Abdelkader [editor.] | Pernul, Günther [editor.] | Wagner, Roland R [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

Sequences and Their Applications - SETA 2008 [electronic resource] : 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings / edited by Solomon W. Golomb, Matthew G. Parker, Alexander Pott, Arne Winterhof.

by Golomb, Solomon W [editor.] | Parker, Matthew G [editor.] | Pott, Alexander [editor.] | Winterhof, Arne [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

Computational Science - ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part III / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot.

by Rodrigues, João M. F [editor.] | Cardoso, Pedro J. S [editor.] | Monteiro, Jânio [editor.] | Lam, Roberto [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [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

From Bioinspired Systems and Biomedical Applications to Machine Learning [electronic resource] : 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3-7, 2019, Proceedings, Part II / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Javier Toledo Moreo, Hojjat Adeli.

by Ferrández Vicente, José Manuel [editor.] | Álvarez-Sánchez, José Ramón [editor.] | de la Paz López, Félix [editor.] | Toledo Moreo, Javier [editor.] | Adeli, Hojjat [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 Information Retrieval [electronic resource] : 41st European Conference on IR Research, ECIR 2019, Cologne, Germany, April 14-18, 2019, Proceedings, Part I / edited by Leif Azzopardi, Benno Stein, Norbert Fuhr, Philipp Mayr, Claudia Hauff, Djoerd Hiemstra.

by Azzopardi, Leif [editor.] | Stein, Benno [editor.] | Fuhr, Norbert [editor.] | Mayr, Philipp [editor.] | Hauff, Claudia [editor.] | Hiemstra, Djoerd [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

HCI for Cybersecurity, Privacy and Trust [electronic resource] : First International Conference, HCI-CPT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings / edited by Abbas Moallem.

by Moallem, Abbas [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

Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1-3, 2019, Proceedings / edited by Maria Rita Palattella, Stefano Scanzio, Sinem Coleri Ergen.

by Palattella, Maria Rita [editor.] | Scanzio, Stefano [editor.] | Coleri Ergen, Sinem [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

Unifying Theories of Programming [electronic resource] : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / edited by Pedro Ribeiro, Augusto Sampaio.

by Ribeiro, Pedro [editor.] | Sampaio, Augusto [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

Applications of Evolutionary Computation [electronic resource] : 23rd European Conference, EvoApplications 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings / edited by Pedro A. Castillo, Juan Luis Jiménez Laredo, Francisco Fernández de Vega.

by Castillo, Pedro A [editor.] | Jiménez Laredo, Juan Luis [editor.] | Fernández de Vega, Francisco [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

Evolutionary Computation in Combinatorial Optimization [electronic resource] : 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings / edited by Luís Paquete, Christine Zarges.

by Paquete, Luís [editor.] | Zarges, Christine [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

Persuasive Technology. Designing for Future Change [electronic resource] : 15th International Conference on Persuasive Technology, PERSUASIVE 2020, Aalborg, Denmark, April 20-23, 2020, Proceedings / edited by Sandra Burri Gram-Hansen, Tanja Svarre Jonasen, Cees Midden.

by Gram-Hansen, Sandra Burri [editor.] | Jonasen, Tanja Svarre [editor.] | Midden, Cees [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

Computer Performance Engineering [electronic resource] : 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers / edited by Marco Gribaudo, Mauro Iacono, Tuan Phung-Duc, Rostislav Razumchik.

by Gribaudo, Marco [editor.] | Iacono, Mauro [editor.] | Phung-Duc, Tuan [editor.] | Razumchik, Rostislav [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

Theory of Cryptography [electronic resource] : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part I / 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

Chinese Computational Linguistics [electronic resource] : 19th China National Conference, CCL 2020, Hainan, China, October 30 - November 1, 2020, Proceedings / edited by Maosong Sun, Sujian Li, Yue Zhang, Yang Liu, Shizhu He, Gaoqi Rao.

by Sun, Maosong [editor.] | Li, Sujian [editor.] | Zhang, Yue [editor.] | Liu, Yang [editor.] | He, Shizhu [editor.] | Rao, Gaoqi [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

Applied Cryptography and Network Security [electronic resource] : 18th International Conference, ACNS 2020, Rome, Italy, October 19-22, 2020, Proceedings, Part II / edited by Mauro Conti, Jianying Zhou, Emiliano Casalicchio, Angelo Spognardi.

by Conti, Mauro [editor.] | Zhou, Jianying [editor.] | Casalicchio, Emiliano [editor.] | Spognardi, Angelo [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