Springer-Verlag

Local database

Publisher

  1. Published

    2-Level Lambda-Lifting. / Nielson, Flemming; Nielson, Hanne Riis.

    Proc. CAAP & ESOP '88. Springer-Verlag, 1988. p. 328-343.

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

  2. Published

    Abstract Interpretation of Denotational Definitions. / Nielson, Flemming.

    Proc. STACS'86. Springer-Verlag, 1986. p. 1-20.

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

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

  4. Published

    A Comparison of Modular Verification Techniques. / Andersen, Henrik Reif; Staunstrup, Jørgen; Maretti, Niels.

    Proceedings of TAPSOFT'97, LNCS 1214. Berlin, Heidelberg : Springer-Verlag, 1997. p. 550-564.

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

  5. Published

    A complementary method for simultaneous measurement of size and velocity. / Lading, L.; Hurup Hansen, B.

    6. International symposium on applications of laser techniques to fluid mechanics and workshop on computers in flow measurements. ed. / R.J. Adrian; D.F.G. Durao; F. Durst; M.V. Heitor; M. Maeda; J.H. Whitelaw. Berlin : Springer-Verlag, 1993. p. 118-130.

    Publication: ResearchArticle in proceedings – Annual report year: 1993

  6. Published

    A Concurrency Case Study Using RAISE. / Haxthausen, Anne Elisabeth; George, C. W.

    Proceedings of FME'93: Industrial Strength Formal Methods. Springer-Verlag, 1993.

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

  7. Published

    Adaptive Regularization in Neural Network Modeling. / Larsen, Jan; Svarer, Claus; Andersen, Lars Nonboe; Hansen, Lars Kai.

    Neural Networks: Tricks of the Trade. Springer-Verlag, 1998. p. 113-132.

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

  8. Published

    Adaptive Regularization in Neural Network Modelling. / Larsen, Jan; Svarer, C; Andersen, Lars Nonboe; Hansen, Lars Kai; Orr, G.B. (Editor); Muller, K. (Editor); Caruana, R. (Editor).

    Springer-Verlag, 1997.

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

  9. Published

    Adaptive Sampling and Bias Estimation in Path Tracing. / Tamstorf, Rasmus; Jensen, Henrik Wann.

    Rendering Techniques '97. Heidelberg : Springer-Verlag, 1997. p. 285-295.

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

  10. Published

    A Formal Software Engineering Paradigm : From Domains via Requirements to Software. Formal Specification and Design Calculi. / Bjørner, Dines.

    SOFSEM'97: Theory and Practice of Informatics. Heidelberg : Springer-Verlag, 1997. p. 219-248.

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

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