» książki » Computers - Logic Design
topmenu
 |
New Algorithms, Architectures and Applications for Reconfigurable Computing
ISBN: 9781441952646 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. New Algorithms, Architectures and Applications for Reconfigurable Computing consists of a collection of contributions from the authors of some of the best papers from the Field Programmable Logic conference (FPL 03) and the Design and Test Europe conference (DATE 03). In all, seventy-nine authors, from research teams from all over the world, were invited to present their latest research in the extended format permitted by this special volume. The result is a valuable book that is a unique record of the state of the art in research into field programmable logic and reconfigurable... New Algorithms, Architectures and Applications for Reconfigurable Computing consists of a collection of contributions from the authors of ... |
cena:
602,40 |
 |
Verification by Error Modeling: Using Testing Techniques in Hardware Verification
ISBN: 9781441954022 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1. DESIGN FLOW Integrated circuit (IC) complexity is steadily increasing. ICs incorporating hundreds of millions of transistors, mega-bit memories, complicated pipelined structures, etc., are now in high demand. For example, Intel Itanium II processor contains more than 200 million transistors, including a 3 MB third level cache. A billion transistor IC was said to be imminently doable by Intel fellow J. Crawford at Microprocessor Forum in October 2002 40]. Obviously, designing such complex circuits poses real challenges to engineers. Certainly, no relief comes from the competitive...
1. DESIGN FLOW Integrated circuit (IC) complexity is steadily increasing. ICs incorporating hundreds of millions of transistors, mega-bit memories, co...
|
cena:
401,58 |
 |
Operational Amplifier Speed and Accuracy Improvement: Analog Circuit Design with Structural Methodology
ISBN: 9781441954374 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Operational Amplifier Speed and Accuracy Improvement proposes a new methodology for the design of analog integrated circuits. The usefulness of this methodology is demonstrated through the design of an operational amplifier. This methodology consists of the following iterative steps: description of the circuit functionality at a high level of abstraction using signal flow graphs; equivalent transformations and modifications of the graph to the form where all important parameters are controlled by dedicated feedback loops; and implementation of the structure using a library of...
Operational Amplifier Speed and Accuracy Improvement proposes a new methodology for the design of analog integrated circuits. The use...
|
cena:
642,56 |
 |
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
ISBN: 9781849969512 / Angielski / Miękka / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intheworldweliveinconcurrencyisthenorm.Forexample, thehumanbody isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition, inthebiologicalworld, trulysequentialsystemsrarely arise. However, they are more common when manmade artefacts are cons- ered. In particular, computer systems are often developed from a sequential perspective. Why is this? The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Thus, we use sequentiality as a device...
Intheworldweliveinconcurrencyisthenorm.Forexample, thehumanbody isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim- taneously evolving...
|
cena:
602,40 |
 |
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
ISBN: 9783642062377 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a 'practical theory' may require some explanation. Theory and practice are often thought of as two di?erent worlds, governed bydi?erentideals, principles, andlaws.DavidLorgeParnas, forinstance, who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that 'theoretically' is synonymous to 'not really'. In applied mathematics the goal is to discover...
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling...
|
cena:
200,77 |
 |
Switching Theory: Insight through Predicate Logic
ISBN: 9783642073182 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This new approach to an established field introduces the concept of predicate logic in order to supersede propositional logic in switching theory. The author gives new insight into the theory of latches (memory circuits) for use in undergraduate and graduate courses.
This new approach to an established field introduces the concept of predicate logic in order to supersede propositional logic in switching theory. ... |
cena:
401,58 |
 |
History of Computing: Software Issues: International Conference on the History of Computing, Ichc 2000 April 5-7, 2000 Heinz Nixdorf Museumsforum Pade
ISBN: 9783642076534 / Angielski / Miękka / 283 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers in this volume were presented at a conference that was designed to map out historical study needs in one area of the history of computing, namely, software. The Paderbom conference was sponsored by the Heinz Nixdorf Muse- umsForum and co-sponsored by the Charles Babbage Institute and the Heinz Nixdorf Institute of the University of Paderbom. The idea for the conference emerged from the consideration of a larger concept that was to prepare a new handbook on the history of computing. Believing that preparation of the handbook would encounter obstacles in some areas of computing that...
The papers in this volume were presented at a conference that was designed to map out historical study needs in one area of the history of computing, ...
|
cena:
200,77 |
 |
Conceptual Modeling – ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings
ISBN: 9783642163722 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th This publication comprises the proceedings of the 29 International Conference on Conceptual Modeling (ER 2010), which was held this year in Vancouver, British Columbia, Canada. Conceptual modeling can be considered as lying at the confluence of the three main aspects of information technology applications -- the world of the stakeholders and users, the world of the developers, and the technologies available to them. C- ceptual models provide abstractions of various aspects related to the development of systems, such as the application domain, user needs, database design, and software...
th This publication comprises the proceedings of the 29 International Conference on Conceptual Modeling (ER 2010), which was held this year in Vancouv...
|
cena:
200,77 |
 |
Nonmonotonic Reasoning: Logical Foundations of Commonsense
ISBN: 9780521181303 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some new results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other; and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of the various types of nonmonotonic reasoning, their...
In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some new results and ideas based...
|
cena:
230,69 |
 |
Informatik Eine Grundlegende Einführung: Band 1: Programmierung Und Rechnerstrukturen
ISBN: 9783540632344 / Niemiecki / Miękka / 471 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere, formale Fundierung und begriffliche Klarheit aus. Der erste Teil stellt das gesamte Gebiet der problemnahen Programmierung vor, von Algorithmenbegriffen uber Techniken der funktionalen und der prozeduralen Programmierung und Datenstrukturen zur Programmiermethodik. Der zweite behandelt die technische Informationsverarbeitung, von der Binarcodierung...
Diese Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsge...
|
cena:
142,58 |
 |
