| Titre Périodique | ISSN | Etat de Collection | Lacunes |
|---|---|---|---|
| Journal of the Association for Computing Machinery | 0004-5411 |
Vol. 2
(1955)
-
Vol. 66
n° 6
(2019)
|
(1971)
(1991) (2010) |
| Journal of automated reasoning | 0168-7433 |
Vol. 1
(1985)
-
Vol. 59
n° 4
(2017)
|
|
| Journal of computer and system sciences | 0022-0000 |
Vol. 1
n° 1
(1967)
-
Vol. 62
n° 2
(2001)
|
|
| Journal of visual languages and computing Unica | 1045-926X |
Vol. 1
n° 1
(1990)
-
Vol. 7
n° 1
(1996)
|
Vol. 1
n° 2
(1990)
|
| Journal of mathematical fluid mechanics | 1422-6928 |
Vol. 1
n° 1
(1999)
-
Vol. 1
n° 4
(1999)
|
|