Springer

Local database

Publisher

  1. 2016
  2. Published

    Environmental Impacts—Marine Ecosystems. / Brander, Keith ; Ottersen, Geir; Bakker, J.P.; Beaugrand, Gregory ; Herr, Helena ; Garthe, Stefan; Gilles, Anita; Kenny, Andrew; Siebert, Ursula; Skjoldal, Hein Rune ; Tulp, Ingrid.

    North Sea Region Climate Change Assessment. ed. / M. Quante ; F. Colijn. Springer, 2016. p. 241-274 (Regional climate studies).

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

  3. Published

    Experimental Design Research : Approaches, Perspectives, Applications. / Cash, Philip (Editor); Stanković, Tino (Editor); Štorga, Mario (Editor).

    Springer, 2016. 270 p.

    Publication: Research - peer-reviewBook – Annual report year: 2016

  4. Published

    Exploring Energy Efficiency of Lightweight Block Ciphers. / Banik, Subhadeep; Bogdanov, Andrey; Regazzoni, Francesco .

    22nd International Conference on Selected Areas in Cryptography (SAC 2015): Revised Selected Papers. ed. / Orr Dunkelman; Liam Keliher. Springer, 2016. p. 178-194 (Lecture Notes in Computer Science, Vol. 9566).

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

  5. Published

    Fast and Memory-Efficient Key Recovery in Side-Channel Attacks. / Bogdanov, Andrey; Kizhvatov, Ilya ; Manzoor, Kamran ; Tischhauser, Elmar Wolfgang; Witteman, Marc .

    22nd International Conference on Selected Areas in Cryptography (SAC 2015): Revised Selected Papers. ed. / Orr Dunkelman; Liam Keliher. Springer, 2016. p. 310-327 (Lecture Notes in Computer Science, Vol. 9566).

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

  6. Published

    Formal Methods and Safety Certification: Challenges in the Railways Domain. / Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania.

    Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II: Discussion, Dissemination, Applications. Springer, 2016. p. 261-265 (Lecture Notes in Computer Science, Vol. 9953).

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

  7. Published

    Formal modelling and analysis of socio-technical systems. / Probst, Christian W.; Kammüller, Florian; Hansen, Rene Rydhof.

    Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. ed. / Christian W. Probst; Chris Hankin; René Rydhof Hansen. Springer, 2016. p. 54-73 (Lecture Notes in Computer Science, Vol. 9560).

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

  8. Published

    General Momentum Theory for Horizontal Axis Wind Turbines. / Sørensen, Jens Nørkær.

    Springer, 2016. 194 p. (Research Topics in Wind Energy, Vol. 4).

    Publication: ResearchDoctoral thesis – Annual report year: 2015

  9. Published

    Green corridors and network design. / Panagakos, George.

    Green Transportation Logistics: The Quest for Win-Win Solutions. ed. / Harilaos N. Psaraftis. Vol. 226 Springer, 2016. p. 123-160 (International Series in Operations Research and Management Science, Vol. 226).

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

  10. Published

    Green corridors basics. / Panagakos, George.

    Green Transportation Logistics: The Quest for Win-Win Solutions. Vol. 226 Springer, 2016. p. 81-121 (Green Transportation Logistics: the Quest for Win-win Solutions).

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

  11. Published

    Guaranteeing Privacy-Observing Data Exchange. / Probst, Christian W.

    Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Foundational Techniques (ISoLA 2016): Part I. Springer, 2016. p. 958-969 (Lecture Notes in Computer Science, Vol. 9952).

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

Previous 1 2 3 4 5 6 7 8 ...120 Next
Download list: To download, please limit the number of search results to 1,000 or less.