» książki » Computers - Logic Design
topmenu
 |
Computersysteme -- Aufbau Und Funktionsweise
ISBN: 9783211817827 / Niemiecki / Miękka / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Seit mehr als einem Vierteljahrhundert beeinflul1t der Computer unser Leben auf mannigfaitige Weise. Abgesehen von den heute schon selbstverstandlichen Anwendungen in Verwaitung, Wirtschaft und Technik hat der Computer auch in Wissenschaft und Forschung seinen festen Platz eingenommen. Viel wichtiger als diese passive Rolle als Hilfsmittel scheint mir jedoch die stimulierende Wirkung, die das Gedankengut der Informatik auf samtliche anderen Wissensgebiete ausiibt. Erst der Computer gab Anstol1 ftiT die Behand lung allgemeiner Fragen, wie etwa der Methodik des Planens und Handelns oder der...
Seit mehr als einem Vierteljahrhundert beeinflul1t der Computer unser Leben auf mannigfaitige Weise. Abgesehen von den heute schon selbstverstandliche...
|
cena:
206,88 |
 |
NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings
ISBN: 9783642203978 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.
The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction... This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in Ap...
|
cena:
201,24 |
 |
Foundations of Algebraic Specification and Formal Software Development
ISBN: 9783642173356 / Angielski / Twarda / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and... This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, ... |
cena:
442,79 |
 |
Recht Ex Machina: Formalisierung Des Rechts Im Internet Der Dienste
ISBN: 9783642176708 / Niemiecki / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Im Internet werden Informationen immer haufiger so ausgezeichnet, dass sie fur Computer interpretierbar sind (Semantic Web). Solche maschinenlesbaren Informationen sorgen dafur, dass Dienste im Internet verfugbar gemacht und gefunden werden konnen. Diese Automatisierung schafft eine neue Rechtslage und stellt sowohl fur die Rechtspflege als auch fur Geschaftspartner eine Herausforderung dar. In dem Band prasentieren die Autoren eine automatisierte Rechtsfolgenermittlung als praxisrelevanten Ansatz zur Herstellung von Rechtssicherheit."
Im Internet werden Informationen immer haufiger so ausgezeichnet, dass sie fur Computer interpretierbar sind (Semantic Web). Solche maschinenlesbaren ...
|
cena:
376,20 |
 |
Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream: Reconfigurable Computing Is Going Mainstream
ISBN: 9783540441083 / Angielski / Miękka / 1192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the proceedings volume of the 12th International Conference on Field-ProgrammableLogicandApplications(FPL)heldonSeptember2 4,2002. The conference was hosted by the Laboratoired Informatique, de Robotique et de Micro electronique de Montpellier (LIRMM), France. The FPL conference covered areas like recon?gurable logic and recon?gurable computing, as well as their application in various areas like DSP, communication and cryptography. Its subtitle Recon?gurable Computing Is Going Mainstream emphasizes the extensive role recon?gurablelogic has started to play. The annual FPL series...
This book is the proceedings volume of the 12th International Conference on Field-ProgrammableLogicandApplications(FPL)heldonSeptember2 4,2002. The co...
|
cena:
201,24 |
 |
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Pa
ISBN: 9783642205507 / Angielski / Miękka / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation...
|
cena:
201,24 |
 |
Steady-State Methods for Simulating Analog and Microwave Circuits
ISBN: 9781441951212 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The motivation for starting the work described in this book was the interest that Hewlett-Packard's microwave circuit designers had in simulation techniques that could tackle the problem of finding steady state solutions for nonlinear circuits, particularly circuits containing distributed elements such as transmission lines. Examining the problem of computing steady-state solutions in this context has led to a collection of novel numerical algorithms which we have gathered, along with some background material, into this book. Although we wished to appeal to as broad an audience as possible,...
The motivation for starting the work described in this book was the interest that Hewlett-Packard's microwave circuit designers had in simulation tech...
|
cena:
885,61 |
 |
Logic, Language, Information, and Computation: 18th International Workshop, Wollic 2011, Philadelphia, Pa, Usa, May 18-20, Proceedings
ISBN: 9783642209192 / Angielski / Miękka / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, and more.
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelph...
|
cena:
201,24 |
 |
Evolutionary Algorithms for VLSI CAD
ISBN: 9781441950406 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to work well in applications and have become somewhat established over the years, other techniques have been ignored.
Recently, there has been a growing interest in optimization algorithms based on principles observed in nature, termed Evolutionary Algorithms (EAs). Evolutionary Algorithms in VLSI CAD presents the basic concepts of EAs, and considers the application of EAs in VLSI... In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. Wh...
|
cena:
402,53 |
 |
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques
ISBN: 9781441951762 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques.
While Boolean reasoning techniques have been a central element of two-level circuit theory for many decades Reasoning in Boolean Networks describes a basic reasoning methodology for multi-level circuits. This leads to a... Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test g...
|
cena:
603,81 |
 |
