» książki » Computers - Logic Design
topmenu
 |
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, Tacas 2008, Held as Part of the Joint European Confe
ISBN: 9783540787990 / Angielski / Miękka / 520 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 31 revised full research papers and 7 revised tool demonstration papers presented together with the abstract of an invited paper were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on parameterized systems, model checking,...
This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Syste...
|
cena:
201,72 zł |
 |
Logic-Based Program Synthesis and Transformation: 17th International Symposium, Lopstr 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Sele
ISBN: 9783540787686 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, held in Kongens Lyngby, Denmark, August 23-24, 2007 colocated with SAS 2007. The 13 revised full papers presented together with one invited talk were carefully selected and revised from 30 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program termination, program transformation, constraint solving and analysis as well as software engineering.
This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation,...
|
cena:
201,72 zł |
 |
Foundations of Software Science and Computational Structures: 11th International Conference, Fossacs 2008, Held as Part of the Joint European Conferen
ISBN: 9783540784975 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 33 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 124 submissions. A broad variety of theories and methods to support analysis, synthesis, transformation and verification of programs and software systems are addressed,...
This book constitutes the refereed proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures, F...
|
cena:
201,72 zł |
 |
Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Softw
ISBN: 9783540787907 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Compiler Construction, CC 2008, held in Budapest, Hungary, in March 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 17 revised full papers presented together with two invited papers and one tool demonstration were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on analysis and transformations, compiling for parallel architectures, runtime techniques and tools, analyses, and atomicity and transactions.
This book constitutes the refereed proceedings of the 17th International Conference on Compiler Construction, CC 2008, held in Budapest, Hungary, in M...
|
cena:
201,72 zł |
 |
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor
ISBN: 9780387972268 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop me...
|
cena:
201,72 zł |
 |
Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
ISBN: 9783540680840 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain a selection of refereed papers presented at or related totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996), which was held during May 2-5, 2007 in Cividale del Friuli (Udine), Italy. The topic of this workshop was formal reasoning and computer progr- ming basedon type theory: languagesand computerized toolsfor reasoning, and applications in several domains such as analysis of programming languages, c- ti?ed software, formalization of mathematics and mathematics education. The workshopwasattended by morethan 100researchersandincluded morethan 40...
These proceedings contain a selection of refereed papers presented at or related totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996), whi...
|
cena:
201,72 zł |
 |
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
ISBN: 9783540686767 / Angielski / Miękka / 810 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincelebrationofhis65thbirthday.Insomesense, thevolumeisa re?ection, with gratitude and admiration, on Ugo s highly creative, remarkably fruitful and intellectually generous life, which is thriving as strongly as ever. It provides a snapshot of the manifold research ideas that have been deeply in?uenced by Ugo s work. In a sense the book gives a vantage point from which to foresee further developments to come: by Ugo himself, and by many other people encouraged and stimulated by his friendship and...
This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincelebrationofhis65thbirthday.Insomesense, thevolumeisa r...
|
cena:
403,47 zł |
 |
Speech Processing in Embedded Systems
ISBN: 9780387755809 / Angielski / Twarda / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Speech Processing has rapidly emerged as one of the most widespread and well-understood application areas in the broader discipline of Digital Signal Processing. Besides the telecommunications applications that have hitherto been the largest users of speech processing algorithms, several non-traditional embedded processor applications are enhancing their functionality and user interfaces by utilizing various aspects of speech processing. "Speech Processing in Embedded Systems" describes several areas of speech processing, and the various algorithms and industry standards that... Speech Processing has rapidly emerged as one of the most widespread and well-understood application areas in the broader discipline of Digital Sign... |
cena:
403,47 zł |
 |
Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
ISBN: 9783540705437 / Angielski / Miękka / 558 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification,...
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, U...
|
cena:
403,47 zł |
 |
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
ISBN: 9783540705932 / Angielski / Miękka / 423 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumecontainstheproceedingsofMPC2008, the9thInternationalConf- enceontheMathematicsofProgramConstruction.Thisseriesofconferencesaims to promote the development of mathematical principles and techniques that are demonstrably useful in the process of constructing computer programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal c- culation.Within this theme, the scopeofthe seriesisverydiverse, including p- grammingmethodology, programspeci?cationandtransformation, programming...
ThisvolumecontainstheproceedingsofMPC2008, the9thInternationalConf- enceontheMathematicsofProgramConstruction.Thisseriesofconferencesaims to promote t...
|
cena:
201,72 zł |
 |
Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
ISBN: 9783540291053 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005.
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods...
|
cena:
201,72 zł |
 |
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques
ISBN: 9780792399216 / Angielski / Twarda / 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:
605,23 zł |
 |
