Top 798 amsterdam netherlands PDF Book Page 29

book image

Hybrid Systems: Computation and Control: Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings

Philippe Baufreton (auth.), Frits W. Vaandrager, Jan H. van Schuppen (eds.)
·280 Pages
·1999
·4.364 MB

book image

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)
·339 Pages
·2003
·2.936 MB

book image

Evolutionary Multi-Criterion Optimization. 12th International Conference, EMO 2023 Leiden, The Netherlands, March 20–24, 2023 Proceedings

Michael Emmerich, André Deutz, Hao Wang, Anna V. Kononova, Boris Naujoks, Ke Li, Kaisa Miettinen, Iryna Yevseyeva
·646 Pages
·2023
·61.168 MB

1
282930
34