نتایج جستجو
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

مقالات ISI مرتبط



