-
Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 1988 : proceedingsVrsta gradiva - zbornikZaložništvo in izdelava - Berlin [etc.] : Springer, 1988Jezik - angleškiISBN - 3-540-19488-6; 0-387-19488-6COBISS.SI-ID - 163333
Drugi avtorji
Lepistö, Timo, 1937- |
Salomaa, Arto |
International Colloquium on Automata, Languages and Programming
Teme
programiranje |
programski jeziki |
avtomati |
algoritmi |
kriptografija |
semantika |
struktura podatkov |
baze znanja |
computability |
automata |
formal languages |
analysis of algorithms |
computational complexity |
data types |
data structures |
theory of data bases and knowledge bases |
semantics of programming languages |
program specification |
transformation and verification |
foundations of logic programming |
theory of logical design and layout |
parallel and distributed computation |
theory of concurrency |
symbolic and algebraic computation |
term rewriting systems |
cryptography |
theory of robotics
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
Centralna tehniška knjižnica Univerze v Ljubljani | 32987/317 Skladišče IN: 198801459 |
prosto - na dom, čas izposoje: 14 dni |
FMF in IMFM, Matematična knjižnica, Ljubljana | Skladišče-Jadranska 19 6415/317 |
prosto - na dom, čas izposoje: 1 mes. |
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Lepistö, Timo, 1937- | |
Salomaa, Arto |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.