|
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
|
Tai-hoon Kim |
This book comprises the refereed proceedings of the International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012 on Jeju Island, Korea, in November/December 2012. The papers prese… |
OL19836515W |
|
Formal Aspects of Component Software
|
Farhad Arbab |
<p>This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. </p><p>The 18 full paper… |
OL19850807W |
|
Programming Languages and Systems
|
Matthias Felleisen |
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,… |
OL19897229W |
|
Transactions on Pattern Languages of Programming III
|
James Noble |
The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the… |
OL19907685W |