» książki » Computers - Logic Design
 |
Logic Circuit Design: Selected Topics and Methods
ISBN: 9783031406751 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2nd edition has been thoroughly revised and is intended as a wakeup call in the stagnant and dormant field of switching algebra and logic circuit design. It presents the material in a concise but thorough way. The topics selected are an in-depth presentation of switching algebra, a theory of memory circuits (sometimes called flop flops), a new approach to asynchronous circuits, and a newly added part presenting a unique programming technique (or language) for programmable logic controllers (PLCs). Be ready for the unorthodox and controversial.
The 2nd edition has been thoroughly revised and is intended as a wakeup call in the stagnant and dormant field of switching algebra and logic circuit ...
|
cena:
603,81 |
 |
Computable Structure Theory: A Unified Approach
ISBN: 9783031924323 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
523,30 |
 |
CPU Design and Practice
ISBN: 9789819665723 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
281,76 |
 |
Cognitive Fairness-Aware Techniques for Human-Machine Interface
ISBN: 9781032767093 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
734,66 |
 |
Non-Axiomatic Logic: A Model of Intelligent Reasoning (Second Edition)
ISBN: 9789819819423 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
587,73 |
 |
Parallel Computing Technologies: 18th International Conference, Pact 2025, Almaty, Kazakhstan, October 6-10, 2025, Proceedings
ISBN: 9783032067500 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
330,07 |
 |
Modern Logic: A Text in Elementary Symbolic Logic
ISBN: 9780195080292 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic gives equal weight to semantics and proof theory and explains their...
Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to impr...
|
cena:
669,76 |
 |
Fibring Logics
ISBN: 9780198503811 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.
Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working t...
|
cena:
586,30 |
 |
A Study of Logics
ISBN: 9780198532118 / Angielski / Twarda / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author presents a systematic study of this rich harvest of logics via Tarski's well-known axiomatization of the notion of logical consequence. New and sometimes unorthodox treatments are given of the underlying principles and construction of many-valued logics, the logic of inexactness, effective logics,...
It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal...
|
cena:
945,89 |
 |
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
ISBN: 9780198537618 / Angielski / Twarda / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of logic to theoretical computer science. Each volume is comprised of an average of five 100-page monographs and presents an in-depth overview of one of the field's major topics. Current volume topics include mathematical and computational structures; forthcoming volumes will cover semantic structures, semantic modelling, theoretical methods in specification and verification, and logical methods in computer science. The result of five years of...
The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of ...
|
cena:
2105,88 |
 |
Modal Logic
ISBN: 9780198537793 / Angielski / Twarda / 624 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist can use the book as a source...
For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models...
|
cena:
1235,89 |
 |
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
ISBN: 9780198537809 / Angielski / Twarda / 672 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and...
The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer scie...
|
cena:
1908,68 |
 |
Type-Theoretical Grammar
ISBN: 9780198538578 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers. This work presents constructive type theory from the point of view of linguistics and the philosophy of language, introducing its valuable approach to those in areas in which it has remained unfamiliar. The theory is then applied to...
Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the f...
|
cena:
428,54 |
 |
Mathematical Problems from Applied Logic I: Logics for the Xxist Century
ISBN: 9780387286884 / Angielski / Twarda / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics, and computability theory. The book contains interesting contributions concerning the role... Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from... |
cena:
603,81 |
 |
Ultra-Low Voltage Nano-Scale Memories
ISBN: 9780387333984 / Angielski / Twarda / 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:
603,81 |
 |
Rapid Prototyping of Digital Systems: Sopc Edition
ISBN: 9780387726700 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. New to this edition is an introduction to embedded operating systems for SOPC designs. Featuring four accelerated tutorials on the Quartus II and Nios II design environments, this edition progresses from introductory programmable logic to full-scale SOPC design integrating hardware implementation, software development, operating system support, state-of-the-art I/O, and IP cores. This edition features Altera's new 7.1 Quartus II CAD and Nios II SOPC tools and includes projects for Altera's DE1, DE2, UP3, UP2, and UP1 FPGA development boards. "New to this edition is an introduction to embedded operating systems for SOPC designs. Featuring four accelerated tutorials on the Quartus I... |
cena:
281,76 |
 |
Computer Logic: Design Principles and Applications
ISBN: 9780387953045 / Angielski / Twarda / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An understanding of modern computer logic-incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits-is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern computer logic design. The book is self-contained, with an introductory chapter that concisely covers the history of computing devices, as well as number systems, number conversions, signed and unsigned...
An understanding of modern computer logic-incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic cir...
|
cena:
201,24 |
 |
Language in Action: Categories, Lambdas and Dynamic Logic Volume 130
ISBN: 9780444890009 / Angielski / Twarda / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory.
This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical p...
|
cena:
659,09 |
 |
Low-Power CMOS VLSI Circuit Design
ISBN: 9780471114888 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive look at the rapidly growing field of low-power VLSI design
Low-power VLSI circuit design is a dynamic research area driven by the growing reliance on battery-powered portable computing and wireless communications products. In addition, it has become critical to the continued progress of high-performance and reliable microelectronic systems. This self-contained volume clearly introduces each topic, incorporates dozens of illustrations, and concludes chapters with summaries and references. VLSI circuit and CAD engineers as well as researchers in universities and... A comprehensive look at the rapidly growing field of low-power VLSI design
Low-power VLSI circuit design is a dynamic research area drive... |
cena:
788,53 |
 |
The Essence of Logic Circuits
ISBN: 9780780311268 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Today, designing a state-of-the-art circuit means knowing how to pack more and more logic on a chip. Featuring an extensive introductory material, this complete, carefully-organized guide brings you valuable information on designing modern logic circuits from gates, switches, and other basic elements to meet the rising demands on modern circuit technology. THE ESSENCE OF LOGIC CIRCUITS allows computer scientists and students to start from scratch and gain a comprehensive understanding of most important topics in the field.
Today, designing a state-of-the-art circuit means knowing how to pack more and more logic on a chip. Featuring an extensive introductory material, thi...
|
cena:
778,22 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
