Springer Verlag

Local database

Publisher

  1. 2000
  2. 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

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

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

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

  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

    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

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

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

  12. 1997
  13. Published

    A Generator for Composition Interpreters. / Steensgaard-Madsen, Jørgen.

    Object-Oriented Technology. Berlin : Springer Verlag, 1997. p. 369-373.

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

  14. Published

    Interoperability of Standards for Robotics in CIME. / Mikosch, Falk (Editor); Kroszynski, Uri; Sørensen, Torben; Ludwig, Arnold; Horsch, Thomas.

    Interoperability of Standards for Robotics in CIME. Berlin : Springer Verlag, 1997. (Research Reports Esprit-Project 6457-InterRob, Vol. 1).

    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