» książki » Computers - Logic Design
topmenu
 |
VLSI Design: A Practical Guide for FPGA and ASIC Implementations
ISBN: 9781461411192 / Angielski / Miękka / 106 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides insight into the practical design of VLSI circuits. It is aimed at novice VLSI designers and other enthusiasts who would like to understand VLSI design flows. Coverage includes key concepts in CMOS digital design, design of DSP and communication blocks on FPGAs, ASIC front end and physical design, and analog and mixed signal design. The approach is designed to focus on practical implementation of key elements of the VLSI design process, in order to make the topic accessible to novices. The design concepts are demonstrated using software from Mathworks, Xilinx, Mentor...
This book provides insight into the practical design of VLSI circuits. It is aimed at novice VLSI designers and other enthusiasts who would like to un...
|
cena:
248,84 zł |
 |
Transactions on High-Performance Embedded Architectures and Compilers IV
ISBN: 9783642245671 / Angielski / Miękka / 425 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. The scope of the journal therefore covers all aspects of computer architecture, code generation and compiler optimization methods of interest to researchers and practitioners designing future embedded...
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performanc...
|
cena:
191,40 zł |
 |
Testing of Interposer-Based 2.5d Integrated Circuits
ISBN: 9783319547138 / Angielski / Twarda / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The authors describe a set of design-for-test methods to address various challenges posed by the new generation of 2.5D ICs, including pre-bond testing of the silicon interposer, at-speed interconnect testing, built-in self-test architecture, extest scheduling, and a programmable method for low-power scan shift in SoC dies.
The authors describe a set of design-for-test methods to address various challenges posed by the new generation of 2.5D ICs, including pre-bond testin...
|
cena:
382,84 zł |
 |
Current Trends in Theoretical Computer Science: The Challenge of the New Century (in 2 Volumes)
ISBN: 9789812387837 / Angielski / Twarda / 1320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, “Algorithms and Complexity” and “Formal Models and Semantics”, reflecting the traditional division of the field.The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not...
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the ...
|
cena:
1633,52 zł |
 |
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
ISBN: 9789491216589 / Angielski / Twarda / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Suitable for modeling problems with continuous domains, this title shows how ASP techniques can be generalized to FASP, paving the way to implement fuzzy answer set solvers, that can take advantage of existing fuzzy reasoners.
Suitable for modeling problems with continuous domains, this title shows how ASP techniques can be generalized to FASP, paving the way to implement fu...
|
cena:
382,84 zł |
 |
Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
ISBN: 9783642305634 / Angielski / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with Tools 2012 Federated Conferences.
Constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/Jun...
|
cena:
191,40 zł |
 |
Logic Synthesis for Fsm-Based Control Units
ISBN: 9783642260643 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The control unit is one of the most important parts of any digital system responsible for interplay of other system blocks. Very often, the model of a finite state machine (FSM) is used to represent the behaviour of a control unit. Modern computer-aided design tools include a lot of optimal solutions (library cells) for implementation of such regular blocks of digital systems as decoders, multiplexers, parallel multibit adders and so on. But as a rule, control units have an irregular structure which makes impossible to design their logic circuits using the standard library cells. To use these...
The control unit is one of the most important parts of any digital system responsible for interplay of other system blocks. Very often, the model of a...
|
cena:
574,29 zł |
 |
Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam, the Netherlands, December 19-21, 2011, Revised Selected Papers
ISBN: 9783642314810 / Angielski / Miękka / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out of 137 submissions presented together with 2 invited talks are organized in five sections. The first section contains the invited contributions. The second, third and fourth sections incorporate submitted contributions to the three thematic workshops that were hosted by the Colloquium and addressed the following topics: inquisitiveness; formal semantics and pragmatics of sign languages, formal...
This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 tho...
|
cena:
191,40 zł |
 |
Logikkalküle in Der Informatik: Wie Wird Logik Vom Rechner Genutzt?
ISBN: 9783834818874 / Niemiecki / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Im Mittelpunkt steht das Spannungsverhaltnis zwischen einerseits dem herkommlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkuls, also zwischen Semantik und Syntax. Wie dieser Graben uberwunden wird, wird fur verschiedene auch nicht-klassische Logiken vorgefuhrt:
Pradikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einfuhrende Ubersicht uber Logiken gegeben, die an manchen Stellen der Informatik benotigt werden, zu deren... Im Mittelpunkt steht das Spannungsverhaltnis zwischen einerseits dem herkommlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und...
|
cena:
107,32 zł |
 |
Data-Driven Methods for Adaptive Spoken Dialogue Systems: Computational Learning for Conversational Interfaces
ISBN: 9781461448020 / Angielski / Twarda / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data driven methods have long been used in Automatic Speech Recognition (ASR) and Text-To-Speech (TTS) synthesis and have more recently been introduced for dialogue management, spoken language understanding, and Natural Language Generation. Machine learning is now present "end-to-end" in Spoken Dialogue Systems (SDS). However, these techniques require data collection and annotation campaigns, which can be time-consuming and expensive, as well as dataset expansion by simulation. In this book, we provide an overview of the current state of the field and of recent advances, with a specific focus...
Data driven methods have long been used in Automatic Speech Recognition (ASR) and Text-To-Speech (TTS) synthesis and have more recently been introduce...
|
cena:
382,84 zł |
 |
Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra
ISBN: 9781461287926 / Angielski / Miękka / 455 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fifty-four technical contributions in different areas of endeavor, although many of them deal with an area of particular concern to Dijkstra: programming. Each contribution is relatively short and could be digested in one sitting. Together, they form a nice cross section of the discipline of programming at the...
More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enou...
|
cena:
765,72 zł |
 |
