Your search returned 13673 results. Subscribe to this search

|
Deontic Logic and Normative Systems [electronic resource] : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings / edited by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent.

by Cariani, Fabrizio [editor.] | Grossi, Davide [editor.] | Meheus, Joke [editor.] | Parent, Xavier [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

Information Processing in Computer-Assisted Interventions [electronic resource] : 5th International Conference, IPCAI 2014, Fukuoka, Japan, June 28, 2014. Proceedings / edited by Danail Stoyanov, D. Louis Collins, Ichiro Sakuma, Purang Abolmaesumi, Pierre Jannin.

by Stoyanov, Danail [editor.] | Collins, D. Louis [editor.] | Sakuma, Ichiro [editor.] | Abolmaesumi, Purang [editor.] | Jannin, Pierre [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

Intelligent Computer Mathematics [electronic resource] : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / edited by Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban.

by Watt, Stephen M [editor.] | Davenport, James H [editor.] | Sexton, Alan P [editor.] | Sojka, Petr [editor.] | Urban, Josef [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

Conformance Checking and Diagnosis in Process Mining [electronic resource] : Comparing Observed and Modeled Processes / by Jorge Munoz-Gama.

by Munoz-Gama, Jorge [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

Security of Industrial Control Systems and Cyber Physical Systems [electronic resource] : First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers / edited by Adrien B�ecue, Nora Cuppens-Boulahia, Fr�ed�eric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis.

by B�ecue, Adrien [editor.] | Cuppens-Boulahia, Nora [editor.] | Cuppens, Fr�ed�eric [editor.] | Katsikas, Sokratis [editor.] | Lambrinoudakis, Costas [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

Experimental Algorithms [electronic resource] : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings / edited by Andrew V. Goldberg, Alexander S. Kulikov.

by Goldberg, Andrew V [editor.] | Kulikov, Alexander S [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

Digital-Forensics and Watermarking [electronic resource] : 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers / edited by Yun-Qing Shi, Hyoung Joong Kim, Fernando P�erez-Gonz�alez, Isao Echizen.

by Shi, Yun-Qing [editor.] | Kim, Hyoung Joong [editor.] | P�erez-Gonz�alez, Fernando [editor.] | Echizen, Isao [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

Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems [electronic resource] : 6th International Conference, PSATS 2014, Genoa, Italy, July 28-29, 2014, Revised Selected Papers / edited by Igor Bisio.

by Bisio, Igor [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

Explorations in the History of Machines and Mechanisms [electronic resource] : Proceedings of the Fifth IFToMM Symposium on the History of Machines and Mechanisms / edited by Carlos L�opez-Caj�un, Marco Ceccarelli.

by L�opez-Caj�un, Carlos [editor.] | Ceccarelli, Marco [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

Information and Communication Technologies for Ageing Well and e-Health [electronic resource] : First International Conference, ICT4AgeingWell 2015, Lisbon, Portugal, May 20-22, 2015. Revised Selected Papers / edited by Markus Helfert, Andreas Holzinger, Martina Ziefle, Ana Fred, John O'Donoghue, Carsten R�ocker.

by Helfert, Markus [editor.] | Holzinger, Andreas [editor.] | Ziefle, Martina [editor.] | Fred, Ana [editor.] | O'Donoghue, John [editor.] | R�ocker, Carsten [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

Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / edited by Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider.

by Manulis, Mark [editor.] | Sadeghi, Ahmad-Reza [editor.] | Schneider, Steve [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 Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, Ant�onio Ravara, Jan Martijn van der Werf, Matthias Weidlich.

by Hildebrandt, Thomas [editor.] | Ravara, Ant�onio [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [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

Algorithmic Aspects of Cloud Computing [electronic resource] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.

by Karydis, Ioannis [editor.] | Sioutas, Spyros [editor.] | Triantafillou, Peter [editor.] | Tsoumakos, Dimitrios [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

Intelligent Computing Systems [electronic resource] : First International Symposium, ISICS 2016, M�erida, M�exico, March 16-18, 2016, Proceedings / edited by Anabel Martin-Gonzalez, Victor Uc-Cetina.

by Martin-Gonzalez, Anabel [editor.] | Uc-Cetina, Victor [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

Creativity in Intelligent Technologies and Data Science [electronic resource] : First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings / edited by Alla Kravets, Maxim Shcherbakov, Marina Kultsova, Olga Shabalina.

by Kravets, Alla [editor.] | Shcherbakov, Maxim [editor.] | Kultsova, Marina [editor.] | Shabalina, Olga [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

Algorithms and Models for the Web Graph [electronic resource] : 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings / edited by David F. Gleich, J�ulia Komj�athy, Nelly Litvak.

by Gleich, David F [editor.] | Komj�athy, J�ulia [editor.] | Litvak, Nelly [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

Robot 2015: Second Iberian Robotics Conference [electronic resource] : Advances in Robotics, Volume 2 / edited by Lu�is Paulo Reis, Ant�onio Paulo Moreira, Pedro U. Lima, Luis Montano, Victor Mu�noz-Martinez.

by Reis, Lu�is Paulo [editor.] | Moreira, Ant�onio Paulo [editor.] | Lima, Pedro U [editor.] | Montano, Luis [editor.] | Mu�noz-Martinez, Victor [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

Achieving Success and Innovation in Global Sourcing: Perspectives and Practices [electronic resource] : 9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers / edited by Ilan Oshri, Julia Kotlarsky, Leslie P. Willcocks.

by Oshri, Ilan [editor.] | Kotlarsky, Julia [editor.] | Willcocks, Leslie P [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

Mobile Computing, Applications, and Services [electronic resource] : 5th International Conference, MobiCASE 2013, Paris, France, November 7-8, 2013, Revised Selected Papers / edited by G�erard Memmi, Ulf Blanke.

by Memmi, G�erard [editor.] | Blanke, Ulf [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

Advances in Artificial Intelligence [electronic resource] : 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9-12, 2015 Proceedings / edited by Jos�e M. Puerta, Jos�e A. G�amez, Bernabe Dorronsoro, Edurne Barrenechea, Alicia Troncoso, Bruno Baruque, Mikel Galar.

by Puerta, Jos�e M [editor.] | G�amez, Jos�e A [editor.] | Dorronsoro, Bernabe [editor.] | Barrenechea, Edurne [editor.] | Troncoso, Alicia [editor.] | Baruque, Bruno [editor.] | Galar, Mikel [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