Springer

Central database

Publisher

  1. 2013
  2. Published

    Playware Explorations in Robot Art. / Lund, Henrik Hautop ; Pagliarini, Luigi.

    Proceedings of 2nd International Conference on Robot Intelligence and Applications. Springer, 2013.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  3. Published

    Preface. / Jensen, Rune Møller; Pacino, Dario; Voß, Stefan.

    Computational Logistics: 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings. Vol. 8197 Springer, 2013. p. V-VI (Lecture Notes in Computer Science).

    Publication: ResearchPreface/postscript – Annual report year: 2013

  4. Published

    Probabilistic Analysis of the Quality Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

    Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Springer, 2013. p. 258-272 (Lecture Notes in Computer Science, Vol. 7892).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  5. Prototypical Implementation of a Remanufacturing Oriented Grinding Machine. / da Silva, Eraldo Jannone; Ometto, Aldo Roberto; Rozenfeld, Henrique; Silva, Diogo A. Lopes; Pigosso, Daniela Cristina Antelmi; Alves Reis, vinicius Ricco.

    Leveraging Technology for a Sustainable World: Proceedings of the 19th CIRP Conference on Life Cycle Engineering, University of California at Berkeley, Berkeley, USA, May 23 - 25, 2012. ed. / David A. Dornfeld; Barbara S. Linke. Springer, 2013. p. 257-262.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  6. Published

    Regional Energy Planning Tool for Renewable Integrated Low-Energy District Heating Systems : Environmental Assessment. / Tol, Hakan; Dincer, Ibrahim; Svendsen, Svend .

    Causes, Impacts and Solutions to Global Warming. Springer, 2013. p. 859-878.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  7. Published

    Reimplementing a Multi-Agent System in Python. / Villadsen, Jørgen; Jensen, Andreas Schmidt; Ettienne, Mikko Berggren; Vester, Steen; Andersen, Kenneth Balsiger; Frøsig, Andreas.

    Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers. ed. / Mehdi Dastani; Jomi F. Hübner; Brian Logan. Springer, 2013. p. 205-216 (Lecture Notes in Computer Science, Vol. 7837).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  8. Published

    Revisiting Weak Simulation for Substochastic Markov Chains. / Jansen, David N.; Song, Lei; Zhang, Lijun.

    Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer, 2013. p. 209-224 (Lecture Notes in Computer Science, Vol. 8054).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  9. Published

    Safety versus Security in the Quality Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

    Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer, 2013. p. 285-303 (Lecture Notes in Computer Science, Vol. 8051).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  10. Published

    Satellite Remote Sensing in Offshore Wind Energy. / Hasager, Charlotte Bay; Badger, Merete; Astrup, Poul; Karagali, Ioanna.

    Handbook of Wind Power Systems. ed. / Panos M. Pardalos; Steffen Rebennack; Mario V. F. Pereira; Niko A. Iliadis; Vijay Pappu. Springer, 2013. p. 711-745 (Energy Systems).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  11. Published

    Secure IT Systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. / Nielson, Hanne Riis (Editor); Gollmann, Dieter (Editor).

    Springer, 2013. (Lecture Notes in Computer Science, Vol. 8208).

    Publication: ResearchBook – Annual report year: 2013

Download list: To download, please limit the number of search results to 1,000 or less.