Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024
Σχετικά με συγκέντρωση χρημάτων
αναζήτηση βιβλίων
βιβλία
Δωρεές:
32.1% έχει επιτευχθεί
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
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
Έτος:
1993
Γλώσσα:
english
Αρχείο:
DJVU, 1.51 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 1993
2
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation
Springer-Verlag Berlin Heidelberg
Anne Mulkers (auth.)
sharing
abstract
cshr
ashr
liveness
concrete
analysis
operation
_x
graph
variables
tgshift
unification
component
clause
environments
operations
edges
figure
interpretation
csharingjc
garbage
_z
csharing
nodes
substitution
asharingt
proj
proceedings
arity
programs
prolog
termshift
function
lemma
graphs
structures
alivet
input
programming
defined
ico
consider
node
components
prove
tgenvconc
safety
algorithm
convert
Έτος:
1993
Γλώσσα:
english
Αρχείο:
PDF, 9.83 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 1993
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×