Springer-Verlag

Local database

Publisher

  1. 2000
  2. Published

    The Satellite Attitude Control Problem. / Wisniewski, R.; Astolfi, A.; Bak, T.; Blanke, Mogens; others, and.

    Control of Complex Systems. Springer-Verlag, 2000.

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

  3. 1999
  4. Published

    Abstract Interpretation of Mobile Ambients. / Hansen, René Rydhof; Jensen, J. G.; Nielson, Flemming; Nielson, Hanne Riis.

    Proc. SAS'99. Springer-Verlag, 1999. p. 134-148.

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

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

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

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

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

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

  10. Published
  11. 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

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

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