David Harel
Computers Ltd: What they really can't do eBooks & eLearning
Posted by insetes at Aug. 3, 2019
Computers Ltd: What they really can't do By Harel D.
2000 | 238 Pages | ISBN: 0198505558 | DJVU | 2 MB
2000 | 238 Pages | ISBN: 0198505558 | DJVU | 2 MB
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, Nove eBooks & eLearning
Posted by insetes at Dec. 12, 2024
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers By David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)
2013 | 281 Pages | ISBN: 3642396100 | PDF | 4 MB
2013 | 281 Pages | ISBN: 3642396100 | PDF | 4 MB
Algorithmics: The Spirit of Computing (Repost) eBooks & eLearning
Posted by step778 at July 24, 2018
David Harel, Yishai Feldman, "Algorithmics: The Spirit of Computing"
2004 | pages: 533 | ISBN: 0321117840 | PDF | 9,3 mb
2004 | pages: 533 | ISBN: 0321117840 | PDF | 9,3 mb
Dynamic logic eBooks & eLearning
Posted by insetes at June 15, 2021
Dynamic logic By David Harel, Dexter Kozen, Jerzy Tiuryn
2000 | 476 Pages | ISBN: 0262082896 | PDF | 3 MB
2000 | 476 Pages | ISBN: 0262082896 | PDF | 3 MB
Algoritmi: Lo spirito dell'informatica (UNITEXT) eBooks & eLearning
Posted by hill0 at Dec. 31, 2019
Algoritmi: Lo spirito dell'informatica (UNITEXT)
by David Harel
Italiano | 2008 | ISBN: 8847005795 | 616 Pages | PDF | 3.46 MB
by David Harel
Italiano | 2008 | ISBN: 8847005795 | 616 Pages | PDF | 3.46 MB
Algorithmic Bioprocesses (Repost) eBooks & eLearning
Posted by DZ123 at Nov. 15, 2017
Anne Condon, David Harel, Joost N. Kok, "Algorithmic Bioprocesses"
English | 2009 | ISBN: 3540888683 | PDF | pages: 762 | 13.1 mb
English | 2009 | ISBN: 3540888683 | PDF | pages: 762 | 13.1 mb
Verification, Model Checking, and Abstract Interpretation eBooks & eLearning
Posted by step778 at Oct. 26, 2018
Bernhard Steffen, Giorgio Levi, "Verification, Model Checking, and Abstract Interpretation"
2004 | pages: 344 | ISBN: 3540208038 | PDF | 3,0 mb
2004 | pages: 344 | ISBN: 3540208038 | PDF | 3,0 mb
Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings eBooks & eLearning
Posted by insetes at Dec. 5, 2018
Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings By Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)
2002 | 401 Pages | ISBN: 3540437037 | PDF | 4 MB
2002 | 401 Pages | ISBN: 3540437037 | PDF | 4 MB
The Human Face Of Computing eBooks & eLearning
Posted by readerXXI at March 22, 2018
The Human Face Of Computing
by Cristian S. Calude
English | 2016 | ISBN: 1783266430 | 449 Pages | True PDF | 8.8 MB
by Cristian S. Calude
English | 2016 | ISBN: 1783266430 | 449 Pages | True PDF | 8.8 MB
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of eBooks & eLearning
Posted by insetes at Feb. 9, 2019
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 By Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)
2005 | 404 Pages | ISBN: 1402035306 | PDF | 7 MB
2005 | 404 Pages | ISBN: 1402035306 | PDF | 7 MB