» książki » Computers - Logic Design
topmenu
 |
Logic Functions and Equations: Examples and Exercises
ISBN: 9789048181650 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Tsutomu Sasao Kyushu Institute of Technology, Japan The material covered in this book is quite unique especially for p- ple who are reading English, since such material is quite hard to ?nd in the U.S. literature. German and Russian people have independently developed their theories, but such work is not well known in the U.S. societies. On the other hand, the theories developed in the U.S. are not conveyed to the other places. Thus, the same theory is re-invented or re-discovered in various places. For example, the switching theory was developed independently in the U.S., Europe, and Japan,...
Tsutomu Sasao Kyushu Institute of Technology, Japan The material covered in this book is quite unique especially for p- ple who are reading English, s...
|
cena:
402,53 |
 |
Principles of Program Analysis
ISBN: 9783642084744 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the...
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications inclu...
|
cena:
201,24 |
 |
Understanding Agent Systems
ISBN: 9783642073823 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since the first edition was published two years ago, much has been done on extend- ing the work done on SMART to address new and important areas 3-5,54,79,80, 108-110,116,118-120,122]. In this second edition, we have revised, updated and corrected the existing text and added three new chapters. These chapters provide a broader coverage of the fie1d of agents, and show in more detail how the specific framework described can be used to examine other areas. In Chapter 6, we use the concepts of discovery to apply the framework to autonomous interaction in multi- agent systems; in Chapter 10 we...
Since the first edition was published two years ago, much has been done on extend- ing the work done on SMART to address new and important areas 3-5,...
|
cena:
402,53 |
 |
Physical Design Essentials: An ASIC Design Implementation Perspective
ISBN: 9781441942197 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Arranged in a format that follows the industry-common ASIC physical design flow, Physical Design Essentials begins with general concepts of an ASIC library, then examines floorplanning, placement, routing, verification, and finally, testing. Among the topics covered are Basic standard cell design, transistor-sizing, and layout styles; Linear, non-linear, and polynomial characterization; Physical design constraints and floorplanning styles; Algorithms used for placement; Clock Tree Synthesis; Parasitic extraction; Electronic Testing, and many more.
Arranged in a format that follows the industry-common ASIC physical design flow, Physical Design Essentials begins with general concepts of an ASIC... |
cena:
603,81 |
 |
Practical Problems in VLSI Physical Design Automation
ISBN: 9789048176823 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Practical Problems in VLSI Physical Design Automation contains problems and solutions related to various well-known algorithms used in VLSI physical design automation. Dr. Lim believes that the best way to learn new algorithms is to walk through a small example by hand. This knowledge will greatly help understand, analyze, and improve some of the well-known algorithms. The author has designed and taught a graduate-level course on physical CAD for VLSI at Georgia Tech. Over the years he has written his homework with such a focus and has maintained typeset version of the solutions.
Practical Problems in VLSI Physical Design Automation contains problems and solutions related to various well-known algorithms used in VLSI p...
|
cena:
603,81 |
 |
Learning Systems: Decision, Simulation, and Control
ISBN: 9783540090038 / Angielski / Miękka / 121 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems: 3. Internationale Gi/Itg/Gma-Fachtagung / 3rd International Gi/Itg/GMA Conference
ISBN: 9783540182948 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Band enthalt die 38 Beitrage der 3. GI/ITG/GMA-Fachtagung uber Fehlertolerierende Rechensysteme. Unter den 10 aus dem Ausland eingegangenen Beitragen sind 4 eingeladene Vortrage. Insgesamt dokumentiert dieser Tagungsband die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten drei Jahren vor allem in Europa. Samtliche Beitrage sind neue Forschungs- oder Entwicklungsergebnisse, die vom Programmausschuss der Tagung aus 70 eingereichten Beitragen ausgewahlt wurden.
Dieser Band enthalt die 38 Beitrage der 3. GI/ITG/GMA-Fachtagung uber Fehlertolerierende Rechensysteme. Unter den 10 aus dem Ausland eingegangenen Bei...
|
cena:
402,53 |
 |
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
ISBN: 9783642171710 / Angielski / Miękka / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th This Festschrift is dedicated to Christoph Walther on the occasion of his 60 th birthday on August 9, 2010. It consists of articles by some of his colleagues and former students, who, on this momentous occasion, chose to show their appreciation. Inteachingtheoreticalcomputerscience, Christophhas hadaprofoundin- ence onmany ofhis formerandcurrentstudents, notleastby the introductionof eriFun into the classroom. Outside of his teaching, developing eriFun played a major role in his recent research activities. When the idea for this Festschrift was ?rst presented to us, it quickly - came...
th This Festschrift is dedicated to Christoph Walther on the occasion of his 60 th birthday on August 9, 2010. It consists of articles by some of his ...
|
cena:
201,24 |
 |
Specification of Software Systems
ISBN: 9780857292766 / Angielski / Twarda / 646 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent advances in software specification methods, model checking, and theorem proving have generated new tools for the use of formal methods in both industry and academia. Yet, in order to choose the techniques most appropriate for a specific application, it is necessary to have a good understanding and expertise in formal methods. Software engineers now have several case studies to learn from, and are able to choose from a large selection of languages and methods, with a rich repertoire of appropriate concepts for their intended applications. This extensively revised and updated... Recent advances in software specification methods, model checking, and theorem proving have generated new tools for the use of formal methods in bo... |
cena:
201,24 |
 |
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, Hcv 2009, Haifa, Israel, October 19-22, 2009, Revise
ISBN: 9783642192364 / Angielski / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel...
|
cena:
201,24 |
 |
