» książki » Computers - Logic Design
 |
Petrinetze: Eine Einführung
ISBN: 9783540166221 / Niemiecki / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1 d Petrinetze sind fur den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch fuhrt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schliesslich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstande und Invarianten ausfuhrlich besprochen - also Methoden, die nicht auf...
1 d Petrinetze sind fur den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Soft...
|
cena:
206,40 |
 |
Specification and Verification of Concurrent Systems
ISBN: 9783540195818 / Angielski / Miękka / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange...
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the U...
|
cena:
200,77 |
 |
Alpuk91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991
ISBN: 9783540197348 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues of Logic Programming which were often by-passed at the large international conferences. This...
Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point wher...
|
cena:
200,77 |
 |
Logic Program Synthesis and Transformation: Proceedings of Lopstr 91, International Workshop on Logic Program Synthesis and Transformation, University
ISBN: 9783540197423 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program...
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing altern...
|
cena:
200,77 |
 |
Logic Program Synthesis and Transformation: Proceedings of Lopstr 92, International Workshop on Logic Program Synthesis and Transformation, University
ISBN: 9783540198062 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particularly well to machine-assisted development techniques, and therefore to automation. This volume...
Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the cu...
|
cena:
200,77 |
 |
Algebraic Methodology and Software Technology (Amast'93): Proceedings of the Third International Conference on Algebraic Methodology and Software Tech
ISBN: 9783540198529 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The...
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practi...
|
cena:
200,77 |
 |
Logic Program Synthesis and Transformation: Proceedings of Lopstr 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-La
ISBN: 9783540198642 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing...
This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 9...
|
cena:
200,77 |
 |
Asynchronous Digital Circuit Design
ISBN: 9783540199014 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite state machine based control models. Written by leading practitioners in the area, the papers cover many aspects of current practice including practical design, silicon compilation, and...
As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asy...
|
cena:
200,77 |
 |
Logischer Entwurf Digitaler Systeme
ISBN: 9783540260264 / Niemiecki / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mit dieser Neuauflage liegt der Klassiker der Digitaltechnik nun in der vierten Auflage vor. Das Buch behandelt Prinzipien und Methoden fur den Entwurf digitaler Systeme. Dabei stehen Betrachtungen auf der Logikschaltungsebene bis zur Registertransferebene im Vordergrund. Spezielle Technologien werden insoweit berucksichtigt, wie sie einen grundlegenden Einfluss auf den Schaltungsentwurf haben. Folgende Themen werden besonders grundlich behandelt: Der Logikalkul der Mathematik, Durchschalt- und Verknupfungstechnik fur Logik- und Speicherbausteine, Asynchrontechnik vom Petri-Netz zur... Mit dieser Neuauflage liegt der Klassiker der Digitaltechnik nun in der vierten Auflage vor. Das Buch behandelt Prinzipien und Methoden fur den Ent... |
cena:
337,76 |
 |
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
ISBN: 9783642195884 / Angielski / Miękka / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 20...
|
cena:
200,77 |
 |
Boolean Circuit Rewiring: Bridging Logical and Physical Designs
ISBN: 9781118750117 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Demonstrates techniques which will allow rewiring rates of over 95%, enabling adoption of deep sub-micron chips for industrial applications Logic synthesis is an essential part of the modern digital IC design process in semi-conductor industry. This book discusses a logic synthesis technique called -rewiring- and its latest technical advancement in term of rewirability. Rewiring technique has surfaced in academic research since 1993 and there is currently no book available on the market which systematically and comprehensively discusses this rewiring technology. The... Demonstrates techniques which will allow rewiring rates of over 95%, enabling adoption of deep sub-micron chips for industrial applications |
cena:
617,21 |
 |
Optimal Interprocedural Program Optimization: A New Framework and Its Application
ISBN: 9783540651239 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field.
Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differ...
|
cena:
200,77 |
 |
Parameterized Complexity Theory
ISBN: 9783642067570 / Angielski / Miękka / 495 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a whole new theory of intractability. This book is a state-of-the-art introduction to both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes, and it presents detailed proofs of recent advanced results that have not appeared... Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algo... |
cena:
321,26 |
 |
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
ISBN: 9783642206733 / Angielski / Miękka / 131 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic,...
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atla...
|
cena:
200,77 |
 |
Computer Science – Theory and Applications: 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
ISBN: 9783642207112 / Angielski / Miękka / 471 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 6th International Computer Science Symposium in Russia, CSR 2011, held in St. Petersburg, Russia, in June 2011. The 29 papers presented were carefully reviewed and selected from 76 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 6th International Computer Science Symposium in Russia, CSR 2011, held in St. Petersburg, Russia, in June...
|
cena:
200,77 |
 |
Mobile Multimedia Broadcasting Standards: Technology and Practice
ISBN: 9781441946126 / Angielski / Miękka / 674 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mobile multimedia broadcasting compasses a broad range of topics including radio propagation, modulation and demodulation, error control, signal compression and coding, transport and time slicing, system on chip real-time implementation in ha- ware, software and system levels. The major goal of this technology is to bring multimedia enriched contents to handheld devices such as mobile phones, portable digital assistants, and media players through radio transmission or internet pro- col (IP) based broadband networks. Research and development of mobile multi- dia broadcasting technologies are...
Mobile multimedia broadcasting compasses a broad range of topics including radio propagation, modulation and demodulation, error control, signal compr...
|
cena:
602,40 |
 |
Ultra-Low Voltage Nano-Scale Memories
ISBN: 9781441941244 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ultra-low voltage large-scale integrated circuits (LSIs) in nano-scale technologies are needed to: -Meet the needs of a rapidly growing mobile cell phone market Low power large capacity memories are a necessary component of low voltage LSIs. Many challenges arise in the process of achieving such memories as their devices and voltages are scaled down below 100nm and sub-1-V. A high signal-to-noise (S/N) ratio design is necessary to deal with small signal voltages from low-voltage... Ultra-low voltage large-scale integrated circuits (LSIs) in nano-scale technologies are needed to: -Meet the needs of a rapidly growing mob... |
cena:
441,75 |
 |
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
ISBN: 9781849967020 / Angielski / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Abu?erover?owoccurswheninputiswrittenintoamemorybu?erthatisnot large enough to hold the input. Bu?er over?ows may allow a malicious person to gain control over a computer system in that a crafted input can trick the defectiveprogramintoexecutingcodethatisencodedintheinputitself.They are recognised as one of the most widespread forms of security vulnerability, and many workarounds, including new processor features, have been proposed to contain the threat. This book describes a static analysis that aims to prove the absence of bu?er over?ows in C programs. The analysis is conservative in the...
Abu?erover?owoccurswheninputiswrittenintoamemorybu?erthatisnot large enough to hold the input. Bu?er over?ows may allow a malicious person to gain con...
|
cena:
602,40 |
 |
Proceedings of the 11th Asian Logic Conference: In Honor of Professor Chong Chitat on His 60th Birthday
ISBN: 9789814360531 / Angielski / Twarda / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference is held in the National University of Singapore, in honour of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.
The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rota...
|
cena:
441,16 |
 |
Advances in Power Electronics and Instrumentation Engineering: Second International Conference, Peie 2011, Nagpur, Maharashtra, India, April 21-22, 20
ISBN: 9783642204982 / Angielski / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Conference on Advances in Power Electronics and Instrumentation Engineering, PEIE 2011, held at Nagpur, India, in April 2011. The 9 revised full papers presented together with 4 short papers and 7 poster papers were carefully reviewed and selected from numerous submissions. The papers address current issues in the field of power electronics, communication engineering, instrumentation engineering, digital electronics, electrical power engineering, electrical machines, information technology, control systems, and the...
This book constitutes the refereed proceedings of the Second International Conference on Advances in Power Electronics and Instrumentation Engineering...
|
cena:
200,77 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
