Booksee.org
Главная →
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Популярные книги за неделю:
Только что пользователи скачали эти книги:
#4
AVR-RISC микроконтроллеры: архитектура, аппаратные ресурсы, система команд, программирование, применение. (AVR-RISC Microcontroller: Architektur, Hardware-Ressourcen, Befehlsvorrat, Programmierung, Applikationen)
Трамперт Вольфганг, Перевод с немецкого: В.П.Репало, В.И.Кириченко, Ю.А.Шпак.
|
