These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Lire la suiteThe book includes different aspects in the lifecycle of business intelligence on very large enterprise-wide operational real-time ...
Lire la suiteThe book includes different aspects in the lifecycle of business intelligence on very large enterprise-wide operational real-time ...
Lire la suiteThis book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
Lire la suiteThis volume constitutes the proceedings of the 14th International Conference on Combinatorial Optimization and Applications, ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Lire la suiteThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suiteThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suiteThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Lire la suiteThe workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
Lire la suiteThis volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
Lire la suiteSRC column subjected to axial compression -- SRC column with normal strength material -- SRC column with high strength concrete ...
Lire la suiteDynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family ...
Lire la suiteFDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
Lire la suiteExtreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
Lire la suiteIn its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
Lire la suiteThis volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lire la suiteThis book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lire la suiteThe 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
Lire la suite