for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan leveres før jul.
This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer... Læs mere
Bemærk: Kan ikke leveres før jul.
In this introductory text, the fundamental algorithms of numerical linear algebra are developed in a parallel context. Topics include direct... Læs mere
Bemærk: Kan ikke leveres før jul.
Presents a new approach to formal languages, in particular but not exclusively as used in logic. Focuses on their cognitive impact on... Læs mere
Bemærk: Kan ikke leveres før jul.
This book provides students with a system-level perspective and the tools they need to understand, analyze and design complete digital systems using Verilog. It goes... Læs mere
Bemærk: Kan ikke leveres før jul.
This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of... Læs mere
Bemærk: Kan ikke leveres før jul.
A valuable text in the field of computer science and engineering, covering fundamental concepts and recent advancements. To help the reader to design/redesign algorithms for their requirements rather than be overawed by the challenges of a new framework.