Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)
This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lee masTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lee masTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lee mas
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lee mas
Traffic and Granular Flow 03
These proceedings are the fifth in the series Traffic and Granular Flow, and we hope they will be as useful a reference as ...
Lee mas
Transaction-Level Modeling with SystemC
The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
Lee mas
Type-2 Fuzzy Logic: Theory and Applications
This book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. ...
Lee mas
Unconventional Computation
This book constitutes the refereed proceedings of the Sixth International Conference on Unconventional Computation, UC 2007,organized ...
Lee mas
Unconventional Computation (vol. # 3699)
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Lee mas
Unconventional Computation (vol. # 4135)
This book about The 5th International Conference on Unconventional Computation, UC 2006,organized under the auspices of the ...
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
Unconventional Programming Paradigms
Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...
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
Uniform Output Regulation of Nonlinear Systems
This book is one of the first systematic studies on the nonlinear output regulation problem that embraces both the local ...
Lee mas
Unifying the Software Process Spectrum
This volume contains papers presented at SPW 2005, the Software Process Workshop held in Beijing, P. R. China, on May 25-27, ...
Lee mas
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search
This monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...
Lee mas
Variations on Constants
This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...
Lee masWarehouse Management
This book gives an overview of possible solutions and helps to make the right choice. It presents the background, potentials ...
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
