International Symposium on Design and Implementation of Symbolic Computation Systems, Miola, A. (Alfonso), 1944-, …
Springer-Verlag
|
IFIP WG 9.1 Working Conference on Systems Design for, with, and by the Users (1982 : Riva del Sole, Italy), Briefs, …
North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
|
International Symposium on Design and Implementation of Symbolic Computation Systems, Miola, A. (Alfonso), 1944-
Springer-Verlag
|
International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-, Pfalzgraf, Jochen
Springer
|
International Symposium on Design and Implementation of Symbolic Computation Systems, Fitch, John, 1945-
Springer-Verlag
|
IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Kumar, …
Springer
|
International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-
Springer-Verlag
|
ADBIS, Litwin, W. (Witold), 1946-, Morzy, Tadeusz, 1954-, Vossen, Gottfried
Springer
|
International Conference AISC, Calmet, Jacques, 1941-, Plaza, Jan
Springer
|
TACAS, Graf, Susanne, Schwartzbach, Michael I, European Conferences on Theory and Practice of Software
Springer
|
International Symposium ISSAC, Gianni, Patrizia, 1952-, AAECC
Springer-Verlag
|
Calmet Jaques, Wang Dongming, Ida Tetsuo, SpringerLink (Online service)
Springer-Verlag GmbH.
|