Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lire la suite
Transactions on Rough Sets IX
This book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...
Lire la suite
Transactions on Rough Sets VIII
This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...
Lire la suite
Trust Management II : Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lire la suite
Unconventional Computing : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings
The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Lire la suite
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lire la suite
Unfoldings : A Partial-Order Approach to Model Checking
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Lire la suite
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry
Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Lire la suite
Visual Information Systems. Web-Based Visual Information Search and Management : 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008. Proceedings
This book covered are information and data visualization; advances techniques for visual information management; mobile visual ...
Lire la suite
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suite
Wireless Algorithms, Systems, and Applications : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
This book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
Lire la suite
Wireless Sensor and Actor Networks II : Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canmada, July 14-15, 2008
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lire la suite
