寄付 2024年9月15日 – 2024年10月1日
募金について
本の検索
本
寄付:
55.6% 完了
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
The Diffusion Handbook: Applied Solutions for Engineers
Mcgraw-hill
R.K. Michael Thambynayagam
ξn
ξm
ηz
ξl
ηr
ξn2
ϕ
ξl2
ξr
λ2
ξa
mȯ
λ0
φct
2π
ηy
ηx
dτ
ȯ
θ0
θ3
πd
jmȯ
equation
ψ0
vdm
ψa
λ20
st0
4ηz
λd
λ2d
λa
positive
λjm
λj
ψb
dvdu
erf
cosh
θ2
λb
diffusion
j12
vd0
λj0
roots
handbook
successive
λp
年:
2011
言語:
english
ファイル:
PDF, 37.95 MB
あなたのタグ:
0
/
4.5
english, 2011
2
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings
Springer-Verlag Berlin Heidelberg
Andreas Abel (auth.)
,
Martin Hofmann (eds.)
calculus
definition
category
lemma
defined
function
reduction
define
proposition
variables
theorem
pcf
abstract
typed
categories
first
typing
λµ
induction
linear
prove
functions
functor
τi
interpretation
unary
array
computation
programming
inductive
parameterized
models
arrays
fixed
consider
structures
recursive
λjm
polynomial
universal
context
logical
operators
finite
abstraction
cartesian
nets
springer
fully
programs
年:
2003
言語:
english
ファイル:
PDF, 2.44 MB
あなたのタグ:
0
/
0
english, 2003
3
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings
Springer-Verlag Berlin Heidelberg
Andreas Abel (auth.)
,
Martin Hofmann (eds.)
calculus
definition
category
lemma
defined
function
reduction
define
proposition
variables
theorem
pcf
abstract
typed
categories
first
typing
λµ
induction
linear
prove
functions
functor
τi
interpretation
unary
array
computation
programming
inductive
parameterized
models
arrays
fixed
consider
structures
recursive
polynomial
universal
λjm
context
logical
operators
finite
abstraction
cartesian
nets
springer
fully
programs
年:
2003
言語:
english
ファイル:
PDF, 4.94 MB
あなたのタグ:
0
/
0
english, 2003
4
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Springer-Verlag Berlin Heidelberg
Robin Adams (auth.)
,
Stefano Berardi
,
Mario Coppo
,
Ferruccio Damiani (eds.)
calculus
inductive
theorem
induction
lemma
defined
ype
function
subtyping
mixin
reduction
coq
definition
first
logical
formal
typed
systems
context
linear
variables
models
proofs
framework
typing
programming
method
prove
consider
functions
rewriting
constructor
prod
coercions
syntax
dependent
proposition
springer
definitions
define
ᾱ
assume
functor
methods
algorithm
matching
predicate
forms
polynomial
recursive
年:
2004
言語:
english
ファイル:
PDF, 3.44 MB
あなたのタグ:
0
/
0
english, 2004
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×