» książki » Computers - Logic Design
topmenu
 |
FPGA Prototyping by Verilog Examples: Xilinx Spartan-3 Version
ISBN: 9780470185322 / Angielski / Twarda / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. FPGA Prototyping Using Verilog Examples will provide you with a hands-on introduction to Verilog synthesis and FPGA programming through a "learn by doing" approach. By following the clear, easy-to-understand templates for code development and the numerous practical examples, you can quickly develop and simulate a sophisticated digital circuit, realize it on a prototyping device, and verify the operation of its physical implementation. This introductory text that will provide you with a solid foundation, instill confidence with rigorous examples for complex systems and prepare you for...
FPGA Prototyping Using Verilog Examples will provide you with a hands-on introduction to Verilog synthesis and FPGA programming through a "lear...
|
cena:
573,80 |
 |
Computer-Aided Design Techniques for Low Power Sequential Logic Circuits
ISBN: 9780792398295 / Angielski / Twarda / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Rapid increases in chip complexity, increasingly faster clocks, and the proliferation of portable devices have combined to make power dissipation an important design parameter. The power consumption of a digital system determines its heat dissipation as well as battery life. For some systems, power has become the most critical design constraint.
Computer-Aided Design Techniques for Low Power Sequential Logic Circuits presents a methodology for low power design. The authors first present a survey of techniques for estimating the average power dissipation of a logic... Rapid increases in chip complexity, increasingly faster clocks, and the proliferation of portable devices have combined to make power dissipation an i...
|
cena:
603,81 |
 |
Electronics System Design Techniques for Safety Critical Applications
ISBN: 9781402089787 / Angielski / Twarda / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What is exactly "Safety"? A safety system should be defined as a system that will not endanger human life or the environment. A safety-critical system requires utmost care in their specification and design in order to avoid possible errors in their implementation that should result in unexpected system's behavior during his operating "life." An inappropriate method could lead to loss of life, and will almost certainly result in financial penalties in the long run, whether because of loss of business or because the imposition of fines. Risks of this kind are usually managed with the methods...
What is exactly "Safety"? A safety system should be defined as a system that will not endanger human life or the environment. A safety-critical system...
|
cena:
402,53 |
 |
Latin 2008: Theoretical Informatics: 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings
ISBN: 9783540787723 / Angielski / Miękka / 796 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the Theory of Computing. Previous conferenceshavebeenorganizedtwiceinBrazil: S aoPaulo(1992)andCampinas (1998); twice in Chile: Valpara ?so (1995) and Valdivia (2006); once in Uruguay: Punta del Este (2000); once in Mexico: Cancun (2002); and once in Argentina: Buenos Aires (2004). This volume contains the proceedings of the 8th Latin American Theore- cal INformatics Symposium (LATIN 2008), which was held in Buzio s, Rio de Janeiro, Brazil, April 7 11, 2008....
The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the Theory of Computing. Previou...
|
cena:
402,53 |
 |
Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, Usa, April 8-10, 1987 Proceedings
ISBN: 9783540190202 / Angielski / Miękka / 640 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from...
This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Or...
|
cena:
201,24 |
 |
Language and Automata Theory and Applications: Second International Conference, Lata 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
ISBN: 9783540882817 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain most of the papers that werepresented at the Second International Conference on Language and Automata Theory and Applications (LATA 2008), held in Tarragona, Spain, during March 13-19, 2008. The scope of LATA is rather broad, including: words, languages and - tomata; grammars (Chomsky hierarchy, contextual, multidimensional, uni?- tion, categorial, etc. );grammarsandautomataarchitectures;extendedautomata; combinatorics on words; language varieties and semigroups; algebraic language theory; computability; computational, descriptional, and parameterized c-...
These proceedings contain most of the papers that werepresented at the Second International Conference on Language and Automata Theory and Application...
|
cena:
201,24 |
 |
Switching Theory: Insight through Predicate Logic
ISBN: 9783540403432 / Angielski / Twarda / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This new approach to an established field introduces the concept of predicate logic in order to supersede propositional logic in switching theory. The author gives new insight into the theory of latches (memory circuits) for use in undergraduate and graduate courses.
This new approach to an established field introduces the concept of predicate logic in order to supersede propositional logic in switching theory. ... |
cena:
402,53 |
 |
Theorem Proving in Higher Order Logics
ISBN: 9783540710653 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held during August 18-21, 2008 in Montreal, Canada. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 40 papers submitted to TPHOLs 2008 in the full research c- egory, each of which was refereed by at least four reviewers selected by the ProgramCommittee. Of these submissions, 17 researchpapers and 1 proofpearl were accepted for presentation at the conference...
This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held d...
|
cena:
201,24 |
 |
Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw, Australia, August 12-15, 2008, Proceedings
ISBN: 9783540710691 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol...
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia...
|
cena:
201,24 |
 |
