search result

Cover von First-order dynamic logic
Author: Harel, David Search for this author
Year: 1979
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 68
Media group: MONOGRAPHIE
Cover von Algorithmics
the spirit of computing
Author: Harel, David Search for this author
Year: 1987
Publisher: Reading, Addison-Wesley
Media group: MONOGRAPHIE
Cover von The science of computing
exploring the nature and power of algorithms
Author: Harel, David Search for this author
Year: 1989
Publisher: Reading, Addison-Wesley
Media group: MONOGRAPHIE
Cover von Computers Ltd
what they really can't do
Author: Harel, David Search for this author
Year: 2003
Publisher: Oxford, Oxford University Press
Media group: MONOGRAPHIE
Cover von Come, let's play
scenario-based programming using LSCs and the play-engine
Author: Harel, David Search for this author
Year: 2003
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Das Affenpuzzle
und weitere bad news aus der Computerwelt
Author: Harel, David Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Algorithmik
die Kunst des Rechnens
Author: Harel, David; Feldman, Yishai A. Search for this author
Year: 2006
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Algorithmics
the spirit of computing
Author: Harel, David; Feldman, Yishai A. Search for this author
Year: 2004
Publisher: Indianapolis, Addison-Wesley
Media group: MONOGRAPHIE
Cover von Dynamic logic
Author: Harel, David; Kozen, Dexter C.; Tiuryn, Jerzy Search for this author
Year: 2000
Publisher: Cambridge, MIT Press
Series: Foundations of computing
Media group: MONOGRAPHIE
Cover von On the Succinctness of Idioms for Concurrent Programming

On the Succinctness of Idioms for Concurrent Programming

Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0