CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Approximation methods for nonlinear filtering problems arising in system identification In Proceedings
P.S. Krishnaprasad, M. Hazewinkel (Michiel) and B. Hanzon (Bernard)
January 1981
-
Approximation methods for nonlinear filtering problems arising in system identification (summary) Tech Report
B. Hanzon (Bernard), M. Hazewinkel (Michiel) and P.S. Krishnaprasad
January 1981
-
Ten years of Hoare s logic, a survey, part I Article
ACM Transactions on Programming Languages and Systems, 3(4), 431-483.January 1981
-
January 1981
-
January 1981
-
January 1981
-
Cook's tour of countable nondeterminism In Proceedings
January 1981
-
Preface : Stochastic systems : the mathematics of filtering and identification and applications Preface
January 1981