Cover Image
Read Now

1
Published 2002
Springer London
Cover Image
Read Now

2
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... development -- A sound and relatively complete axiomatization of clarke's language L4 -- Deciding branching...”
Cover Image
Read Now

4
Published 2003
Springer Netherlands
Table of Contents: “... hot action -- Reconsidering common ground: Examining Clark’s contribution theory in the OR -- Group...”
Cover Image
Read Now

5
Published 1997
Springer Berlin Heidelberg
“... selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur...”
Cover Image
Read Now

6
Published 2001
Springer London
“... computer interaction to work in commercial systems projects." Dave Clarke, Consultant, Visualize Software...”
Cover Image
Read Now

7
Published 2000
Springer Berlin Heidelberg
“... Telecommunication Services to the People - IS&N'95", Anne Clarke, Mario Campolargo, Nikos Karatzas (Eds.), Heraklion...”