Springer-Verlag

Local database

Publisher

  1. 1999
  2. Published

    A Triptych Software Development Paradigm : Domain, Requirements and Software. / Bjørner, Dines.

    In Honour of Hans Langmaack. Heidelberg : Springer-Verlag, 1999. p. 29-60.

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

  3. Published

    Difference Decision Diagrams. / Møller, Jesper; Lichtenberg, Jakob; Andersen, Henrik Reif; Hulgaard, Henrik.

    Computer Science Logic (LNCS 1683). Springer-Verlag, 1999.

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

  4. Published

    Electricity Companies and Railway Networks as Newcomers in Telecommunications. / Falch, Morten.

    Towards Competition in Network Industries Telecommunications, Energy and Transportation in Europe and Russia. Berlin : Springer-Verlag, 1999. p. 149-170.

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

  5. Published

    Error estimates on averages of correlated data. / Flyvbjerg, H.

    Advances in computer simulation. ed. / J. Kertész; I. Kondor. Berlin : Springer-Verlag, 1999. p. 88-103 (Lecture notes in physics, 501).

    Publication: ResearchArticle in proceedings – Annual report year: 1999

  6. Published

    Interprocedural Control Flow Analysis. / Nielson, Flemming; Nielson, Hanne Riis.

    Proc. ESOP'99. Springer-Verlag, 1999. p. 20-39.

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

  7. Published
  8. Published

    Modeling microtubule oscillations. / Jobs, E.; Wolf, D.E.; Flyvbjerg, H.

    Statistical mechanics of biocomplexity. ed. / D. Reguera; J.M.G. Vilar; J.M. Rubi. Berlin : Springer-Verlag, 1999. p. 46-55 (Lecture notes in physics, 527).

    Publication: ResearchArticle in proceedings – Annual report year: 1999

  9. Published

    Monte Carlo study of oxygen ordering in Yba2Cu3O6+x. / Mønster, D.; Lindgård, Per-Anker; Andersen, N.H.

    Proceedings. ed. / D.P. Landau; H.-B. Schüttler. Berlin : Springer-Verlag, 1999. p. 150-154 (Springer proceedings in physics, 84).

    Publication: ResearchArticle in proceedings – Annual report year: 1999

  10. Published

    Signed Interval Logic. / Rasmussen, Thomas Marthedal Rasmus.

    Computer Science Logic. Springer-Verlag, 1999. p. 157-171.

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

  11. Published

    Static Analysis of Processes for No Read-Up and No Write-Down. / Bodei, C.; Degano, P.; Nielson, Flemming; Nielson, Hanne Riis.

    Proc. FOSSACS'99. Springer-Verlag, 1999. p. 120-134.

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

Previous 1...4 5 6 7 8 9 10 11 ...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