International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles
Springer
|
Eiben, Agoston E., Conference on Parallel Problem Solving from Nature
Springer
|
International EURO-PAR Conference, Amestoy, Patrick
Springer
|
DISC, Kutten, Shay
Springer
|
International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael …
Springer
|
Workshop on Languages and Compilers for Parallel Computing, Chatterjee, Siddhartha
Springer
|
International Conference on Concurrency Theory, Gardner, Philippa, Yoshida, Nobuko
Springer
|
International Conference on Concurrency Theory, Amadio, Roberto M., Lugiez, Denis
Springer
|
International Parallel Processing Symposium, Symposium on Parallel and Distributed Processing, Rolim, José
Springer
|
Workshop on Languages, Compilers and Run-Time Systems for Scalable Computers, O'Hallaron, David Richard
Springer
|
International Conference on Parallel Computing Technologies, Malyshkin, V. Ė. (Viktor Ėmmanuilovich)
Springer
|
International EURO-PAR Conference, Lengauer, Christian, Griebl, Martin, Gorlatch, Sergei
Springer
|