Engineering Theories of Software Intensive SystemsManfred Broy, Johannes Gruenbauer, David Harel, Tony HoareInbunden, 20052 210 kr
Engineering Theories of Software Intensive SystemsManfred Broy, Johannes Gruenbauer, David Harel, Tony HoareHäftad, 20052 210 kr
Model Driven Engineering Languages and SystemsOscar Nierstrasz, Jon Whittle, David Harel, Gianna ReggioHäftad, 20061 108 kr
Algorithmic BioprocessesJoost N. Kok, Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik WinfreeInbunden, 20092 145 kr
Algorithmic BioprocessesAnne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik WinfreeHäftad, 20122 145 kr
Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, ProceedingsDexter Kozen, Carron Shankland644 kr