Applications of Number Theory to Numerical Analysis
ISBN: 9783642678318 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Owing to the developments and applications of computer science, ma thematicians began to take a serious interest in the applications of number theory to numerical analysis about twenty years ago. The progress achieved has been both important practically as well as satisfactory from the theoretical view point. It'or example, from the seventeenth century till now, a great deal of effort was made in developing methods for approximating single integrals and there were only a few works on multiple quadrature until the 1950's. But in the past twenty years, a number of new methods have been devised...
Owing to the developments and applications of computer science, ma thematicians began to take a serious interest in the applications of number theory ...
|
cena:
191,40 zł |
 |
Nonsequential Processes: A Petri Net View
ISBN: 9783642734854 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbooks on the theory. The present monograph augments this literature by offering a mathematical treatment of one of the central aspects of net theory: the modelling of concur rency by partially ordered sets. Occurrence nets - which are special nets as well as special partial orders - are proposed by net theory for this purpose. We study both...
The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matte...
|
cena:
191,40 zł |
 |
Programming and Mathematical Method: International Summer School
ISBN: 9783642775741 / Angielski / Miękka / 407 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathematical programming methods are a very important topic for which a lot of research in recent years has been carried out. In the Marktoberdorf Summer School outstanding scientists lectured on mathematical programming methods. The lectures centred around logical and functional calculi for the...
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and suppo...
|
cena:
382,84 zł |
 |
Abstrakte Modellierung Digitaler Schaltungen: VHDL Vom Funktionalen Modell Bis Zur Gatterebene
ISBN: 9783642796906 / Niemiecki / Miękka / 643 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kommentare von erfahrenen Hardwareentwicklern "Ich kenne kein Buch, dass die Modellierung von Hardware so grundlegend behandelt. Alle mir bekannten Bucher beschreiben die Sprache VHDL und bringen viele Beispiele, gehen aber nicht darauf ein, wie man entwickelt, was beim Umgang mit VHDL und Synthese alles passieren kann und welche Gedanken man sich machen sollte, bevor man beginnt, den Code zu hacken. Endlich einmal alles in einem Buch "
"Das Buch gibt dem unerfahrenen Designer den richtigen Einstieg und dem erfahrenen den richtigen Umstieg. Es ist unglaublich, wie oft die Frage 'Was ist... Kommentare von erfahrenen Hardwareentwicklern "Ich kenne kein Buch, dass die Modellierung von Hardware so grundlegend behandelt. Alle mir bekannten Bu...
|
cena:
196,76 zł |
 |
Computer Architectures for Spatially Distributed Data
ISBN: 9783642821523 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the proceedings of a NATO Advanced Study Institute (ASI) held in Cetraro, Italy during 6-17 June 1983. The title of the ASI was Computer Arehiteetures for SpatiaZZy vistributed Vata, and it brouqht together some 60 participants from Europe and America. Presented ere are 21 of the lectures that were delivered. The articles cover a wide spectrum of topics related to computer architecture s specially oriented toward the fast processing of spatial data, and represent an excellent review of the state-of-the-art of this topic. For more than 20 years now researchers in pattern recognition,...
These are the proceedings of a NATO Advanced Study Institute (ASI) held in Cetraro, Italy during 6-17 June 1983. The title of the ASI was Computer Are...
|
cena:
382,84 zł |
 |
CAD Based Programming for Sensory Robots: Proceedings of the NATO Advanced Research Workshop on CAD Based Programming for Sensory Robots Held in Il Ci
ISBN: 9783642836275 / Angielski / Miękka / 565 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book consists of a collection of works dealing with CAD based robot programming. This is the process where CAD (computer based) models are used for task planning and the development of robot programs. If the program is generated by a programmer interacting with a CAD display of the robot and its workcell environment, the process is called off-line or interactive programming. On the other hand, if the robot program is generated automatically by the computer, then the process is referred to as automatic robot programming. This book is unique in that it focuses on the use of CAD models both...
This book consists of a collection of works dealing with CAD based robot programming. This is the process where CAD (computer based) models are used f...
|
cena:
382,84 zł |
 |
Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994
ISBN: 9783642871177 / Angielski / Miękka / 447 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation.
The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the... Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the applic...
|
cena:
191,40 zł |
 |
Computational Logic in Multi-Agent Systems: 13th International Workshop, Clima XIII, Montpellier, France, August 27-28, 2012, Proceedings
ISBN: 9783642328961 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.
This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellie...
|
cena:
176,13 zł |
 |
Integrierte Digitale Schaltungen: Vom Transistor Zur Optimierten Logikschaltung
ISBN: 9783540406006 / Niemiecki / Book / 711 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Behandelt wird der Entwurf von digitalen, integrierten MOS-Bausteinen. Der Leser wird in die Lage versetzt, fur die jeweilige Anwendung die gunstigste Schaltungstechnik auszuwahlen und anzuwenden und so das optimale Ergebnis zu erzielen. In deutscher Sprache wird erstmalig die technologieorientierte und die systemorientierte Schaltungstechnik gemeinsam und zusammenhangend dargestellt. "Behandelt wird der Entwurf von digitalen, integrierten MOS-Bausteinen. Der Leser wird in die Lage versetzt, fur die jeweilige Anwendung die gunstig... |
cena:
500,92 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
