» książki » Computers - Logic Design
topmenu
 |
Advanced Digital Design with the Verilog Hdl
ISBN: 9780136019282 / Angielski / Twarda / 984 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advanced Digital Design with the Verilog HDL, 2e, is ideal for an advanced course in digital design for seniors and first-year graduate students in electrical engineering, computer engineering, and computer science.
This book builds on the student's background from a first course in logic design and focuses on developing, verifying, and synthesizing designs of digital circuits. The Verilog language is introduced in an integrated, but selective manner, only as needed to support design examples (includes appendices for additional language details). It addresses the... Advanced Digital Design with the Verilog HDL, 2e, is ideal for an advanced course in digital design for seniors and first-year gradua...
|
cena:
1567,18 |
 |
Hierarchical Modeling for VLSI Circuit Testing
ISBN: 9780792390589 / Angielski / Twarda / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Test generation is one of the most difficult tasks facing the designer of complex VLSI-based digital systems. Much of this difficulty is attributable to the almost universal use in testing of low, gate-level circuit and fault models that predate integrated circuit technology. It is long been recognized that the testing prob lem can be alleviated by the use of higher-level methods in which multigate modules or cells are the primitive components in test generation; however, the development of such methods has proceeded very slowly. To be acceptable, high-level approaches should be applicable to...
Test generation is one of the most difficult tasks facing the designer of complex VLSI-based digital systems. Much of this difficulty is attributable ...
|
cena:
401,58 |
 |
