Springer Verlag
Local database
Publisher
- 2000
- Published
Lactic acid production. / Villadsen, John.
In: Bioreaction engineering modeling and control (Eds.: K. Schügerl and K.-H. Bellgardt). Berlin : Springer Verlag, 2000. p. 349-373.Publication: Research - peer-review › Article in proceedings – Annual report year: 2000
- 1999
- Published
Computational Learning Theory, Proceedings of the 4th European Conference, EuroCOLT'99. / Fischer, Paul; Simon, H.-U.
Springer Verlag, 1999.Publication: Research - peer-review › Book – Annual report year: 1999
- Published
Non-rigid registration by geometry-constrained diffusion.. / Andresen, Per Rønsholt; Nielsen, Mads.
In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 1999. Springer Verlag, 1999. p. 533-543.Publication: Research - peer-review › Article in proceedings – Annual report year: 1999
- 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).
In: Computer Science Logic (CSL'99). Springer Verlag, 1999. p. 126-140.Publication: Research - peer-review › Article in proceedings – Annual report year: 1999
- Published
Formal Development and Verification of a Distributed Railway Control System. / Haxthausen, Anne Elisabeth; Peleska, Jan.
In: Proceedings of FM'99. Springer Verlag, 1999.Publication: Research - peer-review › Article in proceedings – Annual report year: 1999
- Published
Stepwise CTL model checking of state/event systems. / Lind-Nielsen, Jørn; Andersen, Henrik Reif.
In: Stepwise CTL model checking of state/event systems. Springer Verlag, 1999.Publication: Research › Article in proceedings – Annual report year: 1999
- 1998
- Published
Compiling graphical real-time specifications into silicon. / Fränzle, Martin; Lüth, Karsten; Ravn, A. P. (Editor); Rischel, H. (Editor).
In: Formal Techniques in Real-Time and Fault-Tolerant Systems. 5th International Symposium, FTRTFT'98. Proceedings. Springer Verlag, 1998. p. 272-281.Publication: Research - peer-review › Article in proceedings – Annual report year: 1998
- 1997
- Published
Physics of Biological Systems. From Molecules to Species. / Flyvbjerg, H (Editor); Hertz, J. (Editor); Jensen, M. H. (Editor); Mouritsen, Ole G. (Editor); Sneppen, K. (Editor).
Berlin : Springer Verlag, 1997. 366 p.Publication: Research - peer-review › Book – Annual report year: 1997
- Published
Randomized Hypotheses and Minimum Disagreement Hypotheses for Learning with Noise. / Cesa-Bianchi, N.; Fischer, Paul; Shamir, E.; Simon, H.- U.
In: Computational Learning Theory: Proc. EuroCOLT\verb+~+'97, LNAI\verb+~+1208. Springer Verlag, 1997. p. 119-133.Publication: Research - peer-review › Article in proceedings – Annual report year: 1997
- Published
Physics - and the physics of biologicalsystems. / Flyvbjerg, H.; Mouritsen, Ole G.
In: Physics of Biological Systems. From Molecules to Species. Berlin : Springer Verlag, 1997. p. 1-7.Publication: Research - peer-review › Article in proceedings – Annual report year: 1997