Concur 2008 - Concurrency Theory: 19th International Conference, Concur 2008, Toronto, Canada, August 19-22, 2008, Proceedings
ISBN: 9783540853602 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto, Canada, August19 22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing (PODC 2008), and the two conferences shared two invited speakers, some social events, and a symposium celebrating the lifelong research contributions of Nancy Lynch. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the...
This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of To...
|
cena:
201,72 zł |
 |
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, P
ISBN: 9783540875307 / Angielski / Miękka / 513 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award.
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Confere...
|
cena:
403,47 zł |
 |
Grammatical Inference: Algorithms and Applications: 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
ISBN: 9783540880080 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held in Saint-Malo, France, in September 2008. The 21 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 36 submissions. The topics of the papers presented vary from theoretical results of learning algorithms to innovative applications of grammatical inference, and from learning several interesting classes of formal grammars to applications to natural language processing.
This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held in Saint-Malo, France, in...
|
cena:
282,42 zł |
 |
Nano-CMOS Design for Manufacturability: Robust Circuit and Physical Design for Sub-65nm Technology Nodes
ISBN: 9780470112809 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Discover innovative tools that pave the way from circuit and physical design to fabrication processing
Nano-CMOS Design for Manufacturability examines the challenges that design engineers face in the nano-scaled era, such as exacerbated effects and the proven design for manufacturability (DFM) methodology in the midst of increasing variability and design process interactions. In addition to discussing the difficulties brought on by the continued dimensional scaling in conformance with Moore's law, the authors also tackle complex issues in the design process to overcome the difficulties,... Discover innovative tools that pave the way from circuit and physical design to fabrication processing
Nano-CMOS Design for Manufacturability exami... |
cena:
600,48 zł |
 |
The Origins of Digital Computers: Selected Papers
ISBN: 9783540113195 / Angielski / Twarda / 582 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
806,99 zł |
 |
Modeling and Simulation of High Speed VLSI Interconnects: A Special Issue of Analog Integrated Circuits and Signal Processing an International Journal
ISBN: 9780792394419 / Angielski / Twarda / 108 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modeling and Simulation of High Speed VLSI Interconnects brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area.
Modeling and Simulation of High Speed VLSI Interconnects serves as an excellent reference, providing insight into some of the most important issues in the field. Modeling and Simulation of High Speed VLSI Interconnects brings together in one place important contributions and state-of-the-art research r...
|
cena:
403,47 zł |
 |
Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair
ISBN: 9781402093647 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace minimization that simplify debugging; (2) an RTL error diagnosis method that identifies the root cause of errors directly; (3) a counterexample-guided error-repair framework to automatically fix errors in gate-level and RTL designs; (4) a symmetry-based rewiring technology for fixing... Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process thro... |
cena:
605,23 zł |
 |
Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
ISBN: 9783540851004 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Third International Conference on Algebraic Biology (AB 2008). Jointly organized by the National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, and the Research Institute for Symbolic Computation (RISC), Hagenberg, Austria, it was held from July 31 to August 2, 2008 in the Castle of Hagenberg. Algebraic biology is an interdisciplinary forum for research on all aspects of applying symbolic computation in biology. The ?rst conference on algebraic biology (AB 2005) was held November 28 30, 2005 in Tokyo, the second during July 2...
This volume contains the proceedings of the Third International Conference on Algebraic Biology (AB 2008). Jointly organized by the National Institute...
|
cena:
201,72 zł |
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
