International Conference on High Performance Computing, Banerjee, Prithviraj, Prasanna Kumar, V. K., Sinha, Bhabani P.
Springer
|
International Conference on Concurrency Theory, Baeten, Jos C.M., Mauw, Sjouke
Springer
|
SAS, Cortesi, Agostino, Filé, Gilberto
Springer
|
Bert, Didier, Choppy, C. (Christine), Mosses, Peter, International Workshop on Algebraic Development Techniques
Springer
|
International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael …
Springer
|
International Conference on Parallel Computing Technologies, Malyshkin, V. Ė. (Viktor Ėmmanuilovich)
Springer
|
DISC, Kutten, Shay
Springer
|
International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Zamulin, Alexandre V.
Springer
|
International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves
Springer
|
CRYPTO, Bellare, Mihir
Springer
|
International Workshops on Computer Science Logic, Conference of European Association for Computer Science Logic, Flum, …
Springer
|
International Conference on Concurrency Theory, Amadio, Roberto M., Lugiez, Denis
Springer
|