Your search returned 30125 results. Subscribe to this search

|
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

Analysis and Design of Networks-on-Chip Under High Process Variation [electronic resource] / by Rabab Ezz-Eldin, Magdy Ali El-Moursy, Hesham F. A. Hamed.

by Ezz-Eldin, Rabab [author.] | El-Moursy, Magdy Ali [author.] | Hamed, Hesham F. A [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, 2015Online access: Click here to access online Availability: No items available

Advances in Metal Forming [electronic resource] : Expert System for Metal Forming / by Rahulkumar Shivajirao Hingole.

by Hingole, Rahulkumar Shivajirao [author.] | 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

The 11th IFToMM International Symposium on Science of Mechanisms and Machines [electronic resource] / edited by Ion Visa.

by Visa, Ion [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

Handbook of Antenna Technologies [electronic resource] / edited by Zhi Ning Chen, Duixian Liu, Hisamatsu Nakano, Xianming Qing, Thomas Zwick.

by Chen, Zhi Ning [editor.] | Liu, Duixian [editor.] | Nakano, Hisamatsu [editor.] | Qing, Xianming [editor.] | Zwick, Thomas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore : 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

Language Processing and Knowledge in the Web [electronic resource] : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings / edited by Iryna Gurevych, Chris Biemann, Torsten Zesch.

by Gurevych, Iryna [editor.] | Biemann, Chris [editor.] | Zesch, Torsten [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

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov.

by Davis, Martin [editor.] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [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

Applications and Techniques in Information Security [electronic resource] : 5th International Conference, ATIS 2014, Melbourne, VIC, Australia, November 26-28, 2014. Proceedings / edited by Lynn Batten, Gang Li, Wenjia Niu, Matthew Warren.

by Batten, Lynn [editor.] | Li, Gang [editor.] | Niu, Wenjia [editor.] | Warren, Matthew [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