Populaire boeken

Specification and analysis of internet applications door H.M.A. van Beek
... »

Project Process Improvement door F. Bons, H.C. ten Zweege & M.C. de Koning
... »

Petri nets for modeling robots door Debjyoti Bera
 »

Algoritmen en datastructuren door Veerle Fack
Dit handboek is een leidraad bij de studie van algoritmen en datastructuren. De inleidende hoofdstukken geven een overzicht van enkele wiskundige technieken om ... »

Decision procedures for equality logic with uninterpreted functions door O. Tveretina
... »

Validation Techniques for Object-Oriented Proof Outlines door C. Pierik
 »

Scyther - semantics and verification of security protocols door C.J.F. Cremers
... »

Formalising Interface Specifications door L.C.M. van Gool
... »

Fundamentals of programming door Katrien Deleu
 »

Real and stochastic time in process algebras for performance evaluation door J. Markovski
... »