Název: |
formal Aspects of Computing
|
Zkrácený: |
FORMAL ASPECTS OF COMPUTING INTERNATIONAL JOURNAL OF FORMAL METHODS |
Zkrácený: |
FORM. ASP. COMPUT |
Zkrácený: |
FORM ASP COMPUT |
Alternativní: |
Formal Aspects of Computing |
ISSN: |
0934-5043 |
LCCN: |
00227046 |
CODEN: |
FACME5 |
Recenzováno:
|
Ano
|
|
Dostupnost: |
ACM Digital Library Complete
|
|
|
Dostupný od
1989/03/01
ročník: 1
číslo: 1
|
|
Dostupné pro: |
NTK |
|
Dostupnost: |
EZB-FREE-01824 free EZB journals Computer Science
|
|
|
Dostupný od
1989
ročník: 1
číslo: 1
|
|
|
Dostupnost: |
ProQuest Central
|
|
|
Dostupný od
2002/05/01
ročník: 13
číslo: 2
Do (včetně)
2019/01/31
|
|
Dostupné pro: |
NTK, ÚOCHB |
|
Dostupnost: |
SpringerLink Journals
|
|
|
Dostupný od
1997/01/01
ročník: 9
číslo: 1
|
|
Dostupné pro: |
NTK, ÚOCHB, VŠCHT |
|
Dostupnost: |
Technology Collection
|
|
|
Dostupný od
2002/05/01
ročník: 13
číslo: 2
Do (včetně)
2019/01/31
|
|
Dostupné pro: |
ÚOCHB |