Книжки
Книги іноземними мовами
Комп’ютерні та інформаційні технології
Комп’ютерна наука / інформатика
Комп’ютерна наука / інформатика

Архітектура комп’ютера та логічне програмування

11 товарів
Cambridge University Press
Очистити все
Архітектура комп’ютера та логічне програмування
11 товарів
Паперова книга «Proof Theory and Logic Programming: Computation as Proof Search», автор Дейл Міллер – фото №1
0
0
Proof Theory and Logic Programming: Computation as Proof Search
Дейл Міллер Дейл Міллер
4941 грн
Доставка з UK 15 днів
Паперова книга «Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More», автор Ден Гасфілд – фото №1
0
0
Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More
Ден Гасфілд Ден Гасфілд
2305 грн
Доставка з UK 15 днів
Паперова книга «The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning», автор Катаріна Дутіль Новаес – фото №1
0
0
The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning
Катаріна Дутіль Новаес Катаріна Дутіль Новаес
2224 грн
Доставка з UK 15 днів
Паперова книга «Introduction to Homotopy Type Theory», автор Егберт Рійке – фото №1
0
0
Introduction to Homotopy Type Theory
Егберт Рійке Егберт Рійке
Немає в наявності
Паперова книга «Fast Techniques for Integrated Circuit Design», автор Мікаель Сахрлінг – фото №1
0
0
Fast Techniques for Integrated Circuit Design
Мікаель Сахрлінг Мікаель Сахрлінг
Немає в наявності
Паперова книга «3D Printing and Intellectual Property», автор Лукас С. Осборн – фото №1
0
0
3D Printing and Intellectual Property
Лукас С. Осборн Лукас С. Осборн
Немає в наявності
Паперова книга «Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More», автор Ден Гасфілд – фото №1
0
0
Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More
Ден Гасфілд Ден Гасфілд
Немає в наявності
Паперова книга «Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines», авторів Луїза А. Денніс, Майкл Фішер – фото №1
0
0
Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines
Луїза А. Денніс Луїза А. Денніс, Майкл Фішер
Немає в наявності
Паперова книга «Mathematical Logic and Computation», автор Джеремі Авігад – фото №1
0
0
Mathematical Logic and Computation
Джеремі Авігад Джеремі Авігад
Немає в наявності
Паперова книга «Model Checking Quantum Systems: Principles and Algorithms», автор Юань Фен – фото №1
0
0
Model Checking Quantum Systems: Principles and Algorithms
Юань Фен Юань Фен
Немає в наявності
Паперова книга «Design and Analysis of Algorithms: A Contemporary Perspective», автор Аміт Кумар – фото №1
0
0
Design and Analysis of Algorithms: A Contemporary Perspective
Аміт Кумар Аміт Кумар
Немає в наявності