Your search returned 10983 results. Subscribe to this search

|
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot.

by Ida, Tetsuo [editor.] | Fleuriot, Jacques [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

Image and Graphics [electronic resource] : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part III / edited by Yu-Jin Zhang.

by Zhang, Yu-Jin [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

Implementation and Application of Automata [electronic resource] : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings / edited by Cezar Câmpeanu.

by Câmpeanu, Cezar [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

Financial Cryptography and Data Security [electronic resource] : 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers / edited by Aggelos Kiayias.

by Kiayias, Aggelos [editor.] | SpringerLink (Online service).

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

Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn.

by De Nicola, Rocco [editor.] | Kühn, Eva [editor.] | SpringerLink (Online service).

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

Numerical Methods and Applications [electronic resource] : 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers / edited by Geno Nikolov, Natalia Kolkovska, Krassimir Georgiev.

by Nikolov, Geno [editor.] | Kolkovska, Natalia [editor.] | Georgiev, Krassimir [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

Evolving OpenMP for Evolving Architectures [electronic resource] : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings / edited by Bronis R. de Supinski, Pedro Valero-Lara, Xavier Martorell, Sergi Mateo Bellido, Jesus Labarta.

by de Supinski, Bronis R [editor.] | Valero-Lara, Pedro [editor.] | Martorell, Xavier [editor.] | Mateo Bellido, Sergi [editor.] | Labarta, Jesus [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

Computer Safety, Reliability, and Security [electronic resource] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch.

by Gallina, Barbara [editor.] | Skavhaug, Amund [editor.] | Bitsch, Friedemann [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

Formal Methods - The Next 30 Years [electronic resource] : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings / edited by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira.

by ter Beek, Maurice H [editor.] | McIver, Annabelle [editor.] | Oliveira, José N [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

Models, Languages, and Tools for Concurrent and Distributed Programming [electronic resource] : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / edited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese.

by Boreale, Michele [editor.] | Corradini, Flavio [editor.] | Loreti, Michele [editor.] | Pugliese, Rosario [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

Applied Cryptography and Network Security [electronic resource] : 17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019, Proceedings / edited by Robert H. Deng, Valérie Gauthier-Umaña, Martín Ochoa, Moti Yung.

by Deng, Robert H [editor.] | Gauthier-Umaña, Valérie [editor.] | Ochoa, Martín [editor.] | Yung, Moti [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

Research in Computational Molecular Biology [electronic resource] : 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings / edited by Lenore J. Cowen.

by Cowen, Lenore J [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

Codes, Cryptology and Information Security [electronic resource] : Third International Conference, C2SI 2019, Rabat, Morocco, April 22-24, 2019, Proceedings - In Honor of Said El Hajji / edited by Claude Carlet, Sylvain Guilley, Abderrahmane Nitaj, El Mamoun Souidi.

by Carlet, Claude [editor.] | Guilley, Sylvain [editor.] | Nitaj, Abderrahmane [editor.] | Souidi, El Mamoun [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

Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / edited by Roger Chamberlain, Walid Taha, Martin Törngren.

by Chamberlain, Roger [editor.] | Taha, Walid [editor.] | Törngren, Martin [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

Combinatorial Image Analysis [electronic resource] : 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020, Proceedings / edited by Tibor Lukić, Reneta P. Barneva, Valentin E. Brimkov, Lidija Čomić, Nataša Sladoje.

by Lukić, Tibor [editor.] | Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Čomić, Lidija [editor.] | Sladoje, Nataša [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

Pattern Recognition Applications and Methods [electronic resource] : 8th International Conference, ICPRAM 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers / edited by Maria De Marsico, Gabriella Sanniti di Baja, Ana Fred.

by De Marsico, Maria [editor.] | Sanniti di Baja, Gabriella [editor.] | Fred, Ana [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

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 15th International Meeting, CIBB 2018, Caparica, Portugal, September 6-8, 2018, Revised Selected Papers / edited by Maria Raposo, Paulo Ribeiro, Susana Sério, Antonino Staiano, Angelo Ciaramella.

by Raposo, Maria [editor.] | Ribeiro, Paulo [editor.] | Sério, Susana [editor.] | Staiano, Antonino [editor.] | Ciaramella, 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

Advances in Cryptology - ASIACRYPT 2019 [electronic resource] : 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8-12, 2019, Proceedings, Part I / edited by Steven D. Galbraith, Shiho Moriai.

by Galbraith, Steven D [editor.] | Moriai, Shiho [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

Quantum Interaction [electronic resource] : 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers / edited by Bob Coecke, Ariane Lambert-Mogiliansky.

by Coecke, Bob [editor.] | Lambert-Mogiliansky, Ariane [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

Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun.

by Guan, Nan [editor.] | Katoen, Joost-Pieter [editor.] | Sun, Jun [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