Springer

Central database

Publisher

  1. 2016
  2. Published

    Fibre Bragg Grating as a Multi-Stage Structure Health Monitoring Sensor. / Pereira, Gilmar Ferreira.

    MARE-WINT. New Materials and Reliability in Offshore Wind Turbine Technology. ed. / Wiesław Ostachowicz ; Malcolm McGugan; Jens-Uwe Schröder-Hinrichs; Marcin Luczak. Springer, 2016. p. 53-66.

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

  3. Published

    Formalization of the Resolution Calculus for First-Order Logic. / Schlichtkrull, Anders.

    Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016). ed. / Jasmin Christian Blanchette; Stephan Merz. Springer, 2016. p. 341-357 (Lecture Notes in Computer Science, Vol. 9807).

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

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

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

  6. Published

    Formal techniques for a data-driven certification of advanced railway signalling systems. / Fantechi, Alessandro.

    Proceedings of Critical Systems: Formal Methods and Automated Verification (FMICS-AVoCS 2016): Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems. ed. / Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp. Springer, 2016. p. 231-245 (Lecture Notes in Computer Science, Vol. 9933).

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

  7. Published

    Fundamentals of process intensification: A process systems engineering view. / Babi, Deenesh Kavi; Sales Cruz, Alfonso Mauricio; Gani, Rafiqul.

    Process Intensification in Chemical Engineering: Design Optimization and Control. ed. / Juan Gabriel Segovia-Hernández; Adrián Bonilla-Petriciolet . Springer, 2016. p. 7-33.

    Publication: Research - peer-reviewBook chapter – 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

    Green transportation logistics : the quest for win-win solutions. / Psaraftis, Harilaos N. (Editor).

    Springer, 2016. (International Series in Operations Research and Management Science, Vol. 226).

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

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