募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
28.9% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975
Springer-Verlag Berlin Heidelberg
Corrado Böhm (auth.)
,
Prof. C. Böhm (eds.)
calculus
defined
theorem
lemma
variables
function
induction
reduction
models
define
forms
partial
continuous
functions
programming
scott
typed
reductions
interpretation
finite
computation
replaceable
systems
combinators
yaz
consider
exists
fixed
proposition
definitions
urs
substitution
lattice
abstraction
n.d
recursive
operations
cases
combinatory
infinite
prove
remark
obtained
sets
arbitrary
combinator
element
h.n.f
corresponding
parameters
年:
1975
语言:
english
文件:
DJVU, 2.48 MB
您的标签:
0
/
0
english, 1975
2
COM高手心经 影印本=EFFECTUVE COM:50WAYS TO IMPROVE YOUR COM AND MTS-BASED APPLICATIONS
(美)博克斯(DON BOX)
hresult
client
interfaces
void
method
idl
iunknown
implementation
developers
effective
clients
uuid
11d1
error
exceptions
queryinterface
implement
consider
iperson
retval
singleton
item
lock
methods
technique
allow
idog
reference
apartment
succeeded
typeless
visual
functionality
icat
programming
proxy
trip
avoid
exception
trips
dispinterface
dual
events
ibird
pointer
compiler
throw
designed
function
getextent
年:
2003
语言:
chinese
文件:
PDF, 35.84 MB
您的标签:
0
/
0
chinese, 2003
3
(Gödel, Escher, Bach [An Eternal Golden Braid].djvu)
Mario
achilles
tortoise
meta
genie
wish
geometry
tonic
formal
interpretation
recursive
record
theorems
diagram
fancy
stack
djinn
lamp
rtn
theorem
figure
meanings
symbols
euclid
interpreted
key
itself
worlds
postulate
escher
euclidean
isomorphism
labyrinth
wishes
inconsistent
interpretations
node
popping
recursion
calls
consistent
dialogue
gédel
infinite
vibrations
implicit
inconsistency
strange
mathematics
phonograph
statements
语言:
english
文件:
PDF, 19.18 MB
您的标签:
0
/
4.0
english
4
The development of the C language
Bell Labs / Lucent Technologies
Dennis M. Ritchie
bcpl
pointer
unix
compiler
ritchie
bell
arrays
array
pdp
johnson
pointers
programming
compilers
declarations
programs
syntax
thompson
function
memory
operating
standard
kernighan
extensions
itself
library
machines
operators
x3j11
laboratories
mcilroy
multics
portability
algol
strings
integer
operations
procedures
structures
systems
assembler
existing
original
reference
richards
approach
containing
created
declaration
notation
version
年:
1993
语言:
english
文件:
PDF, 63 KB
您的标签:
0
/
0
english, 1993
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×