» książki » Computers - Logic Design
 |
Draw & Colour Robots: 100 Pages of educational robot fun for children ages 6 to 12
ISBN: 9798555976048 / Angielski / Miękka / 102 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
32,85 |
 |
Mastering NFT's: The Complete Guide to Understanding and Working With NFT's
ISBN: 9798737912444 / Angielski / Miękka / 48 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
53,42 |
 |
Arduino
ISBN: 9781721076628 / Angielski / Miękka / 94 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
55,40 |
 |
The Power of AI: Learn, Grow, Succeed: Lighting Up Your World with AI.
ISBN: 9798343750959 / Angielski / Miękka / 116 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
65,75 |
 |
Algebraic Semantics
ISBN: 9783540102847 / Angielski / Miękka / 162 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
81,23 |
 |
Hardware Description Language Demystified: Explore Digital System Design Using Verilog HDL and VLSI Design Tools (English Edition)
ISBN: 9789389898040 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
82,04 |
| |
Grise Bouille, Tome VI
ISBN: 9782493727206 / Francuski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
82,87 |
 |
Axiomatising the Logic of Computer Programming
ISBN: 9783540112105 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
93,42 |
 |
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980
ISBN: 9783540119814 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
93,42 |
| |
Exploring Alternate Realities Through Parallel Worlds
ISBN: 9788196782580 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
101,83 |
| |
Creating AI Agents: Utilizing the LangGraph framework
ISBN: 9798308499077 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
102,76 |
 |
Effective Logic Computation: Revised Edition
ISBN: 9780999140215 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
106,88 |
 |
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme
ISBN: 9783540574798 / Niemiecki / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation }berBotschaftenaustausch behandelt. F}r jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein gr- eres Verifikationsbeispiel vorgestellt. Insbesondere...
Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werd...
|
cena:
113,74 |
 |
An Introduction to Logic Circuit Testing
ISBN: 9783031797842 / Angielski / Miękka / 99 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An Introduction to Logic Circuit Testing provides a detailed coverage of techniques for test generation and testable design of digital electronic circuits/systems. The material covered in the book should be sufficient for a course, or part of a course, in digital circuit testing for senior-level undergraduate and first-year graduate students in Electrical Engineering and Computer Science. The book will also be a valuable resource for engineers working in the industry. This book has four chapters. Chapter 1 deals with various types of faults that may occur in very large scale integration...
An Introduction to Logic Circuit Testing provides a detailed coverage of techniques for test generation and testable design of digital electronic circ...
|
cena:
113,74 |
 |
Make: FPGAs: Turning Software Into Hardware with Eight Fun and Easy DIY Projects
ISBN: 9781457187858 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What if you could use software to design hardware? Not just any hardware--imagine specifying the behavior of a complex parallel computer, sending it to a chip, and having it run on that chip--all without any manufacturing? With Field-Programmable Gate Arrays (FPGAs), you can design such a machine with your mouse and keyboard. When you deploy it to the FPGA, it immediately takes on the behavior that you defined. Want to create something that behaves like a display driver integrated circuit? How about a CPU with an instruction set you dreamed up? Or your very own Bitcoin miner You can do all... What if you could use software to design hardware? Not just any hardware--imagine specifying the behavior of a complex parallel computer, sending i... |
cena:
117,45 |
 |
Reflection in Rewriting Logic : Metalogical Foundations and Metaprogramming Applications
ISBN: 9781575862385 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Clavel's book proposes a general theory of reflective logics and reflective declarative programming languages that provides a conceptual foundation for judging the extent to which a computational system is reflective. Applying this general framework, Clavel makes an in depth study of reflection in rewriting logic. This book presents examples of the powerful potential for reflective programming in a number of novel computer applications. Clavel proposes axiomatic notions for reflective logics and reflective declarative programming languages. The key concept is the notion of a 'universal...
Clavel's book proposes a general theory of reflective logics and reflective declarative programming languages that provides a conceptual foundation fo...
|
cena:
119,22 |
 |
Computer Aids For VLSI Design
ISBN: 9780972751421 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook, originally published in 1987, broadly examines the software required to design electronic circuitry, including integrated circuits. Topics include synthesis and analysis tools, graphics and user interface, memory representation, and more. The book also describes a real system called -Electric.-
This textbook, originally published in 1987, broadly examines the software required to design electronic circuitry, including integrated circuits. Top...
|
cena:
123,17 |
 |
Propositional Logic as a Boolean Algebra - a New Perspective: Vol. 1
ISBN: 9781979069236 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
124,39 |
 |
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik
ISBN: 9783540643920 / Niemiecki / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese in der Neuauflage zweibandige Einfuhrung 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 vorliegende Band 2 fasst die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken fur verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die...
Diese in der Neuauflage zweibandige Einfuhrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten ...
|
cena:
125,28 |
 |
International Symposium on Theoretical Programming
ISBN: 9783540067207 / Angielski / Miękka / 415 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
142,18 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
