Springer-Verlag

Local database

Publisher

  1. 2001
  2. Published

    Investigation of relationships between matrix orientations and nuclei at triple junctions. / Sabin, T.J.; Winther, G.; Juul Jensen, D.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 809-814.

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

  3. Published

    Measurement of orientation dependent stored energy of deformation on a local scale. / Godfrey, A.; Juul Jensen, D.; Hansen, N.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 843-848.

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

  4. Published

    Perspectives of System Informatics, IV. / Bjørner, Dines; Broy, M. (Editor); Zamulin, Alexandre V. (Editor).

    Springer-Verlag, 2001.

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

  5. Published

    Recrystallization in subdivided deformation microstructures. / Hughes, D.A.; Hansen, N.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 659-668.

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

  6. Published

    Recrystallization of Fe3Al based alloys during superplastic deformation. / Huang, X.; Gao, D.C.; Yang, W.Y.; Sun, Z.Q.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 875-880.

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

  7. Published

    The role of surface waves in modulating momentum, heat and chemical flux. / Smedman, A.-S.; Larsen, Søren Ejling.

    Transport and chemical transformation in the troposphere. Proceedings. ed. / P.M. Midgley; M.J. Reuther; M. Williams. Berlin : Springer-Verlag, 2001. p. 216-222.

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

  8. 2000
  9. Published

    A {K}leene analysis of Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Sagiv, M.

    Proc. ESOP'00. Springer-Verlag, 2000. p. 305-319.

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

  10. Published

    A Kleene analysis of Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Sagiv, M.

    Proc. ESOP'00. Springer-Verlag, 2000. p. 305-319.

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

  11. Published

    ASE: An overview of the Air-Sea Exchange subproject. / Larsen, Søren Ejling.

    Transport and chemical transformation of pollutants in the troposphere. An overview of the work of EUROTRAC. ed. / P. Borrell; P.M. Borrell. Berlin : Springer-Verlag, 2000. p. 285-293 (Transport and chemical transformation of pollutants in the troposphere, v. 1).

    Publication: ResearchBook chapter – Annual report year: 2000

  12. Published

    Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. / Williams, Poul Frederick; Biere, Armin; Clarke, Edmund M.; Gupta, Anubhav.

    Lecture Notes in Computer Science1855. Springer-Verlag, 2000.

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

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