» książki » Computers - Logic Design
topmenu
 |
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
ISBN: 9781461408710 / Angielski / Twarda / 170 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-level synthesis. Readers will learn to apply such techniques to enable design flows resulting in shorter time to market and successful low power ASIC/FPGA design.
This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-...
|
cena:
401,58 |
 |
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings
ISBN: 9783642210693 / Angielski / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences, which have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. Relational and algebraic methods and software tools turn out to be useful for solving problems in social choice and game...
This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in...
|
cena:
200,77 |
 |
Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
ISBN: 9783642223587 / Angielski / Miękka / 383 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011.
The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice,... This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, ...
|
cena:
200,77 |
 |
Adiabatic Logic: Future Trend and System Level Perspective
ISBN: 9789400723443 / Angielski / Twarda / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Adiabatic Logic treats the whole system, covering all loss mechanisms and all circuitry needed to build adiabatic circuits, including wiring and other parasitic elements. Readers will also learn the applicability of standard design automation tools -- a major concern for industry users.
Adiabatic Logic treats the whole system, covering all loss mechanisms and all circuitry needed to build adiabatic circuits, including wiring and other...
|
cena:
401,58 |
 |
Trust Networks for Recommender Systems
ISBN: 9789491216077 / Angielski / Twarda / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes research performed in the context of trust/distrust propagation and aggregation, and their use in recommender systems. This is a hot research topic with important implications for various application areas. The main innovative contributions of the work are: -new bilattice-based model for trust and distrust, allowing for ignorance and inconsistency -proposals for various propagation and aggregation operators, including the analysis of mathematical properties -Evaluation of these operators on real data, including a discussion on the data sets and their characteristics. -A...
This book describes research performed in the context of trust/distrust propagation and aggregation, and their use in recommender systems. This is a ...
|
cena:
200,77 |
 |
Advanced Interconnects for ULSI Technology
ISBN: 9780470662540 / Angielski / Twarda / 608 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Finding new materials for copper/low-k interconnects is critical to the continuing development of computer chips. While copper/low-k interconnects have served well, allowing for the creation of Ultra Large Scale Integration (ULSI) devices which combine over a billion transistors onto a single chip, the increased resistance and RC-delay at the smaller scale has become a significant factor affecting chip performance.
"Advanced Interconnects for ULSI Technology" is dedicated to the materials and methods which might be suitable replacements. It covers a broad range of topics, from physical... Finding new materials for copper/low-k interconnects is critical to the continuing development of computer chips. While copper/low-k interconnects hav...
|
cena:
800,92 |
 |
Information-Theoretic Incompleteness
ISBN: 9789810236953 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this mathematical autobiography, Gregory Chaitin presents a technical survey of his work and a non-technical discussion of its significance. The volume is a companion to the earlier collection of Chaitin's papers "Information, Randomness and Incompleteness" also published by World Scientific. The technical survey contains many new results, including a detailed discussion of LISP program size and new versions of Chaitin's most fundamental information-theoretic incompleteness theorems. The nontechnical part includes the lecture given by Chaitin in Goedel's classroom at the University of...
In this mathematical autobiography, Gregory Chaitin presents a technical survey of his work and a non-technical discussion of its significance. The vo...
|
cena:
223,00 |
 |
Compact Models and Measurement Techniques for High-Speed Interconnects
ISBN: 9781461410706 / Angielski / Miękka / 69 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compact Models and Measurement Techniques for High-Speed Interconnects provides detailed analysis of issues related to high-speed interconnects from the perspective of modeling approaches and measurement techniques. Particular focus is laid on the unified approach (variational method combined with the transverse transmission line technique) to develop efficient compact models for planar interconnects. This book will give a qualitative summary of the various reported modeling techniques and approaches and will help researchers and graduate students with deeper insights into... Compact Models and Measurement Techniques for High-Speed Interconnects provides detailed analysis of issues related to high-speed ... |
cena:
200,77 |
 |
Innovations and Approaches for Resilient and Adaptive Systems
ISBN: 9781466620568 / Angielski / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Our society continues to depend upon systems that are built in a way that they end up being inflexible and intolerant to change. Therefore there is an urgent need to investigate innovations and approaches to the management of adaptive and dependable systems. These studies are usually implemented through design, development, and the evaluation of techniques and models to structure computer systems as adaptive systems. Innovations and Approaches for Resilient and Adaptive Systems is a comprehensive collection of knowledge on increasing the notions and models in adaptive and dependable systems....
Our society continues to depend upon systems that are built in a way that they end up being inflexible and intolerant to change. Therefore there is an...
|
cena:
985,79 |
 |
