Serie
IPA dissertation series
21 delen · door M.H.G. Verhoef, W. Lueks, Robert Benjamin Rubbens · 2008–2026
Leesvolgorde
- Modeling and Validating Distributed Embedded Real-Time Control Systems deel 2009-01 (2008)
- Security and Privacy via Cryptography deel 2017-08 (2017)
- Bridging the Implementation Gap deel 2025-14 (2025)
- DMC Model Checker deel 2025-14 (2025)
- DMC Model Checker deel 2025-15 (2025)
- Deductive Verification Techniques for Embedded Systems deel 2026-11 (2026)
- 2000 deel 2002/01
- 2001 deel 2001-10
- Behoefteonderzoek kwaliteitscirkels deel 2001-07
- Choice quantification in process algebra deel 2002-04
- Effective Models for the Structure of pi-Calculus Processes with Replication deel 2005-17
- Eindrapport deel 2001-08
- Gevolgen van de liberalisering van de elektriciteitsmarkt voor de afvalsector deel 2001-03
- Informatie over klein chemisch afval deel 2000-5
- Inleiding afvalbeheer deel 2000-04
- Onderzoek naar de inzamelcontracten van huishoudelijk restafval en gft-afval deel 2001-09
- Proefprojecten inzameling kleinwit-en bruingoed deel 2000-01
- Richtlijn voor sorteeranalyses deel 2001-01
- Statusrapportage programma gescheiden inzamelen van huishoudelijk afval deel 2000-02
- Statusrapportage programma gescheiden inzamelen van huishoudelijk afval 1999 deel 2001-02
- Voortgangsrapportage monitoring WEB deel 2000-03
Modeling and Validating Distributed Embedded Real-Time Control Systems
M.H.G. Verhoef
Modeling and Validating Distributed Embedded Real-Time Control Systems
M.H.G. Verhoef
Paperback · 2008
Security and Privacy via Cryptography
W. Lueks
Security and Privacy via Cryptography
W. Lueks
Hardback · 2017
Bridging the Implementation Gap
Robert Benjamin Rubbens
Bridging the Implementation Gap
Robert Benjamin Rubbens
E-book · 2025
DMC Model Checker
Freark I. van der Berg
DMC Model Checker
Freark I. van der Berg
E-book · 2025
DMC Model Checker
Freark I. van der Berg
DMC Model Checker
Freark I. van der Berg
Paperback · 2025
Deductive Verification Techniques for Embedded Systems
Philip Ben Heinrich Tasche
Deductive Verification Techniques for Embedded Systems
Philip Ben Heinrich Tasche
Paperback · 2026
2000
2000
Hardback
2001
2001
Paperback
Behoefteonderzoek kwaliteitscirkels
Behoefteonderzoek kwaliteitscirkels
Paperback
Choice quantification in process algebra
B. Luttik
Choice quantification in process algebra
B. Luttik
Paperback
Effective Models for the Structure of pi-Calculus Processes with Replication
T.E. Gelsema
Effective Models for the Structure of pi-Calculus Processes with Replication
T.E. Gelsema
Paperback
Eindrapport
D. Huinck
Eindrapport
D. Huinck
Paperback
Gevolgen van de liberalisering van de elektriciteitsmarkt voor de afvalsector
S. Lomme
Gevolgen van de liberalisering van de elektriciteitsmarkt voor de afvalsector
S. Lomme
Paperback
Informatie over klein chemisch afval
Informatie over klein chemisch afval
Paperback
Inleiding afvalbeheer
Informatie Punt Afval
Inleiding afvalbeheer
Informatie Punt Afval
Paperback
Onderzoek naar de inzamelcontracten van huishoudelijk restafval en gft-afval
Onderzoek naar de inzamelcontracten van huishoudelijk restafval en gft-afval
Paperback
Proefprojecten inzameling kleinwit-en bruingoed
Proefprojecten inzameling kleinwit-en bruingoed
Hardback
Richtlijn voor sorteeranalyses
Richtlijn voor sorteeranalyses
Paperback
Statusrapportage programma gescheiden inzamelen van huishoudelijk afval
InformatiePunt Afval (AOO)
Statusrapportage programma gescheiden inzamelen van huishoudelijk afval
InformatiePunt Afval (AOO)
Paperback
Statusrapportage programma gescheiden inzamelen van huishoudelijk afval 1999
Statusrapportage programma gescheiden inzamelen van huishoudelijk afval 1999
Paperback
Voortgangsrapportage monitoring WEB
Voortgangsrapportage monitoring WEB
Hardback