Bağış 15 Eylül 2024 – 1 Ekim 2024
Bağış toplama hakkında
kitap ara
kitaplar
Bağış:
58.4% ulaştı
Giriş yap
Giriş yap
giriş yapıldıktan sonra kullanıcılar aşağıdakileri kullanılabilir:
kişisel Tavsiyeler
Telegram botu
indirme geçmişi
E-posta'ya veya Kindle'e gönder
koleksiyon yönetimi
favorilere kaydet
Kişisel
Kitap istekleri
Keşfet
Z-Recommend
Kitap seçimi
En popüler
Kategoriler
Bağış
Destekle
Yüklenilenler
Litera Library
Kağıt kitapları bağış yapın
Basılı kitaplar ekleyin
Search paper books
Benim LITERA Point
Anahtar kelime araması
Main
Anahtar kelime araması
search
1
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Springer-Verlag Berlin Heidelberg
Herbert Stoyan (auth.)
setq
progn
axiom
cond
gemäß
prog
expr
statement
fcond
goto
iaci
pstat
xaci
anwendung
formk
variablen
beweis
zuweisungen
stufe
iac1
axiome
lemma
vark
ispi
regeln
rac2
statements
siehe
lisp
rac1
cexpr
formen
lexpr
regelanwendung
seiten
argument
compiler
transformieren
bzw
it1
wert
funktion
tritt
ausdrücke
rac3
argumente
beweisen
lambda
stehende
sts
Yıl:
1984
Dil:
german
Dosya:
PDF, 6.83 MB
Etiketleriniz:
0
/
0
german, 1984
2
Topologically stable defects and solitons in ordered media
Harwood Academic Publishers
V.P. Mineev
defects
parameter
so3
surface
degeneracy
3he
homotopy
sphere
solitons
contours
contour
linear
vector
superfluid
nematic
mapping
dimensional
figure
rotation
vortex
mineev
consequently
crystal
groups
phys
stable
circulation
coordinate
spaces
spin
axis
fcond
barrier
magnetic
coalescence
continuous
fundamental
jc2
phases
relative
topologically
crystals
topology
distances
multiplication
planar
vortices
classification
deformation
homotopic
Yıl:
1998
Dil:
english
Dosya:
DJVU, 751 KB
Etiketleriniz:
0
/
0
english, 1998
3
Webブラウザ自作してみた【Hello, world!編】 (技術の泉シリーズ(NextPublishing))
インプレスR&D
ヒスねこ
node
buf
char
node_t
タグ
content
define
strcmp
リスト
parent
target_height
width
add_node
ブラウザ
height
析
bufc
matrix
printf
void
描
fcolor
フォント
fcond
sort_tag
bitmap
memset
unsigned
cond
draw_text
サポート
find_tag
スペース
ツリー
cmd
ノード
draw_box
main.c
solve_node
url
angle
bgcolor
buffer
cont
font_ptscale
freetype
ft_int
parser.c
pen.x
pen.y
Yıl:
2021
Dil:
japanese
Dosya:
PDF, 2.73 MB
Etiketleriniz:
0
/
5.0
japanese, 2021
4
Interactive Multi-Objective Programming as a Framework for Computer-Aided Control System Design
Springer-Verlag Berlin Heidelberg
Wai-Yin Ng (eds.)
o.ooe
designer
indices
search
efficient
methods
cacsd
bounds
approach
method
formulation
imop
optimization
function
step
interactive
sample
objective
subset
effort
vector
ooe
active
initial
values
algorithm
candidate
decision
programming
strategy
tools
candidates
objectives
designs
parameters
wishes
controller
feasible
framework
interaction
solution
controllers
response
polytope
specifications
systems
groups
offs
linear
procedures
Yıl:
1989
Dil:
english
Dosya:
PDF, 2.65 MB
Etiketleriniz:
0
/
0
english, 1989
1
Bu bağlantıyı
takip edin veya Telegram'da @BotFather botunu arayın
2
Ona /newbot gönder
3
Botunuz için bir ad girin
4
Bot için kullanıcı adını belirtin
5
BotFather'dan gelen son mesajı kopyalayın ve buraya yapıştırın
×
×