The Semantic Web - Iswc 2008: 7th International Semantic Web Conference, Iswc 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings
ISBN: 9783540885634 / Angielski / Miękka / 960 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Web is a globalinformationspace consistingoflinked documents andlinked data. As the Web continues to grow and new technologies, modes of interaction, and applications are being developed, the task of the Semantic Web is to unlock the power of information available on the Web into a common semantic inf- mation space and to make it available for sharing and processing by automated tools as well as by people. Right now, the publication of large datasets on the Web, the opening of data access interfaces, and the encoding of the semantics of the data extend the current human-centric Web. Now,...
The Web is a globalinformationspace consistingoflinked documents andlinked data. As the Web continues to grow and new technologies, modes of interacti...
|
cena:
402,53 |
 |
Algebraic Methodology and Software Technology: 12th International Conference, Amast 2008 Urbana, Il, Usa, July 28-31, 2008, Proceedings
ISBN: 9783540799795 / Angielski / Miękka / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th This volume contains the proceedings of AMAST 2008, the 12 International Conference on Algebraic Methodology and Software Technology, held during July 28-31, 2008, in Urbana, Illinois, USA. The major goal of the AMAST conferences is to promote research toward settingsoftwaretechnologyona?rm, mathematicalbasis.Worktowardthisgoal isacollaborative, internationale?ortwithcontributionsfrombothacademiaand industry. The envisioned virtues of providing software technology developed on a mathematical basis include: correctness, which can be proved mathematically; safety, so that developed software...
th This volume contains the proceedings of AMAST 2008, the 12 International Conference on Algebraic Methodology and Software Technology, held during J...
|
cena:
201,24 |
 |
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, Mfcs 2008, Torun, Poland, August 25-29, 2008, Proceedings
ISBN: 9783540852377 / Angielski / Miękka / 626 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The symposia on Mathematical Foundations of Computer Science, generally known under the acronym MFCS, have been organized alternately in Poland, the Czech Republic and Slovakia since 1972. They have a well-established tradition and inter- tional recognition as an event bringing together researchers in all branches of theore- cal computer science. The previous meetings took place in Jab?onna 1972, trbske Pleso 1973; Jadwisin 1974, Marianske Lazn ?, 1975, Gda ?sk 1976, Tatranska Lomnica 1977, Zakopane 1978, Olomouc 1979, Rydzyna 1980, trbske Pleso 1981, Prague 1984, Bratislava 1986, Karlovy...
The symposia on Mathematical Foundations of Computer Science, generally known under the acronym MFCS, have been organized alternately in Poland, the C...
|
cena:
402,53 |
 |
Rule Representation, Interchange and Reasoning on the Web: International Symposium, Ruleml 2008, Orlando, Fl, Usa, October 30-31, 2008. Proceedings
ISBN: 9783540888079 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2008, held in Orlando, FL, USA, in October 2008 - collocated with the 11th International Business Rules Forum. The 10 revised full papers and 10 revised short papers presented together with 2 demo papers and the abstracts of 3 keynote lectures were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic contracts and security, rule...
This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2008, held in Orland...
|
cena:
201,24 |
 |
Compiler Construction: 8th International Conference, Cc'99, Held as Part of the Joint European Conferences on Theory and Practice of Software
ISBN: 9783540657170 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS 99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The...
ETAPS 99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was ...
|
cena:
201,24 |
 |
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 9-11, 2003, Proceeding
ISBN: 9783540003489 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities-Veri?cation, Model Checking, and Abstract Interpretation-that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex, in?nite-state, andembedded systems, such hybrid methods are bound to be of great importance....
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), hel...
|
cena:
201,24 |
 |
Latin 2004: Theoretical Informatics: 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings
ISBN: 9783540212584 / Angielski / Miękka / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5 8, 2004. The LATIN series of symposia was launched in 1992 to foster interactions between the Latin American community and computer scientists around the world. This was the sixth event in the series, following S ao Paulo, Brazil (1992), Valparaiso, Chile (1995), Campinas, Brazil (1998), Punta del Este, Uruguay (2000), and Cancun, Mexico (2002). The proceedings of these conferences were also published by Springer-Verlag in the Lecture Notes in...
This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April ...
|
cena:
402,53 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, Tacas 2004, Held as Part of the Joint European Confe
ISBN: 9783540212997 / Angielski / Miękka / 614 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims, organization, and history are detailed in a foreword by the ETAPS Steering Committee Chair, Jos e Luiz Fiadeiro. TACAS is a forum for researchers, developers, and users interested in ri- rously based tools for the construction and analysis of systems. The...
This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ...
|
cena:
402,53 |
 |
Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
ISBN: 9783540609391 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.
The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and... This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utr...
|
cena:
201,24 |
 |
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers
ISBN: 9783540612544 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.
The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed. This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Or...
|
cena:
201,24 |
 |
Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, Asian '96, Singapore, December 2 - 5, 1
ISBN: 9783540620310 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996.
The volume presents 31 revised full papers selected from a total of 169 submissions; also included are three invited papers and 14 posters. The papers are organized in topical sections on algorithms, constraints and logic programming, distributed systems, formal systems, networking and security, programming and systems, and specification and verification. This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996.
T... |
cena:
201,24 |
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