Progress in VLSI Design and Test: 16th International Symposium on Vsli Design and Test, Vdat 2012, Shipur, India, July 1-4, 2012, Proceedings
ISBN: 9783642314933 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The papers are organized in topical sections on VLSI design, design and modeling of digital circuits and systems, testing and verification, design for testability, testing memories and regular logic arrays, embedded systems: hardware/software co-design and verification, emerging technology: nanoscale...
This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July...
|
cena:
200,77 |
 |
Structural Health Monitoring: A Machine Learning Perspective
ISBN: 9781119994336 / Angielski / Twarda / 654 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written by global leaders and pioneers in the field, this book is a must-have read for researchers, practicing engineers and university faculty working in SHM.
Structural Health Monitoring: A Machine Learning Perspective is the first comprehensive book on the general problem of structural health monitoring. The authors, renowned experts in the field, consider structural health monitoring in a new manner by casting the problem in the context of a machine learning/statistical pattern recognition paradigm, first explaining the paradigm in general terms then explaining the... Written by global leaders and pioneers in the field, this book is a must-have read for researchers, practicing engineers and university faculty wor...
|
cena:
555,98 |
 |
Origins of Programming: Discourses on Methodology
ISBN: 9781461279471 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book begins with a detailed discussion of two problems that have played an extremely important role in the emergence of theoretical programming as an independent discipline. The principal goals in this book are to explain the line of thought that was followed in solving these problems, demonstrate the workings of the mathematical way of thinking, carefully analyze the different stages of descriptive analysis and problem formulation, and reveal the aesthetic component in the search for solutions - in other words, to try to turn the reader into a true witness of the process of discovering...
The book begins with a detailed discussion of two problems that have played an extremely important role in the emergence of theoretical programming as...
|
cena:
200,77 |
 |
Methods and Applications of Error-Free Computation
ISBN: 9781461297543 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is written as an introduction to the theory of error-free computation. In addition, we include several chapters that illustrate how error-free com putation can be applied in practice. The book is intended for seniors and first year graduate students in fields of study involving scientific computation using digital computers, and for researchers (in those same fields) who wish to obtain an introduction to the subject. We are motivated by the fact that there are large classes of ill-conditioned problems, and there are numerically unstable algorithms, and in either or both of these...
This book is written as an introduction to the theory of error-free computation. In addition, we include several chapters that illustrate how error-fr...
|
cena:
200,77 |
 |
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
ISBN: 9783642699641 / Angielski / Miękka / 321 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book...
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of ...
|
cena:
401,58 |
 |
Petri Nets: An Introduction
ISBN: 9783642699702 / Angielski / Miękka / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. A. Petri 1]. Since this seminal paper, nets have been applied in various areas, at the same time being modified and theoretically investigated. In recent time, computer scientists are taking a broader interest in net theory. The main concern of this book is the presentation of those parts of net theory which can serve as a basis for practical application. It introduces the basic net theoretical concepts and ways of thinking, motivates them by means of examples and derives...
Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. A. Petri 1]. Since this seminal p...
|
cena:
200,77 |
 |
Temporal Logic of Programs
ISBN: 9783642715518 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic...
|
cena:
200,77 |
 |
Denkfallen Und Programmierfehler
ISBN: 9783642753251 / Niemiecki / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In diesem Buch wird die Programmiertatigkeit vom Standpunkt der evolutionaren Erkenntnistheorie neu beleuchtet. Die Auseinandersetzung mit dem Induktionsproblem mundet in die Formulierung der sogenannten negativen Methode. Sie bietet die besten Aussichten auf Erfolg beim Programmieren und ermoglicht optimales Lernen aus den Fehlern. Die Denkfallen beim Programmieren werden anhand typischer und gelaufiger Programmierfehler aufgezeigt und in ein geschlossenes System gebracht. Eine darauf aufbauende systematische Fehleranalyse fuhrt zu konkreten Handlungsanweisungen. Die praktische Bedeutung...
In diesem Buch wird die Programmiertatigkeit vom Standpunkt der evolutionaren Erkenntnistheorie neu beleuchtet. Die Auseinandersetzung mit dem Indukti...
|
cena:
206,40 |
 |
Relations and Graphs: Discrete Mathematics for Computer Scientists
ISBN: 9783642779701 / Angielski / Miękka / 301 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory, analysis of rewriting systems, and modern programming language design. In addition, they appear in algorithms analysis and in the bulk of discrete mathematics taught to computer scientists. This book is devoted to the background of these methods. It explains how to use relational and graph-theoretic methods systematically in computer science. A powerful formal framework of relational algebra is developed with respect to applications to...
Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltyp...
|
cena:
401,58 |
 |
Iteration Theories: The Equational Logic of Iterative Processes
ISBN: 9783642780363 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a...
This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience co...
|
cena:
401,58 |
 |
Proof and Computation
ISBN: 9783642793639 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal...
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of P...
|
cena:
401,58 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
