Your search returned 10983 results. Subscribe to this search

|
Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze.

by Hinze, Ralf [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

Foundations of Health Information Engineering and Systems [electronic resource] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / edited by Jeremy Gibbons, Wendy MacCaull.

by Gibbons, Jeremy [editor.] | MacCaull, Wendy [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, 2014Online access: Click here to access online Availability: No items available

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport [electronic resource] : 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Vincent G. Duffy.

by Duffy, Vincent G [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

Networked Systems [electronic resource] : Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers / edited by Guevara Noubir, Michel Raynal.

by Noubir, Guevara [editor.] | Raynal, Michel [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

Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings / edited by Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, Abhaya Nayak.

by Sombattheera, Chattrakul [editor.] | Stolzenburg, Frieder [editor.] | Lin, Fangzhen [editor.] | Nayak, Abhaya [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

Intelligent Information and Database Systems [electronic resource] : 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Bogdan Trawiński, Hamido Fujita, Tzung-Pei Hong.

by Nguyen, Ngoc Thanh [editor.] | Trawiński, Bogdan [editor.] | Fujita, Hamido [editor.] | Hong, Tzung-Pei [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.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

Public-Key Cryptography - PKC 2016 [electronic resource] : 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part II / edited by Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang.

by Cheng, Chen-Mou [editor.] | Chung, Kai-Min [editor.] | Persiano, Giuseppe [editor.] | Yang, Bo-Yin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.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

Active Media Technology [electronic resource] : 9th International Conference, AMT 2013, Maebashi, Japan, October 29-31, 2013, Proceedings / edited by Tetsuya Yoshida, Gang Kou, Andrzej Skowron, Jiannong Cao, Hakim Hacid, Ning Zhong.

by Yoshida, Tetsuya [editor.] | Kou, Gang [editor.] | Skowron, Andrzej [editor.] | Cao, Jiannong [editor.] | Hacid, Hakim [editor.] | Zhong, Ning [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, 2013Online access: Click here to access online Availability: No items available

Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem.

by Legay, Axel [editor.] | Bensalem, Saddek [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

Developments in Language Theory [electronic resource] : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings / edited by Arseny M. Shur, Mikhail V. Volkov.

by Shur, Arseny M [editor.] | Volkov, Mikhail V [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

Post-Quantum Cryptography [electronic resource] : 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings / edited by Tsuyoshi Takagi.

by Takagi, Tsuyoshi [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.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

Semantics in Data and Knowledge Bases [electronic resource] : 5th International Workshop, SDKB 2011, Z�urich, Switzerland, July 3, 2011, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim.

by Schewe, Klaus-Dieter [editor.] | Thalheim, Bernhard [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

Transactions on Computational Collective Intelligence XVII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Ana Fred, Filipe Joaquim.

by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Fred, Ana [editor.] | Joaquim, Filipe [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, 2014Online access: Click here to access online Availability: No items available

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / edited by Borzoo Bonakdarpour, Franck Petit.

by Bonakdarpour, Borzoo [editor.] | Petit, Franck [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

Web and Internet Economics [electronic resource] : 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings / edited by Evangelos Markakis, Guido Sch�afer.

by Markakis, Evangelos [editor.] | Sch�afer, Guido [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

Transactions on Computational Science XXVI [electronic resource] : Special Issue on Cyberworlds and Cybersecurity / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Andr�es Iglesias, Mikio Shinya, Akemi Galvez, Alexei Sourin.

by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Iglesias, Andr�es [editor.] | Shinya, Mikio [editor.] | Galvez, Akemi [editor.] | Sourin, Alexei [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.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

ICTs for Improving Patients Rehabilitation Research Techniques [electronic resource] : Second International Workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014, Revised Selected Papers / edited by Habib M. Fardoun, Victor M R. Penichet, Daniyal M. Alghazzawi.

by Fardoun, Habib M [editor.] | R. Penichet, Victor M [editor.] | Alghazzawi, Daniyal M [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

Ubiquitous Computing and Ambient Intelligence [electronic resource] : 10th International Conference, UCAmI 2016, San Bartolom�e de Tirajana, Gran Canaria, Spain, November 29 - December 2, 2016, Proceedings, Part I / edited by Carmelo R. Garc�ia, Pino Caballero-Gil, Mike Burmester, Alexis Quesada-Arencibia.

by Garc�ia, Carmelo R [editor.] | Caballero-Gil, Pino [editor.] | Burmester, Mike [editor.] | Quesada-Arencibia, Alexis [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

Image Analysis and Processing - ICIAP 2013 [electronic resource] : 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II / edited by Alfredo Petrosino.

by Petrosino, Alfredo [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

Algorithmic Aspects in Information and Management [electronic resource] : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / edited by Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri.

by Dondi, Riccardo [editor.] | Fertin, Guillaume [editor.] | Mauri, Giancarlo [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