Books

20+ results found
Title Authors Description OpenBook ID
Abstraction, reformulation, and approximation 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 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 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 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 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 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 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 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 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 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) 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 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 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 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 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 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 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 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 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 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
Next page