Springer Verlag

Local database

Publisher

  1. 2000
  2. Published

    Josephson Flux-Flow Oscillators in Microwave Fields. / Salerno, M.; Samuelsen, Mogens Rugholm.

    Nonlinear Science at the Dawn of the 21th Century. Heidelberg : Springer Verlag, 2000. p. 87-102.

    Publication: Research - peer-reviewArticle in proceedings – 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

    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

  5. Published

    Stacked Josephson junctions. / Pedersen, Niels Falsig.

    Nonlinear Science at the Dawn of the 21th Century (Eds. Christiansen, P. L., Soerensen, M. P. and Scott, A. C.. Berlin : Springer Verlag, 2000. p. 121-135.

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

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

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

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

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

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

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

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