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 (2008)
- Security and Privacy via Cryptography (2017)
- Bridging the Implementation Gap (2025)
- DMC Model Checker (2025)
- DMC Model Checker (2025)
- Deductive Verification Techniques for Embedded Systems (2026)
- 2000
- 2001
- Behoefteonderzoek kwaliteitscirkels
- Choice quantification in process algebra
- Effective Models for the Structure of pi-Calculus Processes with Replication
- Eindrapport
- Gevolgen van de liberalisering van de elektriciteitsmarkt voor de afvalsector
- Informatie over klein chemisch afval
- Inleiding afvalbeheer
- Onderzoek naar de inzamelcontracten van huishoudelijk restafval en gft-afval
- Proefprojecten inzameling kleinwit-en bruingoed
- Richtlijn voor sorteeranalyses
- Statusrapportage programma gescheiden inzamelen van huishoudelijk afval
- Statusrapportage programma gescheiden inzamelen van huishoudelijk afval 1999
- Voortgangsrapportage monitoring WEB
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