» książki » Computers - Logic Design
topmenu
 |
Algebra and Coalgebra in Computer Science: Third International Conference, Calco 2009, Udine, Italy, September 7-10, 2009, Proceedings
ISBN: 9783642037405 / Angielski / Miękka / 457 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. CALCO, the Conference on Algebra and Coalgebra in Computer Science, is a high-level, bi-annual conference formed by joining CMCS (the International WorkshoponCoalgebraicMethodsinComputerScience)andWADT(theWo- shoponAlgebraicDevelopmentTechniques).CALCObringstogetherresearchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer s- ence. The study of algebra and coalgebra relates to the data, process and str- tural aspects of software systems. CALCO is supervised by the Steering C- mittee,...
CALCO, the Conference on Algebra and Coalgebra in Computer Science, is a high-level, bi-annual conference formed by joining CMCS (the International Wo...
|
cena:
201,24 |
 |
Verification of Sequential and Concurrent Programs
ISBN: 9781848827448 / Angielski / Twarda / 502 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and...
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The ap...
|
cena:
402,53 |
 |
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
ISBN: 9783642041631 / Angielski / Miękka / 409 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. PeterMosses, renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To honor this event, many of Peter's coauthors, collaborators, close colleagues, and former students gathered in Udine, Italy on September 10, 2009 for a s- posium in his honor. The presentations were on subjects related to Peter's many technicalcontributionsand they were a tribute to his lasting impact onthe ?eld. Here is the program of the symposium: - Opening: Jens Palsberg - Session 1: (Chair: Jos e Luiz Fiadeiro) - David Watt, Action Semantics in...
PeterMosses, renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To hon...
|
cena:
201,24 |
 |
3-Dimensional VLSI: A 2.5-Dimensional Integration Scheme
ISBN: 9783642041563 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "3-Dimensional VLSI: A 2.5-Dimensional Integration Scheme"elaborates the concept and importance of 3-Dimensional (3-D) VLSI. The authors have developed a new 3-D IC integration paradigm, so-called 2.5-D integration, to address many problems that are hard to resolve using traditional non-monolithic integration schemes. The book also introduces major 3-D VLSI design issues that need to be solved by IC designers and Electronic Design Automation (EDA) developers. By treating 3-D integration in an integrated framework, the book provides important insights for semiconductor process engineers, IC... "3-Dimensional VLSI: A 2.5-Dimensional Integration Scheme"elaborates the concept and importance of 3-Dimensional (3-D) VLSI. The authors have devel... |
cena:
563,56 |
 |
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
ISBN: 9783642040801 / Angielski / Miękka / 638 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1 4, 2009. The purpose of the CONCUR conference is to bring together researchers, developers, and s- dentsinordertoadvancethetheoryofconcurrencyandpromoteitsapplications. This year the CONCUR conference was in its 20th edition, and to celebrate 20 years of CONCUR, the conference program included a special session organized by the IFIP Working Groups 1.8 Concurrency Theory and 2.2 Formal - scriptionofProgrammingConcepts aswellas aninvitedlecturegivenby Robin Milner, one...
This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1 4, 2009. The purpose of ...
|
cena:
402,53 |
 |
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
ISBN: 9783642034282 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains selected papers from WADT 2008, the 19th International WorkshoponAlgebraicDevelopmentTechniques. Afterhavingjoinedforceswith CMCS for CALCO 2007 in Bergen, WADT took place in 2008 as an individual workshop and in its traditional format. Like its predecessors, WADT 2008 focussed on the algebraic approach to the speci?cation and development of systems, which encompasses many aspects of formal design. Originally born around formal methods for reasoning about abstract data types, WADT now covers new speci?cation frameworks and p- gramming paradigms (such as object-oriented,...
This volume contains selected papers from WADT 2008, the 19th International WorkshoponAlgebraicDevelopmentTechniques. Afterhavingjoinedforceswith CMCS...
|
cena:
201,24 |
 |
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
ISBN: 9783642043673 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2009), held during 14-16 September in Budapest, Hungary. Timing aspects of systems from a variety of computer science domains have been treated independently by di?erent communities. Researchers interested in semantics, veri?cation and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on pr- agation and switching delays, while designers of embedded controllers have to take account of the time...
This volume contains the papers presented at the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2009), held d...
|
cena:
201,24 |
 |
Algebraic Informatics: 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009
ISBN: 9783642035630 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Algebraic Informatics, CAI 2009, held in Thessaloniki, Greece, in May 2009. The 16 full papers were carefully reviewed and selected from 25 submissions. The papers cover topics such as algebraic semantics on graph and trees, formal power series, syntactic objects, algebraic picture processing, finite and infinite computations, acceptors and transducers for strings, trees, graphs arrays, etc. decision problems, algebraic characterization of logical theories, process algebra, algebraic algorithms, algebraic...
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Informatics, CAI 2009, held in Thessaloniki, Greece,...
|
cena:
201,24 |
 |
Advanced Artificial Intelligence
ISBN: 9789814291347 / Angielski / Twarda / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Artificial intelligence is a branch of computer science and a discipline in the study of machine intelligence, that is, developing intelligent machines or intelligent systems imitating, extending and augmenting human intelligence through artificial means and techniques to realize intelligent behavior.
Advanced Artificial Intelligence consists of 16 chapters. The content of the book is novel, reflects the research updates in this field, and especially summarizes the author's scientific efforts over many years. The book discusses the methods and key technology from theory, algorithm, system... Artificial intelligence is a branch of computer science and a discipline in the study of machine intelligence, that is, developing intelligent machine...
|
cena:
969,57 |
 |
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
ISBN: 9783540679592 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods....
The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-2...
|
cena:
201,24 |
 |
Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings
ISBN: 9783540662020 / Angielski / Miękka / 506 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.
The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving,... This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in J...
|
cena:
201,24 |
 |
