Springer-Verlag

Local database

Publisher

  1. 2004
  2. Published

    Evaluating and managing safety barriers in major hazard plants. / Duijm, N.J.; Andersen, H.B.; Hale, A.; Goossens, L.; Hourtolou, D.

    Proceedings. London : Springer-Verlag, 2004. p. 110-115.

    Publication: ResearchArticle in proceedings – Annual report year: 2004

  3. Published

    Proof Support for RAISE - by a Reuse Approach based on Institutions. / Lindegaard, Morten Peter; Haxthausen, Anne Elisabeth.

    Proceedings of AMAST'04. Springer-Verlag, 2004. p. 319-333.

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

  4. Scenario building for the future of the Tel-Aviv metropolitan area and its transportation system using the Delphi method. / Shiftan, Yoram; Kaplan, Sigal; Hakkert, Shalom.

    Transport Developments and Innovations in an Evolving World. Berlin : Springer-Verlag, 2004. p. 275-289 (Advances in Spatial Science).

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

  5. Published

    The Succinct Solver Suite. / Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan; Buchholtz, Mikael; Hansen, René Rydhof; Pilegaard, Henrik; Seidl, Helmut.

    Proc. TACAS'04. Springer-Verlag, 2004. p. 251-265.

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

  6. 2003
  7. Published

    An Ontology for a TripTych Formal Software Development. / Bjørner, Dines; Wirsing, Martin (Editor).

    US DoD Workshop on Radical Innovations for Software and Systems Engineering. Springer-Verlag, 2003.

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

  8. Published

    Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. / Fossorier, Marc (Editor); Høholdt, Tom (Editor); Poli, Alain (Editor).

    Berlin : Springer-Verlag, 2003.

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

  9. Published

    Decentralised power generation in the liberalised EU energy markets. Results from the DECENT research project. / Jörss, W.; Jørgensen, Birte Holst; Löffler, P.; Morthorst, Poul Erik; Uyterlinde, M.; Sambeek, E. van; Wehnert, T.

    Berlin : Springer-Verlag, 2003. 259 p.

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

  10. How engineering designers obtain information : Human behaviour in design. / Wallace, Ken M.; Ahmed, Saeema.

    Human Behabviour in design: Individuals, teams, tools. ed. / Udo Lindemann. Munich, Germany : Springer-Verlag, 2003. p. 184-194.

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

  11. On the Efficiency of the Clock Control Guessing Attack. / Zenner, Erik .

    Proceedings ICISC 2002. ed. / Pil Joong Lee; Chae Hoon Lim. London, UK : Springer-Verlag, 2003. p. 200-212 (Lecture Notes in Computer Science; No. 2587).

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

  12. Published

    Vibrations and Stability : Advanced Theory, Analysis, and Tools. / Thomsen, Jon Juel.

    Berlin - Heidelberg - New York : Springer-Verlag, 2003. 404 p.

    Publication: EducationBook – Annual report year: 2003

Previous 1 2 3 4 5 6 7 8 ...19 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word