pretraga knjiga
knjige
Donirati
Prijaviti se
Prijaviti se
prijavljenim korisnicima su dostupni:
lične preporuke
Telegram bot
istorija preuzimanja
poslati na Email ili Kindle
upravljanje zbirkama
sačuvanje u izabrano
Lično
Upite za knjige
Proučavanje
Z-Recommend
Spiskovi knjiga
Najpopularnije
Kategorije
Učešće
Donirati
Otpremanja
Litera Library
Donirati papirne knjige
Dodati papirne knjige
Search paper books
Moj LITERA Point
Pretraga ključnih reči
Main
Pretraga ključnih reči
search
1
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation
Springer-Verlag Berlin Heidelberg
Anne Mulkers (auth.)
sharing
abstract
cshr
analysis
liveness
concrete
operation
graph
aliver
variables
ashr
tgshift
environments
unification
component
clause
operations
edges
figure
csharing
lemma
interpretation
arity
icin
garbage
icout
termshift
substitution
proceedings
_z
nodes
transitiveclosure
prolog
programs
asharingr
icaii
ashrr
function
graphs
safety
programming
proj
input
structures
clive
primitive
liveclosure
listone
vars
defined
Godina:
1993
Jezik:
english
Fajl:
DJVU, 1.51 MB
Vaši tagovi:
0
/
0
english, 1993
2
Power programming with Mathematica (program code)
Wagner D.B.
input
preserveaspect
holdform
inactive
cellgroupdata
subsubsection
fontcolorblue
output
endgroup
startgroup
function
cclosed
initializationcell
courier
stylebox
findglobals
fontfamily
fontweight
uncertain
dependson
programming
contextfilter
parse
symbols
evaluate
outputformdata
wagner
module
stdlink
mathematica
initialization
nbits
mathlink
expr
version
context
global
sym
textdata
factorization
expandfactorization
fontcolor
fontset
lhs
rgbcolor
usage
bits
arguments
exclude
char
Jezik:
english
Fajl:
RAR, 55 KB
Vaši tagovi:
0
/
0
english
3
Power Programming With Mathematica: The Kernel, with code
Mcgraw-Hill (Tx)
David B. Wagner
input
cellgroupdata
preserveaspect
programming
wagner
mathematica
subsubsection
kernel
companies
holdform
inactive
function
fontcolor
fontcolorblue
rgbcolor
output
endgroup
startgroup
cclosed
initializationcell
courier
stylebox
findglobals
fontfamily
fontweight
uncertain
dependson
smalltext
parse
contextfilter
evaluate
module
symbols
outputformdata
stdlink
nbits
version
initialization
mathlink
expr
sym
textdata
global
arguments
context
factorization
lhs
expandfactorization
fontset
mlink
Godina:
1996
Jezik:
english
Fajl:
RAR, 44.50 MB
Vaši tagovi:
0
/
0
english, 1996
1
Idite na
ovaj link
ili potražite bota „@BotFather“ u Telegramu
2
Pošaljite komandu /newbot
3
Navedite ime za svog bota
4
Navedite korisničko ime za bota
5
Kopirajte poslednju poruku od BotFather i ubacite je ovde
×
×