Titre Périodique | ISSN | Etat de Collection | Lacunes |
---|---|---|---|
Finite fields and their applications PCMath - Colref | 1071-5797 |
Vol. 1
n° 1
(1995)
-
Vol. 17
n° 6
(2011)
|
|
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)
->
|
|
Formalized Mathematics Unica | 1426-2630 |
Vol. 5
n° 1
(1996)
-
Vol. 6
n° 3
(1997)
|
|
Forum mathematicum PCMath - Colref | 0933-7741 |
Vol. 1
n° 1
(1989)
->
|
|
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) |
Fundamenta Mathematicae PCMath - Colref | 0016-2736 |
Vol. 1
n° 1
(1920)
->
|
Vol. 166
(2000)
Vol. 181,182,183,184 (2004) Vol. 189 (2005) Vol. 191,192 (2006) |
Fundamentalʹnaâ i prikladnaâ matematika Unica | 1560-5159 |
Vol. 5
(1999)
|
|
Funkcialaj Ekvacioj PCMath - Colref | 0532-8721 |
Vol. 2
n° 1
(1959)
->
|
Vol. 19
(1976)
|
Future generation computer systems Unica | 0167-739X |
Vol. 1
n° 1
(1984)
->
|
|