Logic of Programs, E. Engeler

Автор: Jean-Christophe Filliatre; Christine Paulin-Mohrin
Название: Types for Proofs and Programs
ISBN: 3540314288 ISBN-13(EAN): 9783540314288
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Автор: Sasan Iman; Massoud Pedram
Название: Logic Synthesis for Low Power VLSI Designs
ISBN: 1461374901 ISBN-13(EAN): 9781461374909
Издательство: Springer
Рейтинг:
Цена: 19591.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic Synthesis for Low Power VLSI Designs presents a systematic and comprehensive treatment of power modeling and optimization at the logic level.

Автор: James Cussens; Alessandra Russo
Название: Inductive Logic Programming
ISBN: 3319633414 ISBN-13(EAN): 9783319633411
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full papers presented were carefully reviewed and selected from 29 submissions.

Автор: Felix Winterstein
Название: Separation Logic for High-level Synthesis
ISBN: 3319532219 ISBN-13(EAN): 9783319532219
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial `state of the art`.

Автор: John S. Conery
Название: Parallel Execution of Logic Programs
ISBN: 1461291879 ISBN-13(EAN): 9781461291879
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: One of the appendices in the dissertation was an overview of a Prolog implementation of an interpreter based on the AND/OR Process Model, a simulator I used to get some preliminary measurements of parallelism in logic programs.

Автор: Paul Callaghan; Zhaohui Luo; James McKinna; Robert
Название: Types for Proofs and Programs
ISBN: 3540432876 ISBN-13(EAN): 9783540432876
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory.

Автор: Thomas Fahringer
Название: Automatic Performance Prediction of Parallel Programs
ISBN: 1461285925 ISBN-13(EAN): 9781461285922
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Automatic Performance Prediction of Parallel Programs presents a unified approach to the problem of automatically estimating the performance of parallel computer programs.

Автор: Krzysztof R. Apt; Amir Pnueli; Frank S. de Boer; E
Название: Verification of Sequential and Concurrent Programs
ISBN: 1447125134 ISBN-13(EAN): 9781447125136
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.

Автор: Andr? In?cio Reis; Rolf Drechsler
Название: Advanced Logic Synthesis
ISBN: 3319672940 ISBN-13(EAN): 9783319672946
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors` expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis.

Автор: John Seiffertt
Название: Digital Logic for Computing
ISBN: 331956837X ISBN-13(EAN): 9783319568379
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book provides a bottom-up approach to understanding how a computer works and how to use computing to solve real-world problems.

Автор: Saleem Mohammed Ridha Taha
Название: Reversible Logic Synthesis Methodologies with Application to Quantum Computing
ISBN: 3319234781 ISBN-13(EAN): 9783319234786
Издательство: Springer
Рейтинг:
Цена: 16979.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.

Автор: Anas N. Al-Rabadi
Название: Reversible Logic Synthesis
ISBN: 3642623255 ISBN-13(EAN): 9783642623257
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: For the first time in book form, this comprehensive and systematic monograph presents methods for the reversible synthesis of logic functions and circuits. It is illustrated with a wealth of examples and figures that describe in detail the systematic methodologies of synthesis using reversible logic.