Boeken - 3

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

» » »

Filteren op:

Ongelezen
Niet op verlanglijst
Niet in collectie

Structuring structural operational semantics

Structuring structural operational semantics door M. Mousavi
... »

Algorithms for fat objects

Algorithms for fat objects door C.M. Gray
... »

Formalising Interface Specifications

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

Scyther - semantics and verification of security protocols

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

Constructive formal methods and protocol standardization

Constructive formal methods and protocol standardization door A.J. Mooij
... »

Multifunctional geometric data structures

Multifunctional geometric data structures door M.W.A. Streppel
... »

Real and stochastic time in process algebras for performance evaluation

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

Computer-ondersteund redeneren: de boekhouder steunt de denker

Computer-ondersteund redeneren: de boekhouder steunt de denker door J.H. Geuvers
... »

Relating proof systems for recursive types

Relating proof systems for recursive types door C.A. Grabmeyer
... »

Reconciling Nondeterministic and Probabilistic Choices

Reconciling Nondeterministic and Probabilistic Choices door L. Cheung
... »