Springer Verlag

Local database

Publisher

  1. 1990
  2. Dynamics of tidally forced basin–wide coastal eddies. / Visser, Andre; Bowman, M.J.; Crawford, W.R.

    Residual Currents and Long–term Transport. ed. / R.T. Cheng. New York : Springer Verlag, 1990. (Lecture Notes on Coastal and Estuarine Studies: Physics of Shallow Bays and Estuaries).

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

  3. 1992
  4. Published

    A DSS for determinig multi-product optimal batch sizes with in-process inventories and multi-work centers. / Vidal, Rene Victor Valqui; Rygaard, Jens Moberg.

    IFIP/IFORS/IMACS/ISPE Symposium on information control problems in manufacturing technology, Poland. Springer Verlag, 1992. p. 599-606.

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

  5. Published

    Provably correct compiler development and implementation. / Buth, Bettina; Buth, Karl-Heinz; Fränzle, Martin; Karger, Burghard von; Lakhneche, Yassine; Langmaack, Hans; Müller-Olm, Markus; Kastens, U. (Editor); Pfahler, P. (Editor).

    Compiler Construction. Springer Verlag, 1992. p. 141-155.

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

  6. 1993
  7. Published

    Applied Simulated annealing. / Vidal, Rene Victor Valqui (Editor).

    Springer Verlag, 1993.

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

  8. 1994
  9. Published

    Provably correct systems. / Jifeng, He; Hoare, Charles A. R.; Fränzle, Martin; Müller-Olm, Markus; Olderog, Ernst-RÜdiger; Schenke, Michael; Hansen, Michael Reichhardt; Ravn, Anders P.; Rischel, Hans; Langmaack, H. (Editor); Vytopil, J. (Editor); de Roever, W.-P. (Editor).

    Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94). Springer Verlag, 1994. p. 288-335.

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

  10. Published

    Towards provably correct code generation for a hard real-time programming language. / Fränzle, Martin; Müller-Olm, Markus; Fritzson, Peter A. (Editor).

    Compiler Construction (CC 94). Vol. 786 Springer Verlag, 1994. p. 294-308.

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

  11. 1995
  12. Published

    Communication Harnesses for Transputer Systems with Tree Structure and Cube Structure. / Tingleff, Ole.

    Applied Parallel Computing. Berlin : Springer Verlag, 1995. p. 513-523.

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

  13. Published

    Development of Safety-Critical Real-Time Systems. / Rischel, Hans; Cuellar, J.; Mørk, S.; Wildgruber, I.

    SOFSEM'95: Theory and Practice of Informatics. Heidelberg : Springer Verlag, 1995. p. 206-235.

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

  14. Role of La in internal initiation. / Belsham, Graham; Sonenberg, N.; Svitkin, Y.

    Current Topics in Microbiology and Immunology: Cap-Independent Translation. ed. / P. Sarnow. Vol. Vol. 203 New York : Springer Verlag, 1995. p. 85-98.

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

  15. 1996
  16. Published

    A Coordinate Measuring Machine Approach to Evaluate Process Capabilities of Rapid Prototyping Techniques,. / Meneghello, R; De Chiffre, Leonardo; Sacilotto, A.

    Proc. of 4th Int. Seminar AMST, Udine,. Springer Verlag, 1996.

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

Previous 1 2 3 4 5 6 7 8 ...12 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