» książki » Computers - Logic Design
topmenu
 |
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,33 |
 |
The Domain Theory in Computer Science
ISBN: 9781774694404 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
729,76 |
 |
Logic and Language Models for Computer Science (Fourth Edition)
ISBN: 9789811260667 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.
This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applicati...
|
cena:
538,76 |
 |
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
ISBN: 9783030878849 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal...
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book...
|
cena:
241,50 |
 |
Introduzione al Progetto di Sistemi Digitali
ISBN: 9788847040250 / Włoski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Il testo, giunto alla sua seconda edizione, è concepito per studenti di un primo corso di reti logiche nelle Facoltà di Ingegneria e di Scienze. Il testo fornisce una solida conoscenza delle basi teoriche delle reti logiche. Parte dall’algebra booleana e dell'aritmetica binaria e, passando per le reti sequenziali e le macchine a stati finiti, accompagna i lettori nella progettazione e simulazione di sistemi formati da controllore e datapath. Questa nuova versione è arricchita da un capitolo che introduce ai componenti FPGA, ai linguaggi HDL e alla realizzazione di prototipi su scheda...
Il testo, giunto alla sua seconda edizione, è concepito per studenti di un primo corso di reti logiche nelle Facoltà di Ingegneria e di Scienze. Il ...
|
cena:
154,79 |
 |
Next Generation Arithmetic: 4th International Conference, Conga 2023, Singapore, March 1-2, 2023, Proceedings
ISBN: 9783031321795 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
221,37 |
 |
Speichereffizienter Aufbau Von Bin?ren Entscheidungsdiagrammen
ISBN: 9783658431204 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
225,72 |
 |
Exploring Alternate Realities Through Parallel Worlds
ISBN: 9788196782580 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,19 |
| |
Logical Foundations of Computer Science (in 2 Volumes)
ISBN: 9789811289361 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
2032,56 |
| |
Grise Bouille, Tome VI
ISBN: 9782493727206 / Francuski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
81,53 |
 |
Reversible Computation: 16th International Conference, Rc 2024, Toruń, Poland, July 4-5, 2024, Proceedings
ISBN: 9783031620751 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
330,96 |
 |
Principles of Verilog Digital Design
ISBN: 9781032034133 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
298,71 |
 |
Next Generation Arithmetic: 5th International Conference, Conga 2024, Sydney, Nsw, Australia, February 20-21, 2024, Proceedings
ISBN: 9783031727085 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Global Optimization, Computation, Approximation and Applications
ISBN: 9789819802067 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
979,55 |
 |
Digital Design Using Veriloghdl: VLSI Modeling, Coding and Verification
ISBN: 9780443290886 / Angielski / 01-04-2026 Książka dostępna od: 01-04-2026 |
|
Termin ukazania się książki: 01-04-2026
Książkę można już zamówić z rabatem 5% |
|
818,45 |
| |
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:
60,65 |
| |
Creating AI Agents: Utilizing the LangGraph framework
ISBN: 9798308499077 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
101,12 |
 |
Quantum-Dot Cellular Automata Circuits for Nanocomputing Applications
ISBN: 9781032421957 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
259,53 |
 |
Reversible Computation: 17th International Conference, Rc 2025, Odense, Denmark, July 3-4, 2025, Proceedings
ISBN: 9783031970627 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
233,45 |
 |
Rechnerarchitektur Grundlagen
ISBN: 9783819274718 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
157,40 |
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
