The Leading eBooks Store Online
3,508,729 members ⚫ 2,065,349 ebooks
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
- Springer New York 2006; US$ 189.00
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics. more...
- Springer New York 2014; Not Available
This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentation is organized in parts of fundamentals, basic implementation methods and applications for VLSI design. Topics emphasized include statistical timing and crosstalk analysis, statistical and... more...
- Springer Berlin Heidelberg 2013; Not Available
In diesem Buch wird ein Verfahren vorgestellt, mit demInduktionsbeweise vonExistenzaussagen automatisch gef}hrtwerden k|nnen. Es ist ein deduktivesProgrammsyntheseverfahren, das ausgehend vonExistenzaussagen, die als formale Programmspezifikationenaufgefa~t werden, rekursive Programme erzeugt. Kann einsolches Programm... more...
- Springer Berlin Heidelberg 2014; US$ 107.00
This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi,... more...
- Springer Berlin Heidelberg 2007; Not Available
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software. more...
- Springer International Publishing 2015; US$ 107.00
This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The 14 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of distributed and multicore functional programming subjects.... more...
- Springer Berlin Heidelberg 2014; US$ 119.00
This book presents a framework that allows the very different kinds of design models ? discrete-event models of software and continuous time models of the physical environment ? to be analyzed and simulated jointly, based on common scenarios. more...
- Springer Vienna 2012; Not Available
Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícţek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig... more...
- Springer Berlin Heidelberg 2007; US$ 109.00
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006. It was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents... more...