Language and Automata Theory and Applications: 4th International Conference, Lata 2010, Trier, Germany, May 24-28, 2010, Proceedings
ISBN: 9783642130885 / Angielski / Miękka / 622 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings containall the papers that werepresented at the 4th Inter- tional Conference on Language and Automata Theory and Applications (LATA 2010), held in Trier, Germany, during May 24 28, 2010. The scope of LATA is rather broad, including: algebraic language theory; algorithms on automata and words; automata and logic; automata for system analysis and program veri?cation; automata, concurrency and Petri nets; cel- lar automata; combinatorics on words; computability; computational compl- ity; computer linguistics; data and image compression; decidability questions on words and...
These proceedings containall the papers that werepresented at the 4th Inter- tional Conference on Language and Automata Theory and Applications (LATA ...
|
cena:
401,58 |
 |
Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ISBN: 9783642135613 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Prague, Czech Republic, in June 2010. This book presents the papers addressing the three main themes of the conference which were computability, complexity, and algorithms.
Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Pragu...
|
cena:
200,77 |
 |
Computational Logic in Multi-Agent Systems: 14th International Workshop, Clima XIV, Corunna, Spain, September 16-18, 2013, Proceedings
ISBN: 9783642406232 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. 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 edition will feature two special sessions: Argumentation Technologies and Norms and...
This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Sp...
|
cena:
200,77 |
 |
Computer Science - Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010 Kazan, Russia, June 16-20, 2010 Proceedin
ISBN: 9783642131813 / Angielski / Miękka / 397 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. The 30 papers presented were carefully reviewed and selected from 62 submissions. The scope of topics of the symposium was quite broad and covered basically all areas of the foundations of theoretical computer science.
This book constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. Th...
|
cena:
200,77 |
 |
Unconventional Computation: 9th International Conference, UC 2010 Tokyo, Japan, June 21-25, 2010, Proceedings
ISBN: 9783642135224 / Angielski / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the University of Tokyo (Tokyo, Japan), and the Center for Discrete Mathematics and Theoretical Computer Science (Auckland, New Zealand). It was held in Tokyoduring June 21-25,2010(seehttp: //arn.local.frs.riken.jp/UC10/). The venue was the Sanjo (Hilltop) Conference Hall at Hongo Campus of the University of Tokyo. Hongo Campus was formerly the residence of the Maeda family, one of the richest feudal lords in the Edo period of Japan. The Japanese garden...
The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the Unive...
|
cena:
200,77 |
 |
Developments in Language Theory
ISBN: 9783642144547 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the University of Western Ontario. It was a four-day conference starting August 17 and ending August 20, 2010. The DLT conference series is one of the major international conference series in language theory. It started in Turku, Finland in 1993. Initially, it was held onceeverytwoyears. Since2001, ithasbeenheldeveryyear, oddyearsinEurope and even years in other continents. The papers submitted to DLT 2010 were from 27 countries all over the world,...
The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the Uni...
|
cena:
200,77 |
 |
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
ISBN: 9780387972886 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.
The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright...
|
cena:
200,77 |
 |
Mathematical Foundations of Programming Semantics: 5th International Conference, Tulane University, New Orleans, Louisiana, Usa, March 29-April 1, 198
ISBN: 9780387973753 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians and theoretical computer scientists who share the common interests of working on problems related to programming language semantics. The purpose of the book is to bring into print as quickly as possible papers which reflect the state of research on the topics comprising this area. The intended audience for the book consists of those researchers and graduate students with an interest in the research areas which are...
This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to...
|
cena:
200,77 |
 |
Semantics of Systems of Concurrent Processes: Litp Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceeding
ISBN: 9783540534792 / Angielski / Miękka / 457 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of essays is devoted to the semantics of concurrency. The papers are of two kinds: surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, and research papers presenting recent achievements in the semantics of concurrency. The contributors explore the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fix-points and languages, traces, CCS and Petri nets, and categorical models. They also...
This collection of essays is devoted to the semantics of concurrency. The papers are of two kinds: surveys and tutorials introducing the subject to no...
|
cena:
200,77 |
 |
Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 19-22, 1994 Proceedings
ISBN: 9783540578871 / Angielski / Miękka / 892 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and...
This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japa...
|
cena:
200,77 |
 |
Automated Reasoning: 5th International Joint Conference, Ijcar 2010, Edinburgh, Uk, July 16-19, 2010, Proceedings
ISBN: 9783642142024 / Angielski / Miękka / 534 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh, Scotland. Support by the conference sponsors - EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, CADE Inc., Google, Hewlett-Packard, Intel - is gratefully acknowledged. IJCARisthepremierinternationaljointconferenceonalltopicsinautomated reasoning, including foundations, implementations, and applications. Previous...
This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16...
|
cena:
401,58 |
 |
Mathematical Foundations of Computer Science 2010: 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings
ISBN: 9783642151545 / Angielski / Miękka / 714 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established tradition. The symposiaencouragehigh-qualityresearchinallbranchesoftheoreticalcomputer science.Their broadscopeprovidesanopportunityto bring together researchers whodonotusuallymeetatspecialized conferences. The 35th International Symposium on Mathematical Foundations of C- puter Science (MFCS 2010) was organized in parallel with the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010). The federated MFCS and CSL 2010 conference had shared...
The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established tradition. ...
|
cena:
401,58 |
 |
VHDL for Logic Synthesis
ISBN: 9780470688472 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Making VHDL a simple and easy-to-use hardware description language
Many engineers encountering VHDL (very high speed integrated circuits hardware description language) for the first time can feel overwhelmed by it. This book bridges the gap between the VHDL language and the hardware that results from logic synthesis with clear organisation, progressing from the basics of combinational logic, types, and operators; through special structures such as tristate buses, register banks and memories, to advanced themes such as developing your own packages, writing test benches and using the... Making VHDL a simple and easy-to-use hardware description language
Many engineers encountering VHDL (very high speed integrated circuits har... |
cena:
336,55 |
 |
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, Lpar-17, Yogyakarta, Indonesia, October 10-15, 2010, Pro
ISBN: 9783642162411 / Angielski / Miękka / 656 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, that was held in Yogyakarta, Indonesia.
Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, t...
|
cena:
401,58 |
 |
Advanced Topics in Term Rewriting
ISBN: 9781441929211 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and...
Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data t...
|
cena:
200,77 |
 |
Symbolic Analysis and Reduction of VLSI Circuits
ISBN: 9781441936714 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Symbolic analysis is an intriguing topic in VLSI designs. The analysis methods are crucial for the applications to the parasitic reduction and analog circuit evaluation. However, analyzing circuits symbolically remains a challenging research issue. Therefore, in this book, we survey the recent results as the progress of on-going works rather than as the solution of the field. For parasitic reduction, we approximate a huge amount of electrical parameters into a simplified RLC network. This reduction allows us to handle very large integrated circuits with given memory capacity... Symbolic analysis is an intriguing topic in VLSI designs. The analysis methods are crucial for the applications to the parasitic reduction a... |
cena:
401,58 |
 |
Data Access and Storage Management for Embedded Programmable Processors
ISBN: 9781441949523 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data Access and Storage Management for Embedded Programmable Processors gives an overview of the state-of-the-art in system-level data access and storage management for embedded programmable processors. The targeted application domain covers complex embedded real-time multi-media and communication applications. Many of these applications are data-dominated in the sense that their cost related aspects, namely power consumption and footprint are heavily influenced (if not dominated) by the data access and storage aspects. The material is mainly based on research at IMEC in this...
Data Access and Storage Management for Embedded Programmable Processors gives an overview of the state-of-the-art in system-level dat...
|
cena:
602,40 |
 |
Analog VLSI Integration of Massive Parallel Signal Processing Systems
ISBN: 9781441951687 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When comparing conventional computing architectures to the architectures of biological neural systems, we find several striking differences. Conventional computers use a low number of high performance computing elements that are programmed with algorithms to perform tasks in a time sequenced way; they are very successful in administrative applications, in scientific simulations, and in certain signal processing applications. However, the biological systems still significantly outperform conventional computers in perception tasks, sensory data processing and motory control. Biological systems...
When comparing conventional computing architectures to the architectures of biological neural systems, we find several striking differences. Conventio...
|
cena:
602,40 |
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
