Multiagent System Technologies
The papers are organized in topical sections on engineering multi-agent systems, multi-agent planning and learning, multi-agent ...
Lee mas
Multiagent System Technologies (vol. # 3550)
After two successful MATES conferences in Erfurt 2003 and 2004, the 3rd G- man conference on Multi-agent System Technologies ...
Lee mas
Parallel and Distributed Computing: Applications and Technologies
The 2004 International Conference on Parallel and Distributed Computing, - plications and Technologies (PDCAT 2004) was the ...
Lee mas
Petri Nets and Other Models of Concurrency - ICATPN 2006
This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...
Lee mas
Petri Nets and Other Models of Concurrency - ICATPN 2007
This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets ...
Lee mas
Principles and Practice of Semantic Web Reasoning (vol. # 3703)
Constitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, ...
Lee mas
Principles and Practice of Semantic Web Reasoning (vol. # 4187)
The papers in this volume represent the proceedings of the 4th International Workshop on Principles and Practice of Semantic ...
Lee mas
Principles of Security and Trust
This book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...
Lee mas
Principles of Security and Trust
This volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April ...
Lee mas
Programming Languages and Systems (vol. # 4279)
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...
Lee mas
Rapid Integration of Software Engineering Techniques
RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr-ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, ...
Lee mas
Rapid Integration of Software Engineering Techniques (vol. # 3475)
This paper reports on the experiences of integrating several Software Engineering techniques by the Rapid Prototyping group of ...
Lee mas
Rapid Integration of Software Engineering Techniques (vol. # 3943)
This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...
Lee mas
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Lee mas
Relations and Kleene Algebra in Computer Science
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Lee mas
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lee mas
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lee mas
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lee mas
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lee mas
Reliable Software Technology – Ada-Europe 2005
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Lee mas
