» książki » Computers - Logic Design
topmenu
 |
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,
ISBN: 9783642165603 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, C...
|
cena:
201,24 |
 |
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion
ISBN: 9783642165573 / Angielski / Miękka / 708 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, C...
|
cena:
402,53 |
 |
Language-Driven Exploration and Implementation of Partially Re-Configurable Asips
ISBN: 9789048181001 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Increasing complexity of modern embedded systems demands system designers to ramp up their design productivity without compromising performance goals. This is promoted by modern Electronic System Level (ESL) techniques. Language-driven Exploration and Implementation of Partially Re-configurable ASIPs addresses an important segment of the ESL area by modeling partially re-configurable processors via high-level Architecture Description Language (ADL). This approach also hints an imminent evolution in the area of re-configurable system design. Increasing complexity of modern embedded systems demands system designers to ramp up their design productivity without compromising performance goa... |
cena:
603,81 |
 |
Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 9783642175107 / Angielski / Miękka / 517 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook place in Dakar, Senegal, in April/May 2010.The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of...
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial In...
|
cena:
201,24 |
 |
Petri Net Algebra
ISBN: 9783642086779 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con current: typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are...
In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the w...
|
cena:
603,81 |
 |
Many-Valued Logics 2: Automated Reasoning and Practical Applications
ISBN: 9783642084171 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory. Among the applications presented are those in software specification and electronic circuit verification.
Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume hand...
|
cena:
201,24 |
 |
Logischer Entwurf Digitaler Systeme Beispiele Und Übungen
ISBN: 9783540069126 / Niemiecki / Miękka / 175 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der vorl iegende Ubungsband enthalt Erganzungen und 72 Ubungsaufgaben zu dem 1973 im Springer-Verlag erschienenen Lehrbuch "Logischer Entwurf digitaler Systeme" von W. Gi loi und H. Liebig. Die vollstandig durchgerechneten Losungen zu jeder Aufgabe konnen als Beispiele fUr den Entwurf digitaler Systeme angesehen werden. Die in dem zitierten Lehrbuch dargestel Iten mathematischen Methoden werden im vorl iegenden Band ausgiebig angewendet und zum Tei I noch erganzt. Die Ergan zungen behandeln wichtige Themen, die von theoretischem wie von praktischem In teresse sind, so Methoden fUr den Entwurf...
Der vorl iegende Ubungsband enthalt Erganzungen und 72 Ubungsaufgaben zu dem 1973 im Springer-Verlag erschienenen Lehrbuch "Logischer Entwurf digitale...
|
cena:
187,92 |
 |
Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen
ISBN: 9783540179382 / Niemiecki / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In dieser Monographie werden Verfahren zur modularen Testerzeugung fur Schaltnetze entwickelt. Ausgehend von einer Beschreibung der modularen Schaltung und den Tests fur die einzelnen Module bestimmen diese Verfahren den Test fur die modulare Schaltung. Die Arbeit geht in diesem Zusammenhang auch auf den prufgerechten Entwurf modularer Schaltungen ein. In Analogie zum klassischen sensibilisierten Pfad, der 1 Bit Testinformation weiterleiten kann, wird der Pfadbegriff auf die parallele Weiterleitung von k Bit Testinformation verallgemeinert. Die Arbeit formalisiert dazu mehrere Klassen von...
In dieser Monographie werden Verfahren zur modularen Testerzeugung fur Schaltnetze entwickelt. Ausgehend von einer Beschreibung der modularen Schaltun...
|
cena:
206,88 |
 |
Signaturanalyse: Theoretische Grundlagen Und Probleme; Ausblick Auf Anwendungen
ISBN: 9783540502449 / Niemiecki / Miękka / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. insbesondere Frau Dipl. -Phys. G. Lagowitz. danken wir fOr die sehr gute Zusammenarbeit. l. Voelkel J.
insbesondere Frau Dipl. -Phys. G. Lagowitz. danken wir fOr die sehr gute Zusammenarbeit. l. Voelkel J.
|
cena:
206,88 |
 |
Fault Diagnosis and Fault Tolerance: A Systematic Approach to Special Topics
ISBN: 9783540549628 / Angielski / Miękka / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the rapid growth of integration scale of VLSI chips and the present need for reliable computers in space exploration, fault diagnosis and fault toleran ce have become more important than before, and hence reveal a lot of interest ing topics which attract many researchers to make a great number of contribu tions to this field. In recent years, many new and significant results have been achieved. A quick scan over the proceedings of the conferences on fault tolerant computing and design automation as well as on testing will convince the reader of that. But unfortunately these achievements...
With the rapid growth of integration scale of VLSI chips and the present need for reliable computers in space exploration, fault diagnosis and fault t...
|
cena:
402,53 |
 |
Automatische Synthese Rekursiver Programme ALS Beweisverfahren
ISBN: 9783540553007 / Niemiecki / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k-nnen. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefa t werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseproze gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle...
In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k-nnen. Es ist ein deduktives ...
|
cena:
206,88 |
 |
Funktionaler Entwurf Digitaler Schaltungen: Methoden Und Cad-Techniken
ISBN: 9783540567882 / Niemiecki / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese Einfuhrung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implementierung solcher Entwurfe in integrierten Schaltungen. Ausserdem deckt sie die wesentlichen Aspekte ab, die fur das Verstandnis, den Einsatz und die Entwicklung entsprechender CAD-Werkzeuge wichtig sind. Das weiterfuhrende Lehrbuch wendet sich in erster Linie an Studierende der Informatik und der Elektrotechnik; ausser dem im Grundstudium aller Elektrotechnik- und Informatik-Fachbereiche vermittelten Wissen setzt es keine speziellen...
Diese Einfuhrung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implemen...
|
cena:
206,88 |
 |
