» książki » Computers - Logic Design
 |
Assertion-Based Design
ISBN: 9781402080272 / Angielski / Twarda / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 3. 1 3. 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3. 3 3. 3. 4 PSL and default clock declaration 74 3. 3. 5 Specifying sequences 75 3. 3. 6 Specifying eventualities 80 3. 3. 7 PSL built-in functions 82 3. 4Pragma-based assertions 82...
Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety v...
|
cena:
563,58 zł |
 |
Introduction to Logic Design
ISBN: 9781420060942 / Angielski / Twarda / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. New design techniques are constantly being developed to meet the needs of advancing technology. Placing an emphasis on emerging contemporary design techniques, Introduction to Logic Design presents the fundamental theory and practice of logic design. This comprehensive book reviews important data structures and explains various techniques for manipulating them. In addition to providing suggestions for further study, each chapter features numerous design examples to illustrate methods along with concise summaries to highlight key concepts. Ideal for students, the text also includes over 300...
New design techniques are constantly being developed to meet the needs of advancing technology. Placing an emphasis on emerging contemporary design te...
|
cena:
883,29 zł |
 |
Selected Papers on Analysis of Algorithms
ISBN: 9781575862125 / Angielski / Miękka / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Donald Knuth's influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TeX and METAFONT systems for desktop publishing. His award-winning textbooks have become classics; his scientific papers are widely referenced and stand as milestones of development over a wide range of topics. The present volume, which is the fourth in a series of his collected works, is devoted to an important subfield of Computer Science that Knuth founded in the 1960s and still considers his main life's work. This field, to which he...
Donald Knuth's influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation o...
|
cena:
191,27 zł |
 |
Multilayer Ceramic Substrate - Technology for VLSI Package/Multichip Module: Ceramic Research and Development in Japan
ISBN: 9781851665792 / Angielski / Twarda / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a translation of an important Japanese work on electronic ceramics and includes much experimental data. It will be of great interest to ceramicists and electronic engineers working with ceramic materials interested in an overview of recent Japanese research in this rapidly developing field.
This book is a translation of an important Japanese work on electronic ceramics and includes much experimental data. It will be of great interest to c...
|
cena:
1127,19 zł |
 |
