Springer, 0-387, 1-85233, 0-8176, 1-84628

Central database

Publisher

  1. 2016
  2. Published

    Climate Change Risks – Methodological Framework and Case Study of Damages from Extreme Events in Cambodia. / Halsnæs, Kirsten; Kaspersen, Per Skougaard; Trærup, Sara Lærke Meltofte.

    Sustainable Development and Disaster Risk Reduction. ed. / Juha I. Uitto; Rajib Shaw. Springer, 2016. p. 71-85.

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

  3. Published

    Polybenzimidazole Membranes by Post Acid Doping. / Aili, David; Jensen, Jens Oluf; Li, Qingfeng.

    High Temperature Polymer Electrolyte Membrane Fuel Cells: Approaches, Status, and Perspectives. ed. / Qingfeng Li; David Aili; Hans Aage Hjuler; Jens Oluf Jensen. Switzerland : Springer, 2016. p. 195-215.

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

  4. 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

  5. 2015
  6. Published

    Magnetic Field. / Olsen, Nils.

    Encyclopedia of Remote Sensing. ed. / Eni G. Njoku. Springer, 2015. p. 358-362 (Encyclopedia of Earth Sciences Series).

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2015

  7. Published

    Klaim-DB: A Modeling Language for Distributed Database Applications. / Wu, Xi; Li, Ximeng; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 197-212 (Lecture Notes in Computer Science, Vol. 9037).

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

  8. Published

    Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. / Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan.

    Proceedings of the 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014). ed. / Cyrille Artho; Peter Csaba Ölveczky. Springer, 2015. p. 223-238 (Communications in Computer and Information Science, Vol. 476).

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

  9. Published

    On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems. / Vester, Steen.

    Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015. ed. / Bernd Finkbeiner; Geguang Pu; Lijun Zhang. Springer, 2015. p. 361-377 (Lecture Notes in Computer Science, Vol. 9364).

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

  10. Published

    Characterizing Digital Light Processing (DLP) 3D Printed Primitives. / Tyge, Emil; Pallisgaard, Jens J. ; Lillethorup, Morten; Hjaltalin, Nanna G. ; Thompson, Mary Kathryn; Clemmensen, Line Katrine Harder.

    Proceedings of the 19th Scandinavian Conference on Image Analysis, SCIA 2015. Springer, 2015. p. 302-313 (Lecture Notes in Computer Science, Vol. 9127).

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

  11. Published

    Security of the AES with a Secret S-Box. / Tiessen, Tyge; Knudsen, Lars Ramkilde; Kölbl, Stefan; Lauridsen, Martin Mehl.

    Revised Selected Papers of the 22nd International Workshop on Fast Software Encryption (FSE 2015). ed. / Gregor Leander. Springer, 2015. p. 175-189.

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

  12. Published

    ¿El Caballo Viejo? Latin Genre Recognition with Deep Learning and Spectral Periodicity. / Sturm, Bob L.; Kereliuk, Corey Mose; Larsen, Jan.

    Proceedings of the 5th International Conference Mathematics and Computation in Music, MCM 2015. ed. / Tom Collins; David Meredith; Anja Volk. Springer, 2015. p. 335-346 (Lecture Notes in Computer Science, Vol. 9110).

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

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