Your search returned 3571 results. Subscribe to this search

|
Biosurveillance and Biosecurity [electronic resource] : International Workshop, BioSecure 2008, Raleigh, NC, USA, December 2, 2008. Proceedings / edited by Daniel Zeng, Hsinchun Chen, Henry Rolka, William B. Lober.

by Zeng, Daniel [editor.] | Chen, Hsinchun [editor.] | Rolka, Henry [editor.] | Lober, William B [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

Automated Technology for Verification and Analysis [electronic resource] : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / edited by Dang Van Hung, Oleg Sokolsky.

by Hung, Dang Van [editor.] | Sokolsky, Oleg [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

Intelligent Human Computer Interaction [electronic resource] : 12th International Conference, IHCI 2020, Daegu, South Korea, November 24-26, 2020, Proceedings, Part II / edited by Madhusudan Singh, Dae-Ki Kang, Jong-Ha Lee, Uma Shanker Tiwary, Dhananjay Singh, Wan-Young Chung.

by Singh, Madhusudan [editor.] | Kang, Dae-Ki [editor.] | Lee, Jong-Ha [editor.] | Tiwary, Uma Shanker [editor.] | Singh, Dhananjay [editor.] | Chung, Wan-Young [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

Innovative Security Solutions for Information Technology and Communications [electronic resource] : 13th International Conference, SecITC 2020, Bucharest, Romania, November 19-20, 2020, Revised Selected Papers / edited by Diana Maimut, Andrei-George Oprina, Damien Sauveron.

by Maimut, Diana [editor.] | Oprina, Andrei-George [editor.] | Sauveron, Damien [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

The Semantic Web: ESWC 2021 Satellite Events [electronic resource] : Virtual Event, June 6-10, 2021, Revised Selected Papers / edited by Ruben Verborgh, Anastasia Dimou, Aidan Hogan, Claudia d'Amato, Ilaria Tiddi, Arne Bröring, Simon Mayer, Femke Ongenae, Riccardo Tommasini, Mehwish Alam.

by Verborgh, Ruben [editor.] | Dimou, Anastasia [editor.] | Hogan, Aidan [editor.] | d'Amato, Claudia [editor.] | Tiddi, Ilaria [editor.] | Bröring, Arne [editor.] | Mayer, Simon [editor.] | Ongenae, Femke [editor.] | Tommasini, Riccardo [editor.] | Alam, Mehwish [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

Graph Drawing and Network Visualization [electronic resource] : 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16-18, 2020, Revised Selected Papers / edited by David Auber, Pavel Valtr.

by Auber, David [editor.] | Valtr, Pavel [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

Computers Helping People with Special Needs [electronic resource] : 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part II / edited by Klaus Miesenberger, Georgios Kouroupetroglou, Katerina Mavrou, Roberto Manduchi, Mario Covarrubias Rodriguez, Petr Penáz.

by Miesenberger, Klaus [editor.] | Kouroupetroglou, Georgios [editor.] | Mavrou, Katerina [editor.] | Manduchi, Roberto [editor.] | Covarrubias Rodriguez, Mario [editor.] | Penáz, Petr [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

Machine Learning, Optimization, and Data Science [electronic resource] : 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I / edited by Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Gabriele La Malfa, Panos Pardalos, Giuseppe Di Fatta, Giovanni Giuffrida, Renato Umeton.

by Nicosia, Giuseppe [editor.] | Ojha, Varun [editor.] | La Malfa, Emanuele [editor.] | La Malfa, Gabriele [editor.] | Pardalos, Panos [editor.] | Di Fatta, Giuseppe [editor.] | Giuffrida, Giovanni [editor.] | Umeton, Renato [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

Information for a Better World: Normality, Virtuality, Physicality, Inclusivity [electronic resource] : 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part I / edited by Isaac Sserwanga, Anne Goulding, Heather Moulaison-Sandy, Jia Tina Du, António Lucas Soares, Viviane Hessami, Rebecca D. Frank.

by Sserwanga, Isaac [editor.] | Goulding, Anne [editor.] | Moulaison-Sandy, Heather [editor.] | Du, Jia Tina [editor.] | Soares, António Lucas [editor.] | Hessami, Viviane [editor.] | Frank, Rebecca D [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

Interactive Collaborative Robotics [electronic resource] : 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings / edited by Andrey Ronzhin, Aminagha Sadigov, Roman Meshcheryakov.

by Ronzhin, Andrey [editor.] | Sadigov, Aminagha [editor.] | Meshcheryakov, Roman [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

Advances in Visual Computing [electronic resource] : 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ioannis Pavlidis, Rogerio Feris, Tim McGraw, Mark Elendt, Regis Kopper, Eric Ragan, Zhao Ye, Gunther Weber.

by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Pavlidis, Ioannis [editor.] | Feris, Rogerio [editor.] | McGraw, Tim [editor.] | Elendt, Mark [editor.] | Kopper, Regis [editor.] | Ragan, Eric [editor.] | Ye, Zhao [editor.] | Weber, Gunther [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

Semantic Multimedia [electronic resource] : 5th International Conference on Semantic and Digital Media Technologies, SAMT 2010, Saarbrücken, Germany, December 1-3, 2010, Revised Selected Papers / edited by Thierry Declerck, Michael Granitzer, Marcin Grzegorzek, Massimo Romanelli, Stefan Rüger, Michael Sintek.

by Declerck, Thierry [editor.] | Granitzer, Michael [editor.] | Grzegorzek, Marcin [editor.] | Romanelli, Massimo [editor.] | Rüger, Stefan [editor.] | Sintek, Michael [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

Image and Video Technology [electronic resource] : 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers / edited by Manoranjan Paul, Carlos Hitoshi, Qingming Huang.

by Paul, Manoranjan [editor.] | Hitoshi, Carlos [editor.] | Huang, Qingming [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

Human-Centered Software Engineering [electronic resource] : 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers / edited by Cristian Bogdan, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe Palanque, Marco Winckler.

by Bogdan, Cristian [editor.] | Kuusinen, Kati [editor.] | Lárusdóttir, Marta Kristín [editor.] | Palanque, Philippe [editor.] | Winckler, Marco [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

Architecture of Computing Systems - ARCS 2018 [electronic resource] : 31st International Conference, Braunschweig, Germany, April 9-12, 2018, Proceedings / edited by Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck.

by Berekovic, Mladen [editor.] | Buchty, Rainer [editor.] | Hamann, Heiko [editor.] | Koch, Dirk [editor.] | Pionteck, Thilo [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

Dynamic Data Driven Applications Systems [electronic resource] : Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings / edited by Frederica Darema, Erik Blasch, Sai Ravela, Alex Aved.

by Darema, Frederica [editor.] | Blasch, Erik [editor.] | Ravela, Sai [editor.] | Aved, Alex [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

Formal Methods. FM 2019 International Workshops [electronic resource] : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas.

by Sekerinski, Emil [editor.] | Moreira, Nelma [editor.] | Oliveira, José N [editor.] | Ratiu, Daniel [editor.] | Guidotti, Riccardo [editor.] | Farrell, Marie [editor.] | Luckcuck, Matt [editor.] | Marmsoler, Diego [editor.] | Campos, José [editor.] | Astarte, Troy [editor.] | Gonnord, Laure [editor.] | Cerone, Antonio [editor.] | Couto, Luis [editor.] | Dongol, Brijesh [editor.] | Kutrib, Martin [editor.] | Monteiro, Pedro [editor.] | Delmas, David [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

Advanced Visual Interfaces. Supporting Artificial Intelligence and Big Data Applications [electronic resource] : AVI 2020 Workshops, AVI-BDA and ITAVIS, Ischia, Italy, June 9, 2020 and September 29, 2020, Revised Selected Papers / edited by Thoralf Reis, Marco X. Bornschlegl, Marco Angelini, Matthias L. Hemmje.

by Reis, Thoralf [editor.] | Bornschlegl, Marco X [editor.] | Angelini, Marco [editor.] | Hemmje, Matthias L [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

Intelligent Human Computer Interaction [electronic resource] : 12th International Conference, IHCI 2020, Daegu, South Korea, November 24-26, 2020, Proceedings, Part I / edited by Madhusudan Singh, Dae-Ki Kang, Jong-Ha Lee, Uma Shanker Tiwary, Dhananjay Singh, Wan-Young Chung.

by Singh, Madhusudan [editor.] | Kang, Dae-Ki [editor.] | Lee, Jong-Ha [editor.] | Tiwary, Uma Shanker [editor.] | Singh, Dhananjay [editor.] | Chung, Wan-Young [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

Functional and Constraint Logic Programming [electronic resource] : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / edited by Michael Hanus, Claudio Sacerdoti Coen.

by Hanus, Michael [editor.] | Sacerdoti Coen, Claudio [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