Fst Tcs 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings
ISBN: 9783540002253 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). The conference was held at the Indian Institute of Technology, Kanpur during December 12 14, 2002. The conference attracted 108 submissions (of which two were withdrawn). Of these, a total of 26 papers were selected for presentation in the conference. As in the last year, the PC meeting was held electronically (stretching over...
This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Scienc...
|
cena:
187,83 zł |
 |
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
ISBN: 9783540210023 / Angielski / Miękka / 788 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering,... This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, ... |
cena:
375,70 zł |
 |
Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings
ISBN: 9783540223429 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA in July 2004. reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA ...
|
cena:
375,70 zł |
 |
Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
ISBN: 9783540253884 / Angielski / Miękka / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 30 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on rule formats and bisimulation, probabilistic models, algebraic models, games and automata, language analysis, partial order models, logics, coalgebraic modal logics, and computational models.
This book constitutes the refereed proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures, F... |
cena:
187,83 zł |
 |
CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
ISBN: 9783540283096 / Angielski / Miękka / 1280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and to promote its applications. This year s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The...
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of...
|
cena:
187,83 zł |
 |
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
ISBN: 9783540286202 / Angielski / Miękka / 457 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. The biennial conference was created by joining the International Workshop on Coalgebraic Methods in Computer Science (CMCS) and the Workshop on Algebraic Development Techniques (WADT). It addresses two basic areas of application for algebras and coalgebras - as mathematical objects as well as their application in computer science. The 25 revised full papers presented together with 3 invited papers were... This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held... |
cena:
187,83 zł |
 |
Integrated Formal Methods: 5th International Conference, Ifm 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings
ISBN: 9783540304920 / Angielski / Miękka / 407 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the 5th edition of the International Conference on Integrated Formal Methods (IFM). Previous IFM conferences were held in York (June 1999), D- stuhl (November 2000), Turku (May 2002) and Canterbury (April 2004). This year s IFM was held in December 2005 on the campus of the Technische Univ- siteit Eindhoven in The Netherlands. This year IFM received 40 submissions, from which 19 high-quality papers wereselectedbytheProgramCommittee.Besidesthese, theproceedingscontain invited contributions by Patrice Godefroid, David Parnas and Doron Peled. It was 10 years ago that Jonathan P. Bowen...
This is the 5th edition of the International Conference on Integrated Formal Methods (IFM). Previous IFM conferences were held in York (June 1999), D-...
|
cena:
187,83 zł |
 |
Fsttcs 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 200
ISBN: 9783540304951 / Angielski / Miękka / 566 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciation of the foresight and commitment to excellence shown by the early organizersof the conference. The conference is now organized by IARCS (Indian Association for Researchin Computing Science), and the conference has been the foundation on which the IARCS community has been built. To commemorate the Silver Jubilee of FST&TCS, we had an extra day to accommodate special sessions and a larger number of invited speakers. As in previousyears,...
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciati...
|
cena:
375,70 zł |
 |
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
ISBN: 9783540373766 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27 30, 2006. ThepurposeoftheCONCURconferenceseriesistobringtogetherresearchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a c- sequence of the importance and ubiquity of concurrent systems and their app- cations and the scienti?c relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and veri?cation techniques for...
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27 30, 2006. Th...
|
cena:
375,70 zł |
 |
Computer Aided Verification: 18th International Conference, Cav 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings
ISBN: 9783540374060 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4... |
cena:
375,70 zł |
 |
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 16th International Workshop PATMOS 2006, Montpellier, Fr
ISBN: 9783540390947 / Angielski / Miękka / 700 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sponsorship and CEDA sponsorship. Over the years, the PATMOS workshop has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design methodologies, and tools required for the development of upcoming generations of integrated circuits and systems. The technical program of PATMOS 2006 contained state-of-the-art technical...
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sp...
|
cena:
375,70 zł |
 |
Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
ISBN: 9783540450269 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently started workshops: MTCS, RT-TOOLS, and TPTS. The ?rst three FORMATS conferences were held in Marseille (2003), Grenoble (2004), and Uppsala (2005). Timing aspects of systems have been treated independently in separate s- enti?c disciplines, and there is a growing awareness of the di?cult problems...
This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Par...
|
cena:
187,83 zł |
 |
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
ISBN: 9783540472377 / Angielski / Miękka / 546 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2006, the fourth of the ATVA series, was held in Beijing, China, October 23-26, 2006. The main topics of the...
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in...
|
cena:
187,83 zł |
 |
Logic and Algebra of Specification
ISBN: 9783540558132 / Angielski / Twarda / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.
This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specificatio...
|
cena:
563,58 zł |
 |
Many-Valued Logics 2: Automated Reasoning and Practical Applications
ISBN: 9783540645078 / Angielski / Twarda / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory. Among the applications presented are those in software specification and electronic circuit verification.
Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume hand...
|
cena:
187,83 zł |
 |
Field-Programmable Logic and Applications. from FPGAs to Computing Paradigm: 8th International Workshop, Fpl'98 Tallinn, Estonia, August 31 - Septembe
ISBN: 9783540649489 / Angielski / Miękka / 539 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Workshop on Field-Programmable Logics and Applications, FPL '98, held in Tallinn, Estonia, in August/September 1998.
The 39 revised full papers presented were carefully selected for inclusion in the book from a total of 86 submissions. Also included are 30 refereed high-quality posters. The papers are organized in topical sections on design methods, general aspects, prototyping and simulation, development methods, accelerators, system architectures, hardware/software codesign, system development, algorithms on FPGAs,... This book constitutes the refereed proceedings of the 8th International Workshop on Field-Programmable Logics and Applications, FPL '98, held in Talli...
|
cena:
187,83 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
