Your search returned 8707 results. Subscribe to this search

|
Computing and Software Science [electronic resource] : State of the Art and Perspectives / edited by Bernhard Steffen, Gerhard Woeginger.

by Steffen, Bernhard [editor.] | Woeginger, Gerhard [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

High Performance Computing [electronic resource] : 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019, Proceedings / edited by Michèle Weiland, Guido Juckeland, Carsten Trinitis, Ponnuswamy Sadayappan.

by Weiland, Michèle [editor.] | Juckeland, Guido [editor.] | Trinitis, Carsten [editor.] | Sadayappan, Ponnuswamy [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

Internet Science [electronic resource] : 6th International Conference, INSCI 2019, Perpignan, France, December 2-5, 2019, Proceedings / edited by Samira El Yacoubi, Franco Bagnoli, Giovanna Pacini.

by El Yacoubi, Samira [editor.] | Bagnoli, Franco [editor.] | Pacini, Giovanna [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

Future Data and Security Engineering [electronic resource] : 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27-29, 2019, Proceedings / edited by Tran Khanh Dang, Josef Küng, Makoto Takizawa, Son Ha Bui.

by Dang, Tran Khanh [editor.] | Küng, Josef [editor.] | Takizawa, Makoto [editor.] | Bui, Son Ha [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

Artificial Intelligence and Security [electronic resource] : 6th International Conference, ICAIS 2020, Hohhot, China, July 17-20, 2020, Proceedings, Part I / edited by Xingming Sun, Jinwei Wang, Elisa Bertino.

by Sun, Xingming [editor.] | Wang, Jinwei [editor.] | Bertino, Elisa [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

Augmented Reality, Virtual Reality, and Computer Graphics [electronic resource] : 7th International Conference, AVR 2020, Lecce, Italy, September 7-10, 2020, Proceedings, Part II / edited by Lucio Tommaso De Paolis, Patrick Bourdot.

by De Paolis, Lucio Tommaso [editor.] | Bourdot, Patrick [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

Foundations of Information and Knowledge Systems [electronic resource] : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings / edited by Andreas Herzig, Juha Kontinen.

by Herzig, Andreas [editor.] | Kontinen, Juha [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

Neural Information Processing [electronic resource] : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part III / edited by Tom Gedeon, Kok Wai Wong, Minho Lee.

by Gedeon, Tom [editor.] | Wong, Kok Wai [editor.] | Lee, Minho [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

Neural Information Processing [electronic resource] : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part II / edited by Tom Gedeon, Kok Wai Wong, Minho Lee.

by Gedeon, Tom [editor.] | Wong, Kok Wai [editor.] | Lee, Minho [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

Computer Vision - ACCV 2020 [electronic resource] : 15th Asian Conference on Computer Vision, Kyoto, Japan, November 30 - December 4, 2020, Revised Selected Papers, Part IV / edited by Hiroshi Ishikawa, Cheng-Lin Liu, Tomas Pajdla, Jianbo Shi.

by Ishikawa, Hiroshi [editor.] | Liu, Cheng-Lin [editor.] | Pajdla, Tomas [editor.] | Shi, Jianbo [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

Informatics in Schools. A Step Beyond Digital Education [electronic resource] : 15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26-28, 2022, Proceedings / edited by Andreas Bollin, Gerald Futschek.

by Bollin, Andreas [editor.] | Futschek, Gerald [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

Computational Science and Its Applications - ICCSA 2022 Workshops [electronic resource] : Malaga, Spain, July 4-7, 2022, Proceedings, Part V / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Chiara Garau.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Garau, Chiara [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

Computational Science and Its Applications - ICCSA 2022 Workshops [electronic resource] : Malaga, Spain, July 4-7, 2022, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Chiara Garau.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Garau, Chiara [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

Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings / edited by Sergiy Bogomolov, David Parker.

by Bogomolov, Sergiy [editor.] | Parker, David [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

Advances in Databases and Information Systems [electronic resource] : 26th European Conference, ADBIS 2022, Turin, Italy, September 5-8, 2022, Proceedings / edited by Silvia Chiusano, Tania Cerquitelli, Robert Wrembel.

by Chiusano, Silvia [editor.] | Cerquitelli, Tania [editor.] | Wrembel, Robert [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

Progress in Artificial Intelligence [electronic resource] : 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings / edited by Francisco Pereira, Penousal Machado, Ernesto Costa, Amílcar Cardoso.

by Pereira, Francisco [editor.] | Machado, Penousal [editor.] | Costa, Ernesto [editor.] | Cardoso, Amílcar [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

Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled.

by Artho, Cyrille [editor.] | Legay, Axel [editor.] | Peled, Doron [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

Advances in Computer Graphics [electronic resource] : 39th Computer Graphics International Conference, CGI 2022, Virtual Event, September 12-16, 2022, Proceedings / edited by Nadia Magnenat-Thalmann, Jian Zhang, Jinman Kim, George Papagiannakis, Bin Sheng, Daniel Thalmann, Marina Gavrilova.

by Magnenat-Thalmann, Nadia [editor.] | Zhang, Jian [editor.] | Kim, Jinman [editor.] | Papagiannakis, George [editor.] | Sheng, Bin [editor.] | Thalmann, Daniel [editor.] | Gavrilova, Marina [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

Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage.

by Gill, Andy [editor.] | Hage, Jurriaan [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

Engineering Secure Software and Systems [electronic resource] : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings / edited by Jan Jürjens, Frank Piessens, Nataliia Bielova.

by Jürjens, Jan [editor.] | Piessens, Frank [editor.] | Bielova, Nataliia [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