| Titre Périodique | ISSN | Etat de Collection | Lacunes |
|---|---|---|---|
| Formal aspects of computing Unica | 0934-5043 |
Vol. 1
n° 1
(1989)
-
Vol. 14
n° 4
(2003)
|
|
| Formal methods in system design Unica | 0925-9856 |
Vol. 18
n° 1
(2001)
->
|
|
| Fundamenta informaticae | 0169-2968 |
Vol. 9
n° 1
(1986)
->
|
Vol. 40
n° 1,2,3
(1999)
Vol. 55 n° 2,3,4 (2003) Vol. 58 n° 1 (2003) Vol. 62 n° 2 (2004) Vol. 65 n° 3,4 (2005) Vol. 66 n° 1,2 (2005) Vol. 67 n° 4 (2005) Vol. 69 n° 1,2 (2006) Vol. 70 n° 3 (2006) Vol. 71 n° 2,3 (2006) Vol. 93 n° 1,2,3 (2009) Vol. 97 n° 4 (2009) Vol. 98,99 (2009-10) Vol. 125,126 (2013) Vol. 133 n° 2,3 (2014) Vol. 136,137,138 (2014-15) Vol. 139 n° 1 (2015) Vol. 150 n° 3 (2017) Vol. 151 (2017) |
| Fundamentalʹnaâ i prikladnaâ matematika Unica | 1560-5159 |
Vol. 5
(1999)
|
|
| Future generation computer systems Unica | 0167-739X |
Vol. 1
n° 1
(1984)
->
|
|