B 2007: Formal Specification and Development in B
These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Continue reading
Business Intelligence for the Real-Time Enterprises
The book includes different aspects in the lifecycle of business intelligence on very large enterprise-wide operational real-time ...
Continue reading
Business Intelligence for the Real-Time Enterprises
The book includes different aspects in the lifecycle of business intelligence on very large enterprise-wide operational real-time ...
Continue reading
Categories for Software Engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
Continue reading
Combinatorial Optimization and Applications
This volume constitutes the proceedings of the 14th International Conference on Combinatorial Optimization and Applications, ...
Continue reading
Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Continue reading
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue reading
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue reading
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue reading
Declarative Agent Languages and Technologies III
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...
Continue reading
Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
Continue reading
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
Continue readingDesign examples for high strength steel reinforced concrete columns: a Eurocode 4 approach
SRC column subjected to axial compression -- SRC column with normal strength material -- SRC column with high strength concrete ...
Continue reading
Dynamic Epistemic Logic
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family ...
Continue reading
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07
FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
Continue reading
Extreme Programming and Agile Processes in Software Engineering (vol. # 3556)
Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
Continue reading
Extreme Programming and Agile Processes in Software Engineering (vol. # 4044)
In its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
Continue reading
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Continue reading
FM 2006: Formal Methods
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Continue reading
Formal Approaches to Agent-Based Systems
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
Continue reading
