Your search returned 10983 results. Subscribe to this search

|
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

Mobile Networks and Management [electronic resource] : 7th International Conference, MONAMI 2015, Santander, Spain, September 16-18, 2015, Revised Selected Papers / edited by Ram�on Ag�uero, Thomas Zinner, Mario Garc�ia-Lozano, Bernd-Ludwig Wenning, Andreas Timm-Giel.

by Ag�uero, Ram�on [editor.] | Zinner, Thomas [editor.] | Garc�ia-Lozano, Mario [editor.] | Wenning, Bernd-Ludwig [editor.] | Timm-Giel, Andreas [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

Guide to Security Assurance for Cloud Computing [electronic resource] / edited by Shao Ying Zhu, Richard Hill, Marcello Trovati.

by Zhu, Shao Ying [editor.] | Hill, Richard [editor.] | Trovati, Marcello [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

Advances in Services Computing [electronic resource] : 9th Asia-Pacific Services Computing Conference, APSCC 2015, Bangkok, Thailand, December 7-9, 2015, Proceedings / edited by Lina Yao, Xia Xie, Qingchen Zhang, Laurence T. Yang, Albert Y. Zomaya, Hai Jin.

by Yao, Lina [editor.] | Xie, Xia [editor.] | Zhang, Qingchen [editor.] | Yang, Laurence T [editor.] | Zomaya, Albert Y [editor.] | Jin, Hai [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

Spatial Information Theory [electronic resource] : 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings / edited by Sara Irina Fabrikant, Martin Raubal, Michela Bertolotto, Clare Davies, Scott Freundschuh, Scott Bell.

by Fabrikant, Sara Irina [editor.] | Raubal, Martin [editor.] | Bertolotto, Michela [editor.] | Davies, Clare [editor.] | Freundschuh, Scott [editor.] | Bell, Scott [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

Computational Methods in Systems Biology [electronic resource] : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / edited by Olivier Roux, J�er�emie Bourdon.

by Roux, Olivier [editor.] | Bourdon, J�er�emie [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

Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : 4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015, Proceedings / edited by Van-Nam Huynh, Masahiro Inuiguchi, Thierry Demoeux.

by Huynh, Van-Nam [editor.] | Inuiguchi, Masahiro [editor.] | Demoeux, Thierry [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

Mobile Services for Toy Computing [electronic resource] / edited by Patrick C. K. Hung.

by Hung, Patrick C. K [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 and Expert Systems Applications [electronic resource] : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II / edited by Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker.

by Chen, Qiming [editor.] | Hameurlain, Abdelkader [editor.] | Toumani, Farouk [editor.] | Wagner, Roland [editor.] | Decker, Hendrik [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

Advances in Social Computing and Multiagent Systems [electronic resource] : 6th International Workshop on Collaborative Agents Research and Development, CARE 2015 and Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 4, 2015, Revised Selected Papers / edited by Fernando Koch, Christian Guttmann, Didac Busquets.

by Koch, Fernando [editor.] | Guttmann, Christian [editor.] | Busquets, Didac [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

Business Intelligence [electronic resource] : Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures / edited by Esteban Zim�anyi.

by Zim�anyi, Esteban [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

Software Process Improvement and Capability Determination [electronic resource] : 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings / edited by Terry Rout, Rory V. O'Connor, Alec Dorling.

by Rout, Terry [editor.] | O'Connor, Rory V [editor.] | Dorling, Alec [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