Eigenschaftsorientierte Beschreibung Der Logischen Architektur Eingebetteter Systeme
ISBN: 9783834810298 / Niemiecki / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. David Trachtenherz entwickelt einen Losungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine prazise deklarative Spezifikation funktionaler Eigenschaften mit wahlbarem Grad der Abstraktion fur unterschiedliche Entwicklungsphasen und -ebenen ermoglicht.
David Trachtenherz entwickelt einen Losungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine ...
|
cena:
311,50 |
 |
Theoretische Informatik: Eine Kompakte Einführung
ISBN: 9783540013136 / Niemiecki / Twarda / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese kompakte Einfuhrung in die Theoretische Informatik stellt die wichtigsten Modelle fur zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt: Welche Probleme sind algorithmisch losbar? (Theorie der Berechenbarkeit und Entscheidbarkeit) Wie schwierig ist es algorithmische Probleme zu losen? (Theorie der Berechnungskomplexitat, NP-Theorie) Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten) Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen) ...Diese kompakte Einfuhrung in die Theoretische Informatik stellt die wichtigsten Modelle fur zentrale Probleme der Informatik vor. Dabei werden u.a.... |
cena:
123,82 |
 |
Computable Models
ISBN: 9781849968188 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and specification languages, through to knowledge representation languages and formalism for natural language semantics.... Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specif... |
cena:
200,77 |
 |
Principles of VLSI System Planning: A Framework for Conceptual Design
ISBN: 9780792391029 / Angielski / Twarda / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes a new type of computer aided VLSI design tool, called a VLSI System Planning, that is meant to aid designers dur ing the early, or conceptual, state of design. During this stage of design, the objective is to define a general design plan, or approach, that is likely to result in an efficient implementation satisfying the initial specifications, or to determine that the initial specifications are not realizable. A design plan is a collection of high level design decisions. As an example, the conceptual design of digital filters involves choosing the type of algorithm to...
This book describes a new type of computer aided VLSI design tool, called a VLSI System Planning, that is meant to aid designers dur ing the early, or...
|
cena:
602,40 |
 |
Electronics System Design Techniques for Safety Critical Applications
ISBN: 9789048180417 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What is exactly "Safety"? A safety system should be defined as a system that will not endanger human life or the environment. A safety-critical system requires utmost care in their specification and design in order to avoid possible errors in their implementation that should result in unexpected system's behavior during his operating "life." An inappropriate method could lead to loss of life, and will almost certainly result in financial penalties in the long run, whether because of loss of business or because the imposition of fines. Risks of this kind are usually managed with the methods...
What is exactly "Safety"? A safety system should be defined as a system that will not endanger human life or the environment. A safety-critical system...
|
cena:
401,58 |
 |
The Illiac IV: The First Supercomputer
ISBN: 9783540117650 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Illiac IV was the first large scale array computer. As the fore runner of today's advanced computers, it brought whole classes of scientific computations into the realm of practicality. Conceived initially as a grand experiment in computer science, the revolutionary architecture incorporated both a high level of parallelism and pipe lining. After a difficult gestation, the Illiac IV became operational in November 1975. It has for a decade been a substantial driving force behind the develooment of computer technology. Today the Illiac IV continues to service large-scale scientific...
The Illiac IV was the first large scale array computer. As the fore runner of today's advanced computers, it brought whole classes of scientific compu...
|
cena:
200,77 |
 |
Distributed Computing and Internet Technology: 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011, Proceedings
ISBN: 9783642190551 / Angielski / Miękka / 325 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 7th International Conference on Distributed Computing and Internet Technology, ICDCIT 2011, held in Bhubaneswar, India, in February 2011. In this book, papers are grouped in topical sections on distributed computing, sensor networks, internet technologies and applications, security, and bio-inspired computing.
Constitutes the proceedings of the 7th International Conference on Distributed Computing and Internet Technology, ICDCIT 2011, held in Bhubaneswar, In...
|
cena:
200,77 |
 |
Vagueness in Communication: International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers
ISBN: 9783642184451 / Angielski / Miękka / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordeaux, France, July 20-24, 2009.The 11 contributions presented shed a light on new aspects in the area of vagueness in natural language communication. In contrast to the classical instruments of dealing with vagueness - like multi-valued logics, truth value gaps or gluts, or supervaluations - this volume presents new approaches like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels.
This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordeaux,...
|
cena:
200,77 |
 |
Job Scheduling Strategies for Parallel Processing: 15th International Workshop, Jsspp 2010, Atlanta, Ga, Usa, April 23, 2010, Revised Selected Papers
ISBN: 9783642165047 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th Thisvolumecontainsthepaperspresentedatthe15 workshoponJobSched- ing Strategies for Parallel Processing that was held in Atlanta (GA), USA, on April 23, 2010 in conjunction with the IEEE International Parallel Processing Symposium 2010. This year 18 papers were submitted to the workshop. All submitted papers went through a complete review process, with the full version being read and evaluated by an average of four reviewers. We would like to especially thank the program committee members and additional referees for their willingness to participate in this e?ort and their excellent,...
th Thisvolumecontainsthepaperspresentedatthe15 workshoponJobSched- ing Strategies for Parallel Processing that was held in Atlanta (GA), USA, on April...
|
cena:
200,77 |
 |
Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz
ISBN: 9789048181834 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database systems, very large scale integrated systems, fault-tolerant computing and discrete dynamical systems. For many years, Professor Rosenkrantz served as the Editor-in-Chief of the Journal of the Association for Computing Machinery (JACM), a very prestigious archival journal in Computer...
Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor R...
|
cena:
401,58 |
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
