کتاب های David Harel
درباره نویسنده
Algorithmic bioprocesses
Arto Salomaa (auth.), Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree (eds.), 2009
Algorithmics. Spirit of Computing
David Harel, Yishai Feldman, 2004
Algorithmics: The Spirit of Computing
David Harel, 1987
Algorithmik: Die Kunst des Rechnens
David Harel, Yishai Feldman, Micaela Krieger, 2006
Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
David Harel (auth.), Johan Jeuring (eds.), 1998
Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings
David Harel (auth.), Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf (eds.), 2011
Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings
David Harel (auth.), Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf (eds.), 2011
Algoritmi: Lo spirito dell’informatica
David Harel, 2008
Algorithmics : the spirit of computing
Harel, David, 2004
Algorithmics, 3rd Edition: The Spirit of Computing
David Harel, 2004
Algorithmik: Die Kunst des Rechnens
David Harel, 2006
Modeling Reactive Systems With Statecharts : The Statemate Approach
David Harel, 1998
Statecharts. A Visual Formalism for Complex Systems
David Harel, 1986
Computers Ltd: What They Really Can't Do
David Harel, 2000
Computers Ltd: What They Really Can't Do
David Harel, 2000
Dynamic logic
David Harel, 2000
Dynamic Logic
David Harel, 2000
Dynamic Logic (Foundations of Computing)
David Harel
First-Order Dynamic Logic
David Harel (eds.), 1979
