Bart Jacobs
- Auteur
Boeken van Bart Jacobs
Constant Hijzen
Bart Jacobs
Rowin Jansen
Florentijn van Kampen
Uiterst vertrouwelijk
Dit boek laat zien hoe het eenvoudige documentatiewerk van enkele militairen uitgroeide tot professionele organisaties waar duizenden mensen werken.
Meer
Bart Jacobs
Arend Rensink
Formal Methods for Open Object-Based Distributed Systems V
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
Formal methods; Distributed systems; Object-based technology. Meer
Formal methods; Distributed systems; Object-based technology. Meer
Bart Jacobs
Bart (Radboud Universiteit Nijmegen) Jacobs
Introduction to Coalgebra
The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation.
Meer