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

Central database

Publisher

  1. Published

    A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author); Peleska, Jan (Invited author).

    Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on Occasion of their 70th Birthdays. ed. / Cliff B. Jones; Zhiming Liu; Jim Woodcock. Springer, 2007. p. 320-348 (Lecture Notes in Computer Science; No. 4700).

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

  2. Published

    A Domain-specific Framework for Automated Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author).

    Computer Safety, Reliability, and Security. ed. / Buth; Rabe; Seyfarth. Vol. 5775 Berlin / Heidelberg : Springer, 2009. p. 1-3 (Lecture Notes in Computer Science).

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

  3. Published

    Advanced Microscopy of Microbial Cells. / Haagensen, Janus Anders Juul; Regenberg, Birgitte; Sternberg, Claus.

    Advances in Biochemical Engineering/Biotechnology. Vol. 124 Springer, 2011. p. 21-54 (Advances in Biochemical Engineering/Biotechnology).

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

  4. Published

    Advanced operational modal analysis methods for linear time periodic system identification. / Allen, Mathew S.; Chauhan, Shashank; Hansen, Morten Hartvig.

    Conference Proceedings of the Society for Experimental Mechanics Series. Vol. 4 New York : Springer, 2011. p. 31-44 (:Conference Proceedings of the Society for Experimental Mechanics Series; No. 4).

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

  5. Published

    Advanced Topology Optimization Methods for Conceptual Architectural Design. / Aage, Niels; Amir, Oded; Clausen, Anders; Hadar, Lior ; Maier, Dana ; Søndergaard, Asbjørn .

    Advances in Architectural Geometry 2014. ed. / P. Block; J. Knippers; N.J. Mitra; W. Wang. Springer, 2014.

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

  6. Advances in enzyme technology – UK contributions. / Woodley, John.

    History of Modern Biotechnology II. ed. / T Scheper; A Fiecher. Berlin : Springer, 2000. p. 93-108.

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

  7. Published

    Advances in Food Mycology. / Hocking, A. D.; Pitt, J.I.; Samson, R.A.; Thrane, Ulf.

    New York : Springer, 2006. 371 p.

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

  8. Published

    Advances in Offshore Wind Resource Estimation. / Hasager, Charlotte Bay; Badger, Merete; Pena Diaz, Alfredo; Badger, Jake; Antoniou, Ioannis; Nielsen, Morten; Astrup, Poul; Courtney, Michael; Mikkelsen, Torben.

    Advances in Wind Energy Conversion Technology. Springer, 2011. p. 85-106 (Environmental Science and Engineering).

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

  9. Published

    Advances in urban dispersion modelling. / Gryning, Sven-Erik; Batchvarova, E.

    Advances in air pollution modeling for environmental security. ed. / I. Faragó; K. Georgiev; A. Havasi. Berlin : Springer, 2005. p. 243-252 (Nato Science Series. IV: Earth and Environmental Sciences, 54).

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

  10. Published

    Advances in urban meteorology modelling. / Batchvarova, E.; Gryning, Sven-Erik.

    Advances in air pollution modeling for environmental security. ed. / I. Faragó; K. Georgiev; A. Havasi. Berlin : Springer, 2005. p. 23-32 (Nato Science Series. IV: Earth and Environmental Sciences, 54).

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

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