Your search returned 2359 results. Subscribe to this search

|
Communication Technologies for Vehicles [electronic resource] : 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings / edited by Mohamed Kassab, Marion Berbineau, Alexey Vinel, Magnus Jonsson, Fabien Garcia, Jos�e Soler.

by Kassab, Mohamed [editor.] | Berbineau, Marion [editor.] | Vinel, Alexey [editor.] | Jonsson, Magnus [editor.] | Garcia, Fabien [editor.] | Soler, Jos�e [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Scaling up Learning for Sustained Impact [electronic resource] : 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings / edited by Davinia Hern�andez-Leo, Tobias Ley, Ralf Klamma, Andreas Harrer.

by Hern�andez-Leo, Davinia [editor.] | Ley, Tobias [editor.] | Klamma, Ralf [editor.] | Harrer, Andreas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Cryptographic Hardware and Embedded Systems -- CHES 2015 [electronic resource] : 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / edited by Tim G�uneysu, Helena Handschuh.

by G�uneysu, Tim [editor.] | Handschuh, Helena [editor.] | SpringerLink (Online service).

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

Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-Fran�cois Raskin.

by Cassez, Franck [editor.] | Raskin, Jean-Fran�cois [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

eScience on Distributed Computing Infrastructure [electronic resource] : Achievements of PLGrid Plus Domain-Specific Services and Tools / edited by Marian Bubak, Jacek Kitowski, Kazimierz Wiatr.

by Bubak, Marian [editor.] | Kitowski, Jacek [editor.] | Wiatr, Kazimierz [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu.

by Liu, Shaoying [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Smart Card Research and Advanced Applications [electronic resource] : 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers / edited by Stefan Mangard.

by Mangard, Stefan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Cyber-Physical Systems of Systems [electronic resource] : Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy / edited by Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz.

by Bondavalli, Andrea [editor.] | Bouchenak, Sara [editor.] | Kopetz, Hermann [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Theory of Cryptography [electronic resource] : 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II / edited by Eyal Kushilevitz, Tal Malkin.

by Kushilevitz, Eyal [editor.] | Malkin, Tal [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Advances in Artificial Intelligence [electronic resource] : 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedings / edited by Oscar Luaces, Jos�e A. G�amez, Edurne Barrenechea, Alicia Troncoso, Mikel Galar, H�ector Quinti�an, Emilio Corchado.

by Luaces, Oscar [editor.] | G�amez, Jos�e A [editor.] | Barrenechea, Edurne [editor.] | Troncoso, Alicia [editor.] | Galar, Mikel [editor.] | Quinti�an, H�ector [editor.] | Corchado, Emilio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman.

by Piterman, Nir [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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

Database Systems for Advanced Applications [electronic resource] : 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings / edited by Bonghee Hong, Xiaofeng Meng, Lei Chen, Werner Winiwarter, Wei Song.

by Hong, Bonghee [editor.] | Meng, Xiaofeng [editor.] | Chen, Lei [editor.] | Winiwarter, Werner [editor.] | Song, Wei [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Security Engineering and Intelligence Informatics [electronic resource] : CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu.

by Cuzzocrea, Alfredo [editor.] | Kittl, Christian [editor.] | Simos, Dimitris E [editor.] | Weippl, Edgar [editor.] | Xu, Lida [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Advanced Visual Interfaces. Supporting Big Data Applications [electronic resource] : AVI 2016 Workshop, AVI-BDA 2016, Bari, Italy, June 7-10, 2016, Revised Selected Papers / edited by Marco X. Bornschlegl, Felix C. Engel, Raymond Bond, Matthias L. Hemmje.

by Bornschlegl, Marco X [editor.] | Engel, Felix C [editor.] | Bond, Raymond [editor.] | Hemmje, Matthias L [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Internet and Distributed Computing Systems [electronic resource] : 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings / edited by Wenfeng Li, Shawkat Ali, Gabriel Lodewijks, Giancarlo Fortino, Giuseppe Di Fatta, Zhouping Yin, Mukaddim Pathan, Antonio Guerrieri, Qiang Wang.

by Li, Wenfeng [editor.] | Ali, Shawkat [editor.] | Lodewijks, Gabriel [editor.] | Fortino, Giancarlo [editor.] | Di Fatta, Giuseppe [editor.] | Yin, Zhouping [editor.] | Pathan, Mukaddim [editor.] | Guerrieri, Antonio [editor.] | Wang, Qiang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Human Re-Identification [electronic resource] / by Ziyan Wu.

by Wu, Ziyan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Accountability and Security in the Cloud [electronic resource] : First Summer School, Cloud Accountability Project, A4Cloud, Malaga, Spain, June 2-6, 2014, Revised Selected Papers and Lectures / edited by Massimo Felici, Carmen Fern�andez-Gago.

by Felici, Massimo [editor.] | Fern�andez-Gago, Carmen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Map Framework [electronic resource] : A Formal Model of Maps as a Fundamental Data Type in Information Systems / by Mark McKenney, Markus Schneider.

by McKenney, Mark [author.] | Schneider, Markus [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Advanced Multimedia and Ubiquitous Engineering [electronic resource] : Future Information Technology / edited by James J. (Jong Hyuk) Park, Han-Chieh Chao, Hamid Arabnia, Neil Y. Yen.

by Park, James J. (Jong Hyuk) [editor.] | Chao, Han-Chieh [editor.] | Arabnia, Hamid [editor.] | Yen, Neil Y [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Frontier and Innovation in Future Computing and Communications [electronic resource] / edited by James J. (Jong Hyuk) Park, Albert Zomaya, Hwa-Young Jeong, Mohammad Obaidat.

by Park, James J. (Jong Hyuk) [editor.] | Zomaya, Albert [editor.] | Jeong, Hwa-Young [editor.] | Obaidat, Mohammad [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available