» książki » Computers - Logic Design
topmenu
 |
Algoritmos: Estructuras de datos avanzadas para algoritmos
ISBN: 9781955786515 / Hiszpański Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
90,94 |
 |
Axiomatising the Logic of Computer Programming
ISBN: 9783540112105 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,55 |
 |
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:
92,55 |
 |
Theory of Program Structures: Schemes, Semantics, Verification
ISBN: 9783540074151 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,55 |
 |
Semantics of Digital Circuits
ISBN: 9783540185406 / Angielski / Miękka / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,55 |
 |
Exploring Alternate Realities Through Parallel Worlds
ISBN: 9788196782580 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
98,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:
99,74 |
 |
Primality Testing and Abelian Varieties Over Finite Fields
ISBN: 9783540553083 / Angielski / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From Gauss to G-del, mathematicians have sought an efficient algorithm to distinguish prime numbers from composite numbers. This book presents a random polynomial time algorithm for the problem. The methods used are from arithmetic algebraic geometry, algebraic number theory and analyticnumber theory. In particular, the theory of two dimensional Abelian varieties over finite fields is developed. The book will be of interest to both researchers and graduate students in number theory and theoretical computer science.
From Gauss to G-del, mathematicians have sought an efficient algorithm to distinguish prime numbers from composite numbers. This book presents a rando...
|
cena:
100,60 |
 |
Effective Logic Computation: Revised Edition
ISBN: 9780999140215 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
103,73 |
 |
Thermal-Aware Testing of Digital VLSI Circuits and Systems
ISBN: 9780367607098 / Angielski / Miękka / 118 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
111,68 |
 |
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:
112,68 |
 |
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:
112,68 |
 |
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:
112,84 |
 |
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:
113,99 |
 |
Algorithmen: Dieses Buch enthalt: Praktischer Leitfaden zum Erlernen von Algorithmen fur Anfanger + Entwurf von Algorithmen zum Loesen allgemeiner Probleme + Fortgeschrittene Datenstrukturen fur Algor
ISBN: 9781955786591 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
113,99 |
 |
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:
116,59 |
 |
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:
119,53 |
 |
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:
120,73 |
 |
Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979
ISBN: 9783540095118 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
120,73 |
 |
Stacs 84: Symposium of Theoretical Aspects of Computer Science Paris, April 11-13, 1984
ISBN: 9783540129202 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sponsored by AFCET (Association Francaise pour la Cybern; tique Economique et Technique) and GI (Gesellschaft fur Informatik)
Sponsored by AFCET (Association Francaise pour la Cybern; tique Economique et Technique) and GI (Gesellschaft fur Informatik)
|
cena:
120,73 |
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