Theoretische Informatik: Eine Problemorientierte Einführung
ISBN: 9783540608608 / Niemiecki / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Lehrbuch basiert auf einer vierstundigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik." Die Autoren fuhren an exemplarischen Problemstellungen der Theoretischen Informatik deren Losungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und Losungshinweisen bzw. Losungen."
Das vorliegende Lehrbuch basiert auf einer vierstundigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik." Die Autoren fuhren an exem...
|
cena:
187,92 |
 |
Logic of Computation
ISBN: 9783540629634 / Angielski / Twarda / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis. The lectures presented here provide the basic knowledge a researcher in this area should have and give excellent starting points for exploring the literature. Topics covered include semantics and...
The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 Int...
|
cena:
475,45 |
 |
Logic-Based Program Synthesis and Transformation: 19th International Symposium, Lopstr 2009, Coimbra, Portugal, September 2009, Revised Selected Paper
ISBN: 9783642125911 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software...
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and T...
|
cena:
201,24 |
 |
Visualisierung von Umweltdaten in Supercomputersystemen: 1. Fachtagung Karlsruhe, 8. November 1989 Proceedings
ISBN: 9783540527466 / Niemiecki / Miękka / 116 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Datenmengen, die bei der Modellierung, der Simulation und der Uberwachung von Umweltprozessen anfallen, sind heute schon so gross, dass sie nur noch mit Supercomputersystemen in verantwortbaren Zeiten sinnvoll bearbeitet werden konnen. Auch die Ergebnisdaten mussen weiter analysiert und interpretiert werden, sei es durch erfahrenes und DV-kundiges Fachpersonal, sei es durch weitergehende Transformationen und geeignete Formen der Darstellung. Die Visualisierung von Umweltdaten versucht, das umfangreiche und komplexe Datenmaterial mit Werkzeugen der Graphischen Datenverarbeitung in Form von...
Die Datenmengen, die bei der Modellierung, der Simulation und der Uberwachung von Umweltprozessen anfallen, sind heute schon so gross, dass sie nur no...
|
cena:
206,88 |
 |
Spice: Analyseprogramm Für Elektronische Schaltungen Benutzerhandbuch Mit Beispielen
ISBN: 9783540151609 / Niemiecki / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Schon seit 1971 werden an der Fachhochschule Furtwangen Simulationsprogramme fur elektronische Schaltungen in der Ingenieurausbildung eingesetzt /0.1/. 1973 wurde uns von einem ehemaligen Absolventen, der damals in Berkeley, USA studierte, das Programm SPICE 1 ( mulation frogram with Integrated fircuit fmphasis) ubermittelt und im gleichen Jahr im Rahmen einer Diplomar beit auf dem Rechner DEC 1020 implementiert. In den folgenden Jahren wurden viele Erfahrungen mit dem Programm gesammelt, einmal durch die Installierung eines regelmaBigen Batch-Betriebs fur studentische Ubungen mit SPICE...
Schon seit 1971 werden an der Fachhochschule Furtwangen Simulationsprogramme fur elektronische Schaltungen in der Ingenieurausbildung eingesetzt /0.1/...
|
cena:
206,88 |
 |
Designing Correct Circuits: Workshop Jointly Organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford
ISBN: 9783540196594 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application to hardware design of the techniques of software engineering. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program develop ment. The harsher constraints on hardware designers mean both that...
These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgo...
|
cena:
201,24 |
 |
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, Patmos 2004, Santorini, Gre
ISBN: 9783540230953 / Angielski / Miękka / 916 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. WelcometotheproceedingsofPATMOS2004, thefourteenthinaseriesofint- national workshops. PATMOS 2004 was organized by the University of Patras with technical co-sponsorship from the IEEE Circuits and Systems Society. Over the years, the PATMOS meeting has evolved into an important - ropean event, where industry and academia meet to discuss power and timing aspects in modern integrated circuit and system design. PATMOS provides a forum for researchers to discuss and investigate the emerging challenges in - sign methodologies and tools required to develop the upcoming generations of integrated...
WelcometotheproceedingsofPATMOS2004, thefourteenthinaseriesofint- national workshops. PATMOS 2004 was organized by the University of Patras with techn...
|
cena:
603,81 |
 |
Field Programmable Logic and Applications: 13th International Conference, Fpl 2003 Lisbon, Portugal, September 1-3, 2003 Proceedings
ISBN: 9783540408222 / Angielski / Miękka / 1182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the papers presented at the 13th International Workshop on Field Programmable Logic and Applications (FPL) held on September 1 3, 2003. The conference was hosted by the Institute for Systems and Computer Engineering-Research and Development of Lisbon (INESC-ID) and the Depa- ment of Electrical and Computer Engineering of the IST-Technical University of Lisbon, Portugal. The FPL series of conferences was founded in 1991 at Oxford University (UK), and has been held annually since: in Oxford (3 times), Vienna, Prague, Darmstadt, London, Tallinn, Glasgow, Villach,...
This book contains the papers presented at the 13th International Workshop on Field Programmable Logic and Applications (FPL) held on September 1 3, 2...
|
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
