Як парость виноградної лози, плекайте мову 👉 UA
Книги
Книги на иностранных языках
Компьютерные и информационные технологии
Компьютерная наука / информатика
Компьютерная наука / информатика

Книги в жанре «Архитектура компьютера и логическое программирование» издательство «Cambridge University Press»

10 товаров
Cambridge University Press
Очистить все
Книги в жанре «Архитектура компьютера и логическое программирование» издательство «Cambridge University Press»
10 товаров
Бумажная книга «Proof Theory and Logic Programming: Computation as Proof Search», автор Дейл Миллер – фото №1
0
0
Proof Theory and Logic Programming: Computation as Proof Search
Дейл Миллер Дейл Миллер
4941 грн
Доставка c 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 грн
Доставка c 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 грн
Доставка c UK 15 дней
Бумажная книга «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
Лукас С. Осборн Лукас С. Осборн
Нет в наличии
Бумажная книга «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
Луиза А. Деннис Луиза А. Деннис, Майкл Фишер
Нет в наличии
Бумажная книга «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
Дэн Гасфилд Дэн Гасфилд
Нет в наличии
Бумажная книга «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
Амит Кумар Амит Кумар
Нет в наличии