author:Vaandrager, Lenneke

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Mittelmark, Maurice B.／Bauer, Georg F.／Vaandrager, Lenneke／Pelikan, Juergen M.／Sagy, Shifra／Eriksson, Monica／Lindstroem, Bengt／Meier Magistretti, Claudia

The Hitchhiker's Guide to Salutogenesis: From the Ottawa Charter for Health Promotion to Planetary Health (SpringerBriefs in Public Health)

Eriksson, Monica／Vaandrager, Lenneke／Lindstroem, Bengt

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings

Joël Ouaknine, Frits W. Vaandrager (eds.)

Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings

Frits W. Vaandrager, Jan H. van Schuppen (eds.)

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

Grzegorz Rozenberg, Frits Vaandrager (eds.)

The theory of timed I/O automata

Dilsun K. Kaynar... [et al.]