Your search returned 4294 results. Subscribe to this search

|
Incentives, Overlays, and Economic Traffic Control [electronic resource] : Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings / edited by Burkhard Stiller, Tobias Hoßfeld, George D Stamoulis.

by Stiller, Burkhard [editor.] | Hoßfeld, Tobias [editor.] | Stamoulis, George D [editor.] | SpringerLink (Online service).

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

On the Move to Meaningful Internet Systems: OTM 2013 Conferences [electronic resource] : Confederated International Conferences: CoopIS, DOA-Trusted Cloud and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings. / edited by Robert Meersman, Herve Panetto, Tharam Dillon, Johann Eder, Zohra Bellahsene, Norbert Ritter, Pieter De Leenheer, Deijing Dou.

by Meersman, Robert [editor.] | Panetto, Herve [editor.] | Dillon, Tharam [editor.] | Eder, Johann [editor.] | Bellahsene, Zohra [editor.] | Ritter, Norbert [editor.] | De Leenheer, Pieter [editor.] | Dou, Deijing [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Euro-Par 2008 Workshops - Parallel Processing [electronic resource] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / edited by Eduardo César, Michael Alexander, Achim Streit, Jesper Larsson Traff, Christophe Cérin, Andreas Knüpfer, Dieter Kranzlmüller, Shantenu Jha.

by César, Eduardo [editor.] | Alexander, Michael [editor.] | Streit, Achim [editor.] | Traff, Jesper Larsson [editor.] | Cérin, Christophe [editor.] | Knüpfer, Andreas [editor.] | Kranzlmüller, Dieter [editor.] | Jha, Shantenu [editor.] | SpringerLink (Online service).

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

Advances in Artificial Intelligence: From Theory to Practice [electronic resource] : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II / edited by Salem Benferhat, Karim Tabia, Moonis Ali.

by Benferhat, Salem [editor.] | Tabia, Karim [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Reliable Software Technologies - Ada-Europe 2016 [electronic resource] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / edited by Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones.

by Bertogna, Marko [editor.] | Pinho, Luís Miguel [editor.] | Quiñones, Eduardo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Artificial Intelligence and Computational Intelligence [electronic resource] : Second International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III / edited by Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang.

by Deng, Hepu [editor.] | Miao, Duoqian [editor.] | Lei, Jingsheng [editor.] | Wang, Fu Lee [editor.] | SpringerLink (Online service).

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

Economics of Grids, Clouds, Systems, and Services [electronic resource] : 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers / edited by Jörn Altmann, Gheorghe Cosmin Silaghi, Omer F. Rana.

by Altmann, Jörn [editor.] | Silaghi, Gheorghe Cosmin [editor.] | Rana, Omer F [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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 Information Systems Engineering - WISE 2015 [electronic resource] : 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I / edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.

by Wang, Jianyong [editor.] | Cellary, Wojciech [editor.] | Wang, Dingding [editor.] | Wang, Hua [editor.] | Chen, Shu-Ching [editor.] | Li, Tao [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service).

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

Software Engineering for Resilient Systems [electronic resource] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione.

by Fantechi, Alessandro [editor.] | Pelliccione, Patrizio [editor.] | SpringerLink (Online service).

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

Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers / edited by Roman Obermaisser, Yunmook Nah, Peter Puschner, Franz J. Rammig.

by Obermaisser, Roman [editor.] | Nah, Yunmook [editor.] | Puschner, Peter [editor.] | Rammig, Franz J [editor.] | SpringerLink (Online service).

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

Principles of Distributed Systems [electronic resource] : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings / edited by Eduardo Tovar, Philippas Tsigas, Hacène Fouchal.

by Tovar, Eduardo [editor.] | Tsigas, Philippas [editor.] | Fouchal, Hacène [editor.] | SpringerLink (Online service).

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

Computational Science and Its Applications - ICCSA 2010 [electronic resource] : International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II / edited by David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan.

by Taniar, David [editor.] | Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Pardede, Eric [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service).

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

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth McMillan, Xavier Rival.

by McMillan, Kenneth [editor.] | Rival, Xavier [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Economics of Grids, Clouds, Systems, and Services [electronic resource] : 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers. / edited by Jörn Altmann, Kurt Vanmechelen, Omer F. Rana.

by Altmann, Jörn [editor.] | Vanmechelen, Kurt [editor.] | Rana, Omer F [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings / edited by Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, Leon van der Torre.

by Leite, Joao [editor.] | Torroni, Paolo [editor.] | Agotnes, Thomas [editor.] | Boella, Guido [editor.] | van der Torre, Leon [editor.] | SpringerLink (Online service).

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

Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn.

by Cirne, Walfredo [editor.] | Desai, Narayan [editor.] | Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Application and Theory of Petri Nets and Concurrency [electronic resource] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / edited by Gianfranco Ciardo, Ekkart Kindler.

by Ciardo, Gianfranco [editor.] | Kindler, Ekkart [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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 Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment [electronic resource] : First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers / edited by Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer.

by Bruel, Jean-Michel [editor.] | Mazzara, Manuel [editor.] | Meyer, Bertrand [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Product-Focused Software Process Improvement [electronic resource] : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings / edited by Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper.

by Kuhrmann, Marco [editor.] | Schneider, Kurt [editor.] | Pfahl, Dietmar [editor.] | Amasaki, Sousuke [editor.] | Ciolkowski, Marcus [editor.] | Hebig, Regina [editor.] | Tell, Paolo [editor.] | Klünder, Jil [editor.] | Küpper, Steffen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Fields of Logic and Computation III [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner.

by Blass, Andreas [editor.] | Cégielski, Patrick [editor.] | Dershowitz, Nachum [editor.] | Droste, Manfred [editor.] | Finkbeiner, Bernd [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available