|
Abstraction, reformulation, and approximation
|
SARA 2007 (2007 Whistler, B.C.) |
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings<br />Author: Berthe Y. Choueiry, Toby Walsh<br /> Published by S… |
OL11674159W |
|
Verification of sequential and concurrent programs
|
Krzysztof R. Apt |
This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nonde… |
OL15987757W |
|
Practical aspects of declarative languages
|
Enrico Pontelli |
Practical Aspects of Declarative Languages: Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings<br />Author: Enrico Pontelli, Vítor Santos Costa<br /> Published b… |
OL16964408W |
|
Algebraic Foundations of Systems Specification
|
Egidio Astesiano |
This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current top… |
OL19825381W |
|
Algorithmic Learning Theory
|
Nader H. Bshouty |
This book constitutes the refereed proceedings of the 23rd International Conference on Algorithmic Learning Theory, ALT 2012, held in Lyon, France, in October 2012. The conference was co-located and … |
OL19825517W |
|
Architecture and Design of Molecule Logic Gates and Atom Circuits
|
Nicolas Lorente |
<p>Have you ever puzzled over how to perform Boolean logic at the atomic scale? Or wondered how you can carry out more general calculations in one single molecule or using a surface dangling bond ato… |
OL19827695W |
|
Assurances for Self-Adaptive Systems
|
Javier Cámara |
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, an… |
OL19828356W |
|
Asynchronous Circuits
|
Janusz A. Brzozowski |
Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to un… |
OL19828534W |
|
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
|
Tai-hoon Kim |
This book comprises the refereed proceedings of the International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012 on Jeju Island, Korea, in November/December 2012. The papers prese… |
OL19836515W |
|
Coordination Models and Languages
|
Rocco Nicola |
This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th Inter… |
OL19837987W |
|
Designing asynchronous circuits using NULL convention logic (NCL)
|
Scott C. Smith |
Designing Asynchronous Circuits using NULL Convention Logic (NCL) begins with an introduction to asynchronous (clockless) logic in general, and then focuses on delay-insensitive asynchronous logic de… |
OL19841391W |
|
The Design of a Microprocessor
|
Wilhelm G. Spruth |
The Design of a Microprocessor describes the design and realization of very complex logical structures within the framework of developing a 32 bit microprocessor chip set. The required engineering di… |
OL19841447W |
|
Duration Calculus
|
Zhou Chaochen |
Real-time systems are systems in which temporal properties are essential for reliability and correctness. Examples of systems where correctness and reliability are important for safety reasons includ… |
OL19844313W |
|
ECOOP 2013 – Object-Oriented Programming
|
Giuseppe Castagna |
This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume wer… |
OL19844902W |
|
Elements of Distributed Algorithms
|
Wolfgang Reisig |
Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the informa… |
OL19846647W |
|
Essentials of Constraint Programming
|
Thom Frühwirth |
The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with co… |
OL19848419W |
|
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
|
Robert Czerwinski |
<p>This book is a monograph devoted to logic synthesis and optimization for CPLDs. CPLDs' macrocell can also be interpreted as programmable AND-fixed OR structure, well known as PAL-based structure. … |
OL19850178W |
|
First-Order Logic and Automated Theorem Proving
|
Melvin Fitting |
This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. Applications to automated theorem proving are considered and usable Prolog prog… |
OL19850264W |
|
FME 2001: Formal Methods for Increasing Software Productivity
|
International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany) |
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001. The 32 revised full papers presented together… |
OL19850614W |
|
Formal Aspects of Component Software
|
Farhad Arbab |
<p>This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. </p><p>The 18 full paper… |
OL19850807W |