Testfreundliche Synthese Hochintegrierter Schaltungen
ISBN: 9783540556619 / Niemiecki / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hochkomplexe elektronische Schaltungen werden in immer mehr Bereichen der Technik eingesetzt, in denen es auf eine hohe Zuverl{ssigkeit ankommt, wie z.B. der Medizin und der Verkehrstechnik. Eine effiziente ]berpr}fung dieser Schaltungen, m-glichst in Form eines "Selbsttests," ist deshalb von entscheidender Bedeutung. Das Buch beschreibt zun{chst Verfahren f}r den automatisierten Entwurf und den Test hochintegrierter Schaltungen und f}hrt dann beide Themengebiete zu einer einheitlichen Entwurfsmethodik zusammen. Der Test - als externer Test mit Hilfe von Pr}fpfaden oder als Selbsttest - wird...
Hochkomplexe elektronische Schaltungen werden in immer mehr Bereichen der Technik eingesetzt, in denen es auf eine hohe Zuverl{ssigkeit ankommt, wie z...
|
cena:
206,88 |
 |
The Programming and Proof System Ates: Advanced Techniques Integration Into Efficient Scientific Software
ISBN: 9783540541882 / Angielski / Miękka / 341 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific so...
|
cena:
402,53 |
 |
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
ISBN: 9783642180699 / Angielski / Miękka / 199 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented So... |
cena:
201,24 |
 |
Qualität und Testbarkeit hochintegrierter Schaltungen: Qualitätssicherung durch regelbasierte Systeme
ISBN: 9783540516088 / Niemiecki / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch beschreibt ein hochkomplexes und neuartiges System zur Uberprufung pruftechnischer Entwurfsregeln bei digitalen Schaltungen und Systemen. Im Gegensatz zu traditionellen Ansatzen ist diese Analyse im vorliegenden Fall regelbasiert und erlaubt damit die Verarbeitung unterschiedlicher Regelsatze. Weitere Besonderheiten sind der hierarchische Ansatz und die Anwendbarkeit uber die Gatterebene hinaus auch auf der Registertransfer-Ebene. Das System wird abgerundet durch eine Regelaufbereitungskomponente in Form eines speziellen Expertensystems, die es erlaubt, zu berucksichtigende DFT...
Dieses Buch beschreibt ein hochkomplexes und neuartiges System zur Uberprufung pruftechnischer Entwurfsregeln bei digitalen Schaltungen und Systemen. ...
|
cena:
206,88 |
 |
Ausnahmebehandlung in Objektorientierten Programmiersprachen
ISBN: 9783540524670 / Niemiecki / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozesssysteme eingesetztes Sprachmittel. Trotz vieler Entwurfs- und Implementierungsvorschlage fur Ausnahmemechanismen blieben die formalen Aspekte der Ausnahmebehandlung bisher weitgehend unberucksichtigt. In diesem Buch wird eine neue Theorie der Ausnahmebehandlung vorgestellt. Fur die formale Beschreibung setzt die Autorin die denotationelle Methode der Semantikdefinition ein. Damit kann insbesondere die Einflussnahme der Ausnahmebehandlung auf die Ablaufsteuerung eines Programms, also die wichtigste Auswirkung...
Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozesssysteme eingesetztes Sprachmittel. Trotz vieler Entwurfs- und Impl...
|
cena:
206,88 |
 |
Flagorientierte Assoziativspeicher und -prozessoren
ISBN: 9783540524878 / Niemiecki / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Nach einer Diskussion bekannter Assoziativspeicherkonzepte beschreibt dieses Buch ein neues Verfahren zur Realisierung VLSI-gerechter assoziativer Monoprozessorarchitekturen als "flagorientierte Systeme," die sowohl arithmetisch-boolesche als auch komplexe Suchoperationen fur Datensatze vollparallel durchfuhren. Die Basis derartiger Architekturen bildet ein Transformationsverfahren, mit dem die zu verarbeitenden Daten in einen Bildbereich uberfuhrt und durch binare, als Flags bezeichnete Grossen reprasentiert werden. Die Parallelarbeit wird durch simultane Verarbeitung und Manipulation von...
Nach einer Diskussion bekannter Assoziativspeicherkonzepte beschreibt dieses Buch ein neues Verfahren zur Realisierung VLSI-gerechter assoziativer Mon...
|
cena:
206,88 |
 |
Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989
ISBN: 9783540196273 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program ming concepts and to verify the work by case studies with industry. Hence among early Z users some were from academic circles, with interests in the mathematical basis of programming; others came from industry and were involved with pilot projects and case studies linked with the Programming Research Group. Four years ago we had the first Z User Meeting, a fairly modest affair with...
The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of ...
|
cena:
201,24 |
 |
Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990
ISBN: 9783540196723 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of conference proceedings aims to provide Z users with information on new developments, such as activities in the field of object-oriented specification and design.
This volume of conference proceedings aims to provide Z users with information on new developments, such as activities in the field of object-oriented...
|
cena:
201,24 |
 |
Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991
ISBN: 9783540197805 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z 3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x: 1 x O. fx = x + 1 (i) "f x: 1 x O. fx = x + 2 (ii) is inconsistent,...
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the e...
|
cena:
201,24 |
 |
Alpuk92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992
ISBN: 9783540197836 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need 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 which were often by- passed at the larger international conferences. This volume contains the invited papers, refereed papers and...
Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as data...
|
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
