» książki » Computers - Logic Design
topmenu
 |
Binary Decision Diagrams and Applications for VLSI CAD
ISBN: 9781461285588 / Angielski / Miękka / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can...
Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very lar...
|
cena:
602,40 |
 |
Deductive Program Design
ISBN: 9783642648496 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon...
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subj...
|
cena:
803,21 |
 |
Entwurf Integrierter 3d-Systeme Der Elektronik
ISBN: 9783642305719 / Niemiecki / Twarda / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Immer haufiger werden dreidimensional strukturierte elektronische Schaltkreise und Baugruppen eingesetzt mit dem Ziel, die Funktionalitat signifikant zu steigern. Die Autoren beschreiben in dem Band, welche Herausforderungen sich hieraus fur den Entwurf neuartiger Baugruppen ergeben und sie prasentieren erste Losungen. Dabei sind die Inhalte so aufgebaut, dass sie dem Entwurfsfluss folgen. Die vorgestellten Losungen beziehen sich jeweils auf Projekte, die tatsachlich realisiert wurden."
Immer haufiger werden dreidimensional strukturierte elektronische Schaltkreise und Baugruppen eingesetzt mit dem Ziel, die Funktionalitat signifikant ...
|
cena:
262,70 |
 |
Computer Engineering and Technology: 16th National Conference, Nccet 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
ISBN: 9783642358975 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th National Conference on Computer Engineering and Technology, NCCET 2012, held in Shanghai, China, in August 2012. The 27 papers presented were carefully reviewed and selected from 108 submissions. They are organized in topical sections named: microprocessor and implementation; design of integration circuit; I/O interconnect; and measurement, verification, and others.
This book constitutes the refereed proceedings of the 16th National Conference on Computer Engineering and Technology, NCCET 2012, held in Shanghai, C...
|
cena:
200,77 |
 |
Logic and Complexity
ISBN: 9781447110521 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as new ideas brought by complexity theory such as NP-completeness, randomness and approximations, providing a better understanding for efficient algorithmic solutions to problems. Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing... Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Comp... |
cena:
642,56 |
 |
A Unified Approach for Timing Verification and Delay Fault Testing
ISBN: 9781461346395 / Angielski / Miękka / 155 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Large system complexities and operation under tight timing constraints in rapidly shrinking technologies have made it extremely important to ensure correct temporal behavior of modern-day digital circuits, both before and after fabrication. Research in (pre-fabrication) timing verification and (post-fabrication) delay fault testing has evolved along largely disjoint lines in spite of the fact that they share many basic concepts.
A Unified Approach for Timing Verification and Delay Fault Testing applies concepts developed in the context of delay fault testing to path... Large system complexities and operation under tight timing constraints in rapidly shrinking technologies have made it extremely important to ensure co...
|
cena:
401,58 |
 |
Switching Theory for Logic Synthesis
ISBN: 9781461373391 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical foundation. Chapters 6 through 8 include an introduction to sequential circuits, optimization of sequential machines and asynchronous sequential circuits. Chapters 9 through 14 are the main feature of the book. These chapters introduce and explain various topics that make up the subject of logic synthesis: multi-valued input two-valued output function, logic design for PLDs/FPGAs, EXOR-based design, and complexity...
Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in fourteen chapters. Chapters 1 through...
|
cena:
602,40 |
 |
Timing Analysis and Optimization of Sequential Circuits
ISBN: 9781461375791 / Angielski / Miękka / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent years have seen rapid strides in the level of sophistication of VLSI circuits. On the performance front, there is a vital need for techniques to design fast, low-power chips with minimum area for increasingly complex systems, while on the economic side there is the vastly increased pressure of time-to-market. These pressures have made the use of CAD tools mandatory in designing complex systems.
Timing Analysis and Optimization of Sequential Circuits describes CAD algorithms for analyzing and optimizing the timing behavior of sequential circuits with special reference to... Recent years have seen rapid strides in the level of sophistication of VLSI circuits. On the performance front, there is a vital need for techniques t...
|
cena:
401,58 |
 |
Synthesis of Finite State Machines: Logic Optimization
ISBN: 9781461378211 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimization is the body of techniques for converting a symbolic description of an...
Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Mach...
|
cena:
401,58 |
 |
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
ISBN: 9783642647765 / Angielski / Miękka / 429 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of...
Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification tech...
|
cena:
200,77 |
 |
Theory of Digital Automata
ISBN: 9789400752276 / Angielski / Twarda / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book combines coverage of circuits and digital electronics, forging a strong connection with the contemporary world of digital systems. Automata theory aids the design of digital circuits used in computers, telecommunications and control systems.
This book combines coverage of circuits and digital electronics, forging a strong connection with the contemporary world of digital systems. Automata ...
|
cena:
401,58 |
 |
Modern Formal Methods and Applications
ISBN: 9789048170791 / Angielski / Miękka / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool. Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also,... Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that... |
cena:
441,75 |
 |
The Best of Iccad: 20 Years of Excellence in Computer-Aided Design
ISBN: 9781461350071 / Angielski / Miękka / 714 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 2002, the International Conference on Computer Aided Design (ICCAD) celebrates its 20th anniversary. This book commemorates contributions made by ICCAD to the broad field of design automation during that time. The foundation of ICCAD in 1982 coincided with the growth of Large Scale Integration. The sharply increased functionality of board-level circuits led to a major demand for more powerful Electronic Design Automation (EDA) tools. At the same time, LSI grew quickly and advanced circuit integration became widely avail- able. This, in turn, required new tools, using sophisticated...
In 2002, the International Conference on Computer Aided Design (ICCAD) celebrates its 20th anniversary. This book commemorates contributions made by I...
|
cena:
1204,83 |
 |
Logic Synthesis for Low Power VLSI Designs
ISBN: 9781461374909 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic Synthesis for Low Power VLSI Designs presents a systematic and comprehensive treatment of power modeling and optimization at the logic level. More precisely, this book provides a detailed presentation of methodologies, algorithms and CAD tools for power modeling, estimation and analysis, synthesis and optimization at the logic level. Logic Synthesis for Low Power VLSI Designs contains detailed descriptions of technology-dependent logic transformations and optimizations, technology decomposition and mapping, and post-mapping structural optimization techniques for low...
Logic Synthesis for Low Power VLSI Designs presents a systematic and comprehensive treatment of power modeling and optimization at the logic ...
|
cena:
602,40 |
 |
Lehrbuch Der Arithmetik Und Algebra Für Höhere Lehranstalten Bearbeitet
ISBN: 9783642900921 / Niemiecki / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
142,58 |
 |
Godel's Incompleteness Theorems
ISBN: 9780195046724 / Angielski / Twarda / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The level of presentation is suitable for anyone with...
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some st...
|
cena:
1349,67 |
 |
Logic and Language
ISBN: 9780333919774 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An understanding of the theory and application of logic is fundamental both to successful software and hardware development, and to gain a thorough grasp of modern computing. This book provides a gentle introduction to the subject at a comfortable pace that is suitable for a wide range of students including: undergraduates in computer science, maths, philosophy, and those on MSc conversion courses. It is particularly ideal for students with weak backgrounds in maths.
An understanding of the theory and application of logic is fundamental both to successful software and hardware development, and to gain a thorough gr...
|
cena:
357,16 |
 |
Logic in Computer Science: Modelling and Reasoning about Systems
ISBN: 9780521543101 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer ...
|
cena:
369,04 |
 |
Introduction to the Theory of Programming Languages
ISBN: 9780857290755 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerised systems. This text gives the reader the means to discover the tools to think, design and implement these languages.
The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the managemen...
|
cena:
140,36 |
 |
Semantics with Applications: An Appetizer
ISBN: 9781846286919 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas... Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need... |
cena:
140,36 |
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
