logo
标签名: 计算机科学
软件配置管理中的模式与反模式
出版日期: 2004-01
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
出版日期: 2004-01
隐喻的逻辑: 可能世界中的类比
出版日期: 2009-01
数理逻辑是什么
出版日期: 2018-01
思维规律的研究
出版日期: 2016-01
Lambda-Calculus and Combinators: An Introduction
出版日期: 2008-01
Proofs and Types
出版日期: 1989-01

Proofs and Types

评分: 0.0
逻辑·语言·计算(马希文文选)
出版日期: 2003-01
数学.计算.逻辑
出版日期: 1993-01
Reverse Engineering for Beginners
出版日期: 2016-01
Windows内核安全编程从入门到实践: Windows内核安全编程从入门到实践
出版日期: 2012-01
Learning CoreDNS: Configuring DNS for Cloud-Native Environments
出版日期: 2019-01
软件构架编档
出版日期: 2003-01
ZBrush数字雕刻: 人体结构解析
出版日期: 2011-01
ADOBE AFTER EFFECTS CS6标准培训教材
出版日期: 2013-01
程序设计基础: 从问题到程序(第2版)/高等学校计算机基础教育规划教材
出版日期: 2016-01
Algorithms and Data Structures in Action
出版日期: 2020-01
轻量级Java EE企业应用实战(第5版): Struts 2+Spring 5+Hibernate 5/JPA 2整合开发
出版日期: 2018-01
API Security in Action
出版日期: 2020-01
Google App Engine开发: Google App Engine开发
出版日期: 2010-01
计算机程序的构造和解释(原书第2版): 典藏版
出版日期: 2019-01
联邦学习
出版日期: 2020-01

联邦学习

评分: 0.0
The Art of Doing Science and Engineering: Learning to Learn
出版日期: 2020-01
Chaos Engineering: Crash test your applications
出版日期: 2021-01