Bagirov, Adil M., Gaudioso, Manlio., Karmitsa, Napsu., Mäkelä, Marko M., Taheri, Sona., SpringerLink (Online service)
Springer International Publishing : Imprint: Springer
|
International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles
Springer
|
WAE'99, Vitter, Jeffrey S., Zaloliagis, Christos D.
Springer
|
International Conference on Cryptology in Africa (3rd : 2010 : Stellenbosch, South Africa), Bernstein, Daniel J., Lange, …
Springer
|
International Workshop on Experimental and Efficient Algorithms, Jansen, Klaus
Springer
|
International Workshop on Theory and Applications of Graph Transformation, Ehrig, Hartmut, Engels, Gregor, Kreowski, …
Springer
|
<ED. BY> SKILLING, J.
KLUWER ACADMEIC PUB.
|
International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael …
Springer
|
Ferreira, Afonso, Rolim, José D. P.
Kluwer Academic Publishers
|
Lange, J., Siewert, J. Rüdiger (Jörg Rüdiger)
Springer
|
European Summer School in Logic, Language, and Information, Väänänen, J. (Jouko), 1950-
Springer
|
Ratledge, David., SpringerLink (Online service)
Springer London : Imprint: Springer
|