Popular books

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

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

Petri nets for modeling robots by Debjyoti Bera
 »

Algoritmen en datastructuren by 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 by O. Tveretina
... »

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

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

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

Fundamentals of programming by Katrien Deleu
 »

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