This book constitutes the revised selected papers of the 10th International Symposium on Formal A...
ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS ...
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3...
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop ...
In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic ...
Why Another Book on Category Theory? In the past ten years, several books have been published on ...
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic...
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods,...
The European conference situationin the general area of software science has longbeen considered ...
This book constitutes the refereed proceedings of the 4th International Conference on Business Pr...
Unser bisheriger Preis:ORGPRICE: 117,69 €
Why Another Book on Category Theory? In the past ten years, several books have been published on ...
Unser bisheriger Preis:ORGPRICE: 79,99 €