Analog Design Issues in Digital VLSI Circuits and Systems: A Special Issue of Analog Integrated Circuits and Signal Processing, an International Journ
ISBN: 9780792399506 / Angielski / Twarda / 157 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Analog Design Issues in Digital VLSI Circuits and Systems brings together in one place important contributions and up-to-date research results in this fast moving area.
Analog Design Issues in Digital VLSI Circuits and Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field. Analog Design Issues in Digital VLSI Circuits and Systems brings together in one place important contributions and up-to-date research result...
|
cena:
402,53 |
 |
Statistical Modeling for Computer-Aided Design of Mos VLSI Circuits
ISBN: 9780792392996 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As MOS devices are scaled to meet increasingly demanding circuit specifications, process variations have a greater effect on the reliability of circuit performance. For this reason, statistical techniques are required to design integrated circuits with maximum yield. Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits describes a statistical circuit simulation and optimization environment for VLSI circuit designers. The first step toward accomplishing statistical circuit design and optimization is the development of an accurate CAD tool capable of performing...
As MOS devices are scaled to meet increasingly demanding circuit specifications, process variations have a greater effect on the reliability of circui...
|
cena:
402,53 |
 |
Vlsi: Systems on a Chip: Ifip Tc10 Wg10.5 Tenth International Conference on Very Large Scale Integration (VLSI '99) December 1-4, 1999, Lisboa,
ISBN: 9780792377313 / Angielski / Twarda / 678 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For over three decades now, silicon capacity has steadily been doubling every year and a half with equally staggering improvements continuously being observed in operating speeds. This increase in capacity has allowed for more complex systems to be built on a single silicon chip. Coupled with this functionality increase, speed improvements have fueled tremendous advancements in computing and have enabled new multi-media applications. Such trends, aimed at integrating higher levels of circuit functionality are tightly related to an emphasis on compactness in consumer electronic products and a...
For over three decades now, silicon capacity has steadily been doubling every year and a half with equally staggering improvements continuously being ...
|
cena:
805,10 |
 |
Relaxation Techniques for the Simulation of VLSI Circuits
ISBN: 9780898381863 / Angielski / Twarda / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Circuit simulation has been a topic of great interest to the integrated circuit design community for many years. It is a difficult, and interesting, problem be cause circuit simulators are very heavily used, consuming thousands of computer hours every year, and therefore the algorithms must be very efficient. In addi tion, circuit simulators are heavily relied upon, with millions of dollars being gambled on their accuracy, and therefore the algorithms must be very robust. At the University of California, Berkeley, a great deal of research has been devoted to the study of both the numerical...
Circuit simulation has been a topic of great interest to the integrated circuit design community for many years. It is a difficult, and interesting, p...
|
cena:
402,53 |
 |
High Performance Embedded Architectures and Compilers
ISBN: 9783642115141 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2010, held in Pisa, Italy, in January 2010. The 23 revised full papers presented together with the abstracts of 2 invited keynote addresses were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections on architectural support for concurrency; compilation and runtime systems; reconfigurable and customized architectures; multicore efficiency, reliability, and power; memory organization and optimization; and...
This book constitutes the refereed proceedings of the 5th International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 20...
|
cena:
201,24 |
 |
Introduction to Analog VLSI Design Automation
ISBN: 9780792390718 / Angielski / Twarda / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Very large scale integration (VLSI) technologies are now maturing with a current emphasis toward submicron structures and sophisticated applications combining digital as well as analog circuits on a single chip. Abundant examples are found on today's advanced systems for telecom munications, robotics, automotive electronics, image processing, intelli gent sensors, etc .. Exciting new applications are being unveiled in the field of neural computing where the massive use of analog/digital VLSI technologies will have a significant impact. To match such a fast technological trend towards single...
Very large scale integration (VLSI) technologies are now maturing with a current emphasis toward submicron structures and sophisticated applications c...
|
cena:
402,53 |
 |
Introduction to VLSI Silicon Devices: Physics, Technology and Characterization
ISBN: 9780898382105 / Angielski / Twarda / 570 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There was a long felt need for this book in industrial and academic institutions. It provides new engineers, as well as practicing engineers and advanced laboratory personnel in the field of semiconductors a clear and thorough discussion of state-of-the-art silicon devices, without resorting to the complexity of higher mathematics and physics. This difficult task was made possible by detailing the explanation of equations that describe the device operation and characteristics without endeavoring their full derivation. This is reinforced by several problems which reflect practical cases...
There was a long felt need for this book in industrial and academic institutions. It provides new engineers, as well as practicing engineers and advan...
|
cena:
603,81 |
 |
Neural Models and Algorithms for Digital Testing
ISBN: 9780792391654 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 9 QUADRATIC 0-1 PROGRAMMING 8S 9. 1 Energy Minimization 86 9. 2 Notation and Tenninology . . . . . . . . . . . . . . . . . 87 9. 3 Minimization Technique . . . . . . . . . . . . . . . . . . 88 9. 4 An Example . . . . . . . . . . . . . . . . . . . . . . . . 92 9. 5 Accelerated Energy Minimization. . . . . . . . . . . . . 94 9. 5. 1 Transitive Oosure . . . . . . . . . . . . . . . . . 94 9. 5. 2 Additional Pairwise Relationships 96 9. 5. 3 Path Sensitization . . . . . . . . . . . . . . . . . 97 9. 6 Experimental Results 98 9....
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 9 QUADRATIC 0-1 PROGRAMMING 8S 9. 1 Energy Minimization 86 9. 2 Notation and Ten...
|
cena:
402,53 |
 |
Microcomputer System Design: An Advanced Course
ISBN: 9783540111726 / Angielski / Miękka / 399 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
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
