|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings / edited by Eran Yahav.
by Yahav, Eran [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Human-Computer Interaction. Interaction Contexts [electronic resource] : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Masaaki Kurosu.
by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Multiagent System Technologies [electronic resource] : 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings / edited by Jörg P. Müller, Michael Weyrich, Ana L.C. Bazzan.
by Müller, Jörg P [editor.] | Weyrich, Michael [editor.] | Bazzan, Ana L.C [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Similarity Search and Applications [electronic resource] : 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings / edited by Laurent Amsaleg, Michael E. Houle, Erich Schubert.
by Amsaleg, Laurent [editor.] | Houle, Michael E [editor.] | Schubert, Erich [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Energy Informatics [electronic resource] : 4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, November 12-13, 2015, Proceedings / edited by Sebastian Gottwalt, Lukas König, Hartmut Schmeck.
by Gottwalt, Sebastian [editor.] | König, Lukas [editor.] | Schmeck, Hartmut [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Analysis of Images and Patterns [electronic resource] : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II / edited by George Azzopardi, Nicolai Petkov.
by Azzopardi, George [editor.] | Petkov, Nicolai [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Network Security [electronic resource] : 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, Proceedings / edited by Jacek Rak, John Bay, Igor Kotenko, Leonard Popyack, Victor Skormin, Krzysztof Szczypiorski.
by Rak, Jacek [editor.] | Bay, John [editor.] | Kotenko, Igor [editor.] | Popyack, Leonard [editor.] | Skormin, Victor [editor.] | Szczypiorski, Krzysztof [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Complexity [electronic resource] : 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings / edited by Vangelis Th. Paschos, Peter Widmayer.
by Paschos, Vangelis Th [editor.] | Widmayer, Peter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Biomedical Image Registration [electronic resource] : 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014, Proceedings / edited by Sebastien Ourselin, Marc Modat.
by Ourselin, Sebastien [editor.] | Modat, Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers / edited by Panos M. Pardalos, Mauricio G.C. Resende, Chrysafis Vogiatzis, Jose L. Walteros.
by Pardalos, Panos M [editor.] | Resende, Mauricio G.C [editor.] | Vogiatzis, Chrysafis [editor.] | Walteros, Jose L [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019, Proceedings / edited by Dionisios N. Pnevmatikatos, Maxime Pelcat, Matthias Jung.
by Pnevmatikatos, Dionisios N [editor.] | Pelcat, Maxime [editor.] | Jung, Matthias [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection [electronic resource] : 7th International Conference, EuroMed 2018, Nicosia, Cyprus, October 29 - November 3, 2018, Proceedings, Part II / edited by Marinos Ioannides, Eleanor Fink, Raffaella Brumana, Petros Patias, Anastasios Doulamis, João Martins, Manolis Wallace.
by Ioannides, Marinos [editor.] | Fink, Eleanor [editor.] | Brumana, Raffaella [editor.] | Patias, Petros [editor.] | Doulamis, Anastasios [editor.] | Martins, João [editor.] | Wallace, Manolis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 21st International Conference, SAMOS 2021, Virtual Event, July 4-8, 2021, Proceedings / edited by Alex Orailoglu, Matthias Jung, Marc Reichenbach.
by Orailoglu, Alex [editor.] | Jung, Matthias [editor.] | Reichenbach, Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; 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] : 7th International Conference, LOD 2021, Grasmere, UK, October 4-8, 2021, Revised Selected Papers, Part II / edited by Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Gabriele La Malfa, Giorgio Jansen, Panos M. Pardalos, Giovanni Giuffrida, Renato Umeton.
by Nicosia, Giuseppe [editor.] | Ojha, Varun [editor.] | La Malfa, Emanuele [editor.] | La Malfa, Gabriele [editor.] | Jansen, Giorgio [editor.] | Pardalos, Panos M [editor.] | Giuffrida, Giovanni [editor.] | Umeton, Renato [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Predictive Intelligence in Medicine [electronic resource] : 4th International Workshop, PRIME 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, October 1, 2021, Proceedings / edited by Islem Rekik, Ehsan Adeli, Sang Hyun Park, Julia Schnabel.
by Rekik, Islem [editor.] | Adeli, Ehsan [editor.] | Park, Sang Hyun [editor.] | Schnabel, Julia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020, Proceedings / edited by Alex Orailoglu, Matthias Jung, Marc Reichenbach.
by Orailoglu, Alex [editor.] | Jung, Matthias [editor.] | Reichenbach, Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Predictive Intelligence in Medicine [electronic resource] : Third International Workshop, PRIME 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings / edited by Islem Rekik, Ehsan Adeli, Sang Hyun Park, Maria del C. Valdés Hernández.
by Rekik, Islem [editor.] | Adeli, Ehsan [editor.] | Park, Sang Hyun [editor.] | Valdés Hernández, Maria del C [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Adolescent Brain Cognitive Development Neurocognitive Prediction [electronic resource] : First Challenge, ABCD-NP 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings / edited by Kilian M. Pohl, Wesley K. Thompson, Ehsan Adeli, Marius George Linguraru.
by Pohl, Kilian M [editor.] | Thompson, Wesley K [editor.] | Adeli, Ehsan [editor.] | Linguraru, Marius George [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Swarm Intelligence [electronic resource] : 13th International Conference, ANTS 2022, Málaga, Spain, November 2-4, 2022, Proceedings / edited by Marco Dorigo, Heiko Hamann, Manuel López-Ibáñez, José García-Nieto, Andries Engelbrecht, Carlo Pinciroli, Volker Strobel, Christian Camacho-Villalón.
by Dorigo, Marco [editor.] | Hamann, Heiko [editor.] | López-Ibáñez, Manuel [editor.] | García-Nieto, José [editor.] | Engelbrecht, Andries [editor.] | Pinciroli, Carlo [editor.] | Strobel, Volker [editor.] | Camacho-Villalón, Christian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022, Proceedings / edited by Alex Orailoglu, Marc Reichenbach, Matthias Jung.
by Orailoglu, Alex [editor.] | Reichenbach, Marc [editor.] | Jung, Matthias [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
