Harel, David books & textbook
Antidemocracy in America: Truth, Power, and the Republic at Risk (Public Books Series)
Klinenberg, Eric Marcus, Sharon Zaloom, Caitlin Anderson, Michelle Wilde Wade, Lisa Sugrue, Thomas J. Pickard, Victor Sassen, Saskia Das, Alina Hathaway, Oona A. Shapiro, Scott J. Sennett, Richard Noguera, Pedro Turner, Fred Calhoun, Craig Levi, Margaret Khan, Shamus Bakke, Gretchen Sharkey, Patrick Gordon, Linda Shrum, Richard Gorski, Philip Luhrmann, Tanya Marie Harel., Shapira Farmer, Ashley Massey, Douglas S. Lukes, Steven Jackson, Michelle Grusky, David B. Cohen, Daniel Aldana Brown, Wendy Butler, Judith Lamont, Professor of Sociology Michele Halberstam, Jack Cowie, Jefferson Wilson, William Julius
Columbia University Press /2019-06-25 Paperback / 288 Pages
isbn-10: 0231190115 / isbn-13: 9780231190114
Normalizing Occupation: The Politics of Everyday Life in the West Bank Settlements
Handel, Ariel Allegra, Marco Maggor, Erez Cahaner, Lee Ghanim, Honaida Ginsburg, Ruthie Gutwien, Daniel Harel, Assaf Kratsman, Miki Newman, David Paz-Fuchs, Amir Pullan, Wendy Ronen, Yael Tzfadia, Erez
Indiana University Press /2017-01-09 Paperback / 234 Pages
isbn-10: 0253024889 / isbn-13: 9780253024886
Algorithmics: The Spirit of Computing
Springer /2014-04-17 Paperback / 594 Pages
isbn-10: 3642441351 / isbn-13: 9783642441356
A Civilian Occupation: The Politics of Israeli Architecture
Segal, Rafi Tartakover, David Weizman, Eyal Labudovic, Milutin Benvenisti, Meron Efrat, Zvi Harel, Nadav Levy, Gideon Potash, Ilan Rotbard, Sharon Shvily, Efrat Tamir-Tawil, Eran Wolberg, Pavel Yiftachel, Oren
Verso /2003-11-27 Hardcover / 187 Pages
isbn-10: 1859845495 / isbn-13: 9781859845493
Computers Ltd.: What They Really Can't Do (Popular Science)
Oxford University Press /2003-12-11 Paperback / 256 Pages
isbn-10: 0198604424 / isbn-13: 9780198604426
Modeling Reactive Systems With Statecharts : The Statemate Approach
McGraw-Hill /1998-10-08 Hardcover / 258 Pages
isbn-10: 0070262055 / isbn-13: 9780070262058
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry, 195)
Broy, Manfred Gruenbauer, Johannes Harel, David Hoare, Tony
Springer /2005-07-15 Paperback / 414 Pages
isbn-10: 1402035314 / isbn-13: 9781402035319
Algoritmi: Lo spirito dell'informatica (UNITEXT) (Italian Edition)
Springer /2007-12-22 Paperback / 638 Pages
isbn-10: 8847005795 / isbn-13: 9788847005792
Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings (Lecture Notes in Computer Science, 4199)
Nierstrasz, Oscar Whittle, Jon Harel, David Reggio, Gianna
Springer /2006-09-22 Paperback / 708 Pages
isbn-10: 3540457720 / isbn-13: 9783540457725
Dynamic Logic (Foundations of Computing)
Harel, David Kozen, Dexter Tiuryn, Jerzy
MIT Press /2000-09-29 Paperback / 476 Pages
isbn-10: 0262527669 / isbn-13: 9780262527668