|
Albert, J.
Bayesian computation with R 
|
|
Alexander, P.
System level design with Rosetta
|
|
Alon, N.
The probabilistic method
|
|
Amtoft, T.
Type and effect systems : behaviours for concurrency
|
Bjørner, D.
Software engineering 1 |
|
Bjørner, D.
Software engineering 2
|
| Bjørner, D.
Software engineering 3 |
|
Dean, R.
Beach nourishment : theory and practice
|
|
Harel, D.
Modeling reactive systems with statecharts : the statemate approach
|
|
Intensional
programming II : Based on the papers at ISLIP´99 / Eds.
M.Gergatsoulis, P.
Rondogiannis
|
| Logics of specification
languages / [ed. by] D. Bjorner, M. C. Henson |
|
Paris, J.
B. The uncertain reasoner's companion : a mathematical perspective
|
|
Randomness
and complexity : from Leibniz to Chaitin / Ch. S. Claude (editor)
|
|
Schneider,
S. Concurrent and real time systems : the CSP approach
|
|
Watt, D.A.
Programming language design concepts
|
