Your search returned 846 results. Subscribe to this search

|
Applications of Evolutionary Computation [electronic resource] : 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings / edited by Paul Kaufmann, Pedro A. Castillo.

by Kaufmann, Paul [editor.] | Castillo, Pedro 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

Modelling and Simulation for Autonomous Systems [electronic resource] : 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17-19, 2018, Revised Selected papers / edited by Jan Mazal.

by Mazal, Jan [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

Distributed Applications and Interoperable Systems [electronic resource] : 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings / edited by José Pereira, Laura Ricci.

by Pereira, José [editor.] | Ricci, Laura [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

Communication Technologies for Vehicles [electronic resource] : 14th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, Colmar, France, May 16-17, 2019, Proceedings / edited by Benoît Hilt, Marion Berbineau, Alexey Vinel, Magnus Jonsson, Alain Pirovano.

by Hilt, Benoît [editor.] | Berbineau, Marion [editor.] | Vinel, Alexey [editor.] | Jonsson, Magnus [editor.] | Pirovano, Alain [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

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang.

by Dragoi, Cezara [editor.] | Emmi, Michael [editor.] | Wang, Jingbo [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 Biometric Person Authentication [electronic resource] : 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004, Proceedings / edited by Stan Z. Li, Jianhuang Lai, Tieniu Tan, Guocan Feng, Yunhong Wang.

by Li, Stan Z [editor.] | Lai, Jianhuang [editor.] | Tan, Tieniu [editor.] | Feng, Guocan [editor.] | Wang, Yunhong [editor.] | SpringerLink (Online service).

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

Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings / edited by Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence T. Yang, Sung Won Kim.

by Lee, Yann-Hang [editor.] | Kim, Heung-Nam [editor.] | Kim, Jong [editor.] | Park, Yongwan [editor.] | Yang, Laurence T [editor.] | Kim, Sung Won [editor.] | SpringerLink (Online service).

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

Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings / edited by Paul Pettersson, Wang Yi.

by Pettersson, Paul [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

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

Persuasive Technology [electronic resource] : First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006, Proceedings / edited by Wijnand IJsselsteijn, Yvonne de Kort, Cees Midden, Berry Eggen, Elise van den Hoven.

by IJsselsteijn, Wijnand [editor.] | de Kort, Yvonne [editor.] | Midden, Cees [editor.] | Eggen, Berry [editor.] | van den Hoven, Elise [editor.] | SpringerLink (Online service).

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

Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / edited by Zhaohui Wu, Minyi Guo, Chun Chen, Jiajun Bu.

by Wu, Zhaohui [editor.] | Guo, Minyi [editor.] | Chen, Chun [editor.] | Bu, Jiajun [editor.] | SpringerLink (Online service).

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

Biomimetic Neural Learning for Intelligent Robots [electronic resource] : Intelligent Systems, Cognitive Robotics, and Neuroscience / edited by Stefan Wermter, Günther Palm, Mark Elshaw.

by Wermter, Stefan [editor.] | Palm, Günther [editor.] | Elshaw, Mark [editor.] | SpringerLink (Online service).

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

Intelligent Computing Theories and Application [electronic resource] : 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I / edited by De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne, Phalguni Gupta.

by Huang, De-Shuang [editor.] | Bevilacqua, Vitoantonio [editor.] | Premaratne, Prashan [editor.] | Gupta, Phalguni [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

Learning and Collaboration Technologies. Designing Learning Experiences [electronic resource] : 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I / edited by Panayiotis Zaphiris, Andri Ioannou.

by Zaphiris, Panayiotis [editor.] | Ioannou, Andri [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

Intelligent Computing Methodologies [electronic resource] : 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019, Proceedings, Part III / edited by De-Shuang Huang, Zhi-Kai Huang, Abir Hussain.

by Huang, De-Shuang [editor.] | Huang, Zhi-Kai [editor.] | Hussain, Abir [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

Augmented Reality, Virtual Reality, and Computer Graphics [electronic resource] : 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24-27, 2019, 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. 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

Augmented Reality, Virtual Reality, and Computer Graphics [electronic resource] : 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24-27, 2019, Proceedings, Part I / edited by Lucio Tommaso De Paolis, Patrick Bourdot.

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

Measurement, Modelling and Evaluation of Computing Systems [electronic resource] : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings / edited by Holger Hermanns.

by Hermanns, Holger [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

Design, Operation and Evaluation of Mobile Communications [electronic resource] : Second International Conference, MOBILE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings / edited by Gavriel Salvendy, June Wei.

by Salvendy, Gavriel [editor.] | Wei, June [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

OpenMP: Advanced Task-Based, Device and Compiler Programming [electronic resource] : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings / edited by Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg.

by McIntosh-Smith, Simon [editor.] | Klemm, Michael [editor.] | de Supinski, Bronis R [editor.] | Deakin, Tom [editor.] | Klinkenberg, Jannis [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

Communication Technologies for Vehicles [electronic resource] : 6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 6-7, 2014, Proceedings / edited by Axel Sikora, Marion Berbineau, Alexey Vinel, Magnus Jonsson, Alain Pirovano, Marina Aguado.

by Sikora, Axel [editor.] | Berbineau, Marion [editor.] | Vinel, Alexey [editor.] | Jonsson, Magnus [editor.] | Pirovano, Alain [editor.] | Aguado, Marina [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