A Roadmap for Formal Property Verification
ISBN: 9789048171859 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples you do not need any... Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properti... |
cena:
402,53 |
 |
100 Power Tips For FPGA Designers
ISBN: 9781461186298 / Angielski / Miękka / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a collection of short articles on various aspects of FPGA design: synthesis, simulation, porting ASIC designs, floorplanning and timing closure, design methodologies, performance, area and power optimizations, RTL coding, IP core selection, and many others. The book is intended for system architects, design engineers, and students who want to improve their FPGA design skills. Both novice and seasoned logic and hardware engineers can find bits of useful information. This book is written by a practicing FPGA logic designer, and contains a lot of illustrations, code examples, and...
This book is a collection of short articles on various aspects of FPGA design: synthesis, simulation, porting ASIC designs, floorplanning and timing c...
|
cena:
199,90 |
 |
VLSI 2010 Annual Symposium: Selected Papers
ISBN: 9789400714878 / Angielski / Twarda / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. VLSI 2010 Annual Symposium will present extended versions of the best papers presented in ISVLSI 2010 conference. The areas covered by the papers will include among others: Emerging Trends in VLSI, Nanoelectronics, Molecular, Biological and Quantum Computing. MEMS, VLSI Circuits and Systems, Field-programmable and Reconfigurable Systems, System Level Design, System-on-a-Chip Design, Application-Specific Low Power, VLSI System Design, System Issues in Complexity, Low Power, Heat Dissipation, Power Awareness in VLSI Design, Test and Verification, Mixed-Signal Design and Analysis,...
VLSI 2010 Annual Symposium will present extended versions of the best papers presented in ISVLSI 2010 conference. The areas covered by the papers will...
|
cena:
805,10 |
 |
Designing Sorting Networks: A New Paradigm
ISBN: 9781461418504 / Angielski / Twarda / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designing Sorting Networks: A New Paradigm provides an in-depth guide to maximizing the efficiency of sorting networks, and uses 0/1 cases, partially ordered sets and Haase diagrams to closely analyze their behavior in an easy, intuitive manner. This book also outlines new ideas and techniques for designing faster sorting networks using Sortnet, and illustrates how these techniques were used to design faster 12-key and 18-key sorting networks through a series of case studies. Finally, it examines and explains the mysterious behavior exhibited by the fastest-known 9-step 16-key...
Designing Sorting Networks: A New Paradigm provides an in-depth guide to maximizing the efficiency of sorting networks, and uses 0/1 cases, partially ...
|
cena:
201,24 |
 |
Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts
ISBN: 9781466602557 / Angielski / Twarda / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As systems become more prevalent and more complex, resilient adaptive systems are crucial when systems are needed in environments where change is the rule rather than the exception. Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts provides high quality, effective approaches to design, develop, maintain, evaluate, and benchmark adaptive and dependable systems that are built to sustain quality of service and experience despite the occurrence of potentially significant and sudden changes or failures in their infrastructure and surrounding environments....
As systems become more prevalent and more complex, resilient adaptive systems are crucial when systems are needed in environments where change is the ...
|
cena:
988,51 |
 |
Logic Circuit Design: Selected Methods
ISBN: 9783642276569 / Angielski / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In three main divisions the book covers combinational circuits, latches, and asynchronous sequential circuits. Combinational circuits have no memorising ability, while sequential circuits have such an ability to various degrees. Latches are the simplest sequential circuits, ones with the shortest memory. The presentation is decidedly non-standard. In three main divisions the book covers combinational circuits, latches, and asynchronous sequential circuits. Combinational circuits have no memo... |
cena:
402,53 |
 |
Algorithmic Aspects of VLSI Layout
ISBN: 9789810214883 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Discussing algorithmic aspects of VLSI layout, this text includes coverage of: issues in timing driven layout; LP formulation of global routeing and placement; Stockmeyer's floorplan optimization technique; the Manhattan and knock-knee routeing modes; and parallel algorithms for placement.
Discussing algorithmic aspects of VLSI layout, this text includes coverage of: issues in timing driven layout; LP formulation of global routeing and p...
|
cena:
707,78 |
 |
Low Power VLSI Design and Technology
ISBN: 9789810225186 / Angielski / Twarda / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a collection of pioneering applied research papers in low power VLSI design and technology. A comprehensive introductory chapter presents the current status of the industry and academic research in the area of low power VLSI design and technology. Other topics cover logic synthesis, floor-planning, circuit design and analysis, from the perspective of low power requirements. The readers will have a sampling of some key problems in this area as the low power solutions span the entire spectrum of the design process. The book also provides references on up-to-date research and...
This book is a collection of pioneering applied research papers in low power VLSI design and technology. A comprehensive introductory chapter presents...
|
cena:
295,72 |
 |
Semi-Custom IC Design and VLSI
ISBN: 9780863410116 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
400,21 |
 |
Verification of Sequential and Concurrent Programs
ISBN: 9781447125136 / Angielski / Miękka / 502 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and...
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The ap...
|
cena:
322,01 |
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
