-
Recent Trends in Algebraic Development Techniques [Elektronski vir] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected PapersVrsta gradiva - zbornik ; neleposlovje za odrasleZaložništvo in izdelava - Berlin ; Heidelberg : Springer, 2007Jezik - angleškiISBN - 978-3-540-71998-4COBISS.SI-ID - 32840965
Povezava(-e):
SpringerLink e-books 2005-2007Celotno besedilo dostopno za uporabnike SpringerLink slovenskega konzorcija neprofitnih institucij: UL, UM, UNG, UP, KI, IJS, OILJ, ZRC SAZU, SBCE, UKCMB, KIS.
Full text accessible to the users of SpringerLink Slovenian Consortium of Non-Profit Institutions UL, UM, UNG, UP, KI, IJS, OILJ, ZRC SAZU, SBCE, UKCMB, KIS.
DOI
Drugi avtorji
Fiadeiro, José Luiz |
Schobbens, Pierre-Yves |
SpringerLink |
Online service
Zbirka
Lecture Notes in Computer Science
Teme
Algebra |
Data processing |
Computer science |
Logic design |
Software engineering |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
Symbolic and Algebraic Manipulation
![loading ... loading ...](themes/default/img/ajax-loading.gif)
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 |
---|
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.