Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
