» książki » Computers - Logic Design
topmenu
 |
An Introduction to Practical Formal Methods Using Temporal Logic
ISBN: 9780470027882 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems.
Fisher begins with a full introduction to the... The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a ...
|
cena:
479,69 |
 |
Logic Synthesis and Verification Algorithms
ISBN: 9780792397465 / Angielski / Twarda / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students.
Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata... Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, C...
|
cena:
362,27 |
 |
Computer Aids For VLSI Design
ISBN: 9780972751421 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook, originally published in 1987, broadly examines the software required to design electronic circuitry, including integrated circuits. Topics include synthesis and analysis tools, graphics and user interface, memory representation, and more. The book also describes a real system called -Electric.-
This textbook, originally published in 1987, broadly examines the software required to design electronic circuitry, including integrated circuits. Top...
|
cena:
119,86 |
 |
VLSI High-Speed I/O Circuits
ISBN: 9781441559876 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is based on the class notes of a VLSI design course the author offered in Electrical Engineering Department at Arizona State University. The materials are organized into twenty-one special topics covering various aspects of analysis, modeling, and implementation of VLSI high-speed I/O circuits, such as prototype timing models, jitter analysis, transmitter, receiver, equalizer, phase-locked loop (PLL), and data recovery circuit designs.
This book is based on the class notes of a VLSI design course the author offered in Electrical Engineering Department at Arizona State University. The...
|
cena:
303,85 |
 |
VLSI High-Speed I/O Circuits
ISBN: 9781441559883 / Angielski / Twarda / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is based on the class notes of a VLSI design course the author offered in Electrical Engineering Department at Arizona State University. The materials are organized into twenty-one special topics covering various aspects of analysis, modeling, and implementation of VLSI high-speed I/O circuits, such as prototype timing models, jitter analysis, transmitter, receiver, equalizer, phase-locked loop (PLL), and data recovery circuit designs.
This book is based on the class notes of a VLSI design course the author offered in Electrical Engineering Department at Arizona State University. The...
|
cena:
340,13 |
 |
Towards a Design Flow for Reversible Logic
ISBN: 9789048195787 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of smaller and more powerful circuits. Reversible logic provides an alternative that may overcome many of these problems in the future. For low-power design, reversible logic offers significant advantages since zero power dissipation will only be possible if computation is reversible. Furthermore, quantum computation profits from...
The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its l...
|
cena:
402,53 |
 |
Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
ISBN: 9783642133206 / Angielski / Miękka / 427 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volumecontainsthe proceedingsof MPC2010, the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande?ective in the processof constructingc- puter programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci?cation and...
This volumecontainsthe proceedingsof MPC2010, the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopro...
|
cena:
201,24 |
 |
Logic of Computation
ISBN: 9783642638329 / Angielski / Miękka / 403 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type...
The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Sc...
|
cena:
201,24 |
 |
Unifying Theories of Programming
ISBN: 9783642145209 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results.
Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin,...
|
cena:
201,24 |
 |
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme
ISBN: 9783540574798 / Niemiecki / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation }berBotschaftenaustausch behandelt. F}r jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein gr- eres Verifikationsbeispiel vorgestellt. Insbesondere...
Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werd...
|
cena:
112,68 |
 |
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
ISBN: 9783642150241 / Angielski / Miękka / 627 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. In May 2010, Yuri celebrated his 70th birthday. To mark that occasion, on August 22, 2010, a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations...
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer sci...
|
cena:
402,53 |
 |
Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings
ISBN: 9783642140518 / Angielski / Miękka / 495 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,2010 in Edinburgh, Scotland as part of the Federated Logic Conference (FLoC, July 9-21, 2010) alongside the other FLoC conferences and workshops. ITP combines the communities of two venerable meetings: the TPHOLs c- ference and the ACL2 workshop. The former conference originated in 1988 as a workshop for users of the HOL proof assistant. The ?rst two meetings were at the University of Cambridge, but afterwards they were held in a variety of venues....
This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,2010 ...
|
cena:
402,53 |
 |
Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
ISBN: 9783642142949 / Angielski / Miękka / 676 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 22nd International Conference on Computer-Aided Veri?cation (CAV) held in Edinburgh, UK, July 15-19 2010. CAV is dedicated to the advancement of the theory and practice of comput- assistedformalanalysismethods forsoftwareandhardwaresystems.Theconf- ence covers the spectrum from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. We received 145 submissions: 101 submissions of regular papers and 44 s- missions of tool papers. These...
This volume contains the proceedings of the 22nd International Conference on Computer-Aided Veri?cation (CAV) held in Edinburgh, UK, July 15-19 2010. ...
|
cena:
402,53 |
 |
Computer Science Logic
ISBN: 9783642152047 / Angielski / Miękka / 548 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23 27, 2010. The conference started as a series of international workshops on Computer S- ence Logic, and then at its sixth meeting became the Annual Conference of the EACSL. This conference was the 24th meeting and 19th EACSL conference; it was organized at the Faculty of Informatics, Masaryk University, Brno. In 2010, CSL and the 35th International Symposium on Mathematical Fo- dations of Computer Science (MFCS 2010)were federated and organizedin p- allel...
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23 27, 2010....
|
cena:
201,24 |
 |
The ZX Spectrum ULA: How to Design a Microcomputer
ISBN: 9780956507105 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
187,06 |
 |
Current Sense Amplifiers for Embedded Sram in High-Performance System-On-A-Chip Designs
ISBN: 9783540002987 / Angielski / Twarda / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System-on-a-chip (SoC) designs result in a wide range of high-complexity, high-value semiconductor products. As the technology scales towards smaller feature sizes and chips grow larger, a speed limitation arises due to an in- creased RC delay associated with interconnection wires. Innovative circuit techniques are required to achieve the speed needed for high-performance signal processing. Current sensing is considered as a promising circuit class since it is inherently faster than conventional voltage sense amplifiers. How- ever, especially in SRAM, current sensing has rarely been used so...
System-on-a-chip (SoC) designs result in a wide range of high-complexity, high-value semiconductor products. As the technology scales towards smaller ...
|
cena:
402,53 |
 |
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
ISBN: 9783642152962 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling, andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital...
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010...
|
cena:
201,24 |
 |
Reachability Problems: 4th International Workshop, Rp 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ISBN: 9783642153488 / Angielski / Miękka / 199 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and was co-located with Joint MFCS and CSL 2010 (35th International Symposiums on Mathematical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). The revised 9 full papers and the 4 invited talks of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and...
This book constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and wa...
|
cena:
201,24 |
 |
Rewriting Logic and Its Applications: 8th International Workshop, Wrla 2010, Held as a Satellite Event of Etaps 2010, Paphos, Cyprus, March 20-21, 201
ISBN: 9783642163098 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010.
Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event o...
|
cena:
201,24 |
 |
Adapting Proofs-As-Programs: The Curry--Howard Protocol
ISBN: 9781441920140 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and...
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs i...
|
cena:
603,81 |
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
