-
Formal Methods in Software and Systems Modeling [Elektronski vir] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th BirthdayVrsta gradiva - e-knjiga ; neleposlovje za odrasleZaložništvo in izdelava - Berlin ; Heidelberg : Springer, 2005Jezik - angleškiISBN - 978-3-540-31847-7COBISS.SI-ID - 31327493
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
Kreowski, Hans-Jörg |
Montanari, Ugo |
Orejas, Fernando |
Rozenberg, Grzegorz |
Taentzer, Gabriele |
SpringerLink |
Online service
Zbirka
Lecture Notes in Computer Science
Teme
Computational complexity |
Computer science |
Logic design |
Software engineering |
Computation by Abstract Devices |
Discrete Mathematics in Computer Science |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
Programming Languages, Compilers, Interpreters
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.
ponedeljek-sreda od 8.-16. ure,
četrtek od 8-19. ure,
petek od 8-14. ure.
Veselimo se vašega obiska!
Več informacij o knjižnici lahko preberete na naslovu https://pf.um.si/knjiznica/