Springer Verlag

Local database

Publisher

  1. Published

    Nonlinear science at the dawn of the 21th century : Josephson Flux-Flow Oscillators in Microwave Fields. / Salerno, Mario; Samuelsen, Mogens Rugholm.

    Heidelberg : Springer Verlag, 2000.

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

  2. Published

    AC-losses in superconducting power cables. / Tønnesen, Ole; Østergaard, Jacob; Däumling, M.; Olsen, S. Krüger; Traholt, C.; Willen, D.; Kühle, A.; Rasmussen, C.N.; Rasmussen, C.

    High Temperature Superconductors. ed. / Anant Narlikar. Vol. 32 Springer Verlag, 2000. p. 73-111 (Studies of High Temperature Superconductors, Vol. 33).

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

  3. Published

    Lactic acid production. / Villadsen, John.

    Bioreaction engineering modeling and control (Eds.: K. Schügerl and K.-H. Bellgardt). Berlin : Springer Verlag, 2000. p. 349-373.

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

  4. Published

    Non-rigid registration by geometry-constrained diffusion.. / Andresen, Per Rønsholt; Nielsen, Mads.

    Medical Image Computing and Computer-Assisted Intervention - MICCAI 1999. Springer Verlag, 1999. p. 533-543.

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

  5. Published

    Computational Learning Theory, Proceedings of the 4th European Conference, EuroCOLT'99. / Fischer, Paul; Simon, H.-U.

    Springer Verlag, 1999.

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

  6. Published

    Analysis of hybrid systems: An ounce of realism can save an infinity of states. / Fränzle, Martin; Flum, J. (Editor); Rodriguez-Artalejo, M. (Editor).

    Computer Science Logic (CSL'99). Springer Verlag, 1999. p. 126-140.

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

  7. Published

    Formal Development and Verification of a Distributed Railway Control System. / Haxthausen, Anne Elisabeth; Peleska, Jan.

    Proceedings of FM'99. Springer Verlag, 1999.

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

  8. Published

    Stepwise CTL model checking of state/event systems. / Lind-Nielsen, Jørn; Andersen, Henrik Reif.

    Stepwise CTL model checking of state/event systems. Springer Verlag, 1999.

    Publication: ResearchArticle in proceedings – Annual report year: 1999

  9. Published

    Compiling graphical real-time specifications into silicon. / Fränzle, Martin; Lüth, Karsten; Ravn, A. P. (Editor); Rischel, H. (Editor).

    Formal Techniques in Real-Time and Fault-Tolerant Systems. 5th International Symposium, FTRTFT'98. Proceedings. Springer Verlag, 1998. p. 272-281.

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

  10. Published

    Randomized Hypotheses and Minimum Disagreement Hypotheses for Learning with Noise. / Cesa-Bianchi, N.; Fischer, Paul; Shamir, E.; Simon, H.- U.

    Computational Learning Theory: Proc. EuroCOLT\verb+~+'97, LNAI\verb+~+1208. Springer Verlag, 1997. p. 119-133.

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

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