Julien schmaltz (32 risultati)

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback. Condizione: New. 1st ed. 2021. This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. In keeping with this integrated and graduated approach, the authors then explain the relationship to first assembly programming, then higher-level languages, and finally computer organisation. Authors use the Raspberry Pi and ARM microprocessors for their explanationsThe material has been extensively class tested at TU Eindhoven by an experienced team of lecturers and researchers. This is a modern, holistic treatment of well-established topics, valuable for undergraduate students of computer science and electronics engineering and for self-study. The authors use the Raspberry Pi and ARM microprocessors for their explanations.…

Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

Condizione: New.

Condizione: New.

Condizione: New.

Paperback. Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Paperback or Softback. Condizione: New. Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings. Book.

Condizione: As New. Unread book in perfect condition.

paperback. Condizione: LikeNew. Used Like New, no missing pages, no damage to binding, may have a remainder mark.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: New. 2011th. This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.…

Paperback. Condizione: New.

Paperback. Condizione: Brand New. 265 pages. 9.25x6.10x0.63 inches. In Stock.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. In keeping with this integrated and graduated approach, the authors then explain the relationship to first assembly programming, then higher-level languages, and finally computer organisation.Authors use the Raspberry Pi and ARM microprocessors for their explanationsThe material has been extensively class tested at TU Eindhoven by an experienced team of lecturers and researchers. This is a modern, holistic treatment of well-established topics, valuable for undergraduate students of computer science and electronics engineering and for self-study. The authors use the Raspberry Pi and ARM microprocessors for their explanations.…

Condizione: New. In English.

Condizione: As New. Unread book in perfect condition.

Condizione: New. Authors present a holistic view of these related hardware and software technologiesMaterial has been extensively class tested at TU Eindhoven by experienced lecturers and researchersValuable for underg.

Paperback. Condizione: Brand New. 394 pages. 9.20x6.10x0.90 inches. In Stock.

Paperback. Condizione: New. 1st ed. 2021. This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. In keeping with this integrated and graduated approach, the authors then explain the relationship to first assembly programming, then higher-level languages, and finally computer organisation. Authors use the Raspberry Pi and ARM microprocessors for their explanationsThe material has been extensively class tested at TU Eindhoven by an experienced team of lecturers and researchers. This is a modern, holistic treatment of well-established topics, valuable for undergraduate students of computer science and electronics engineering and for self-study. The authors use the Raspberry Pi and ARM microprocessors for their explanations.…

Paperback. Condizione: New. 2011th. This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.…

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 382 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condizione: new. Questo è un articolo print on demand.