SAS, Cortesi, Agostino, Filé, Gilberto
Springer
|
Cousot, Radhia, Schmidt, David A., SpringerLink (Online service)
Springer-Verlag
|
International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael
Springer
|
Cousot, Radhia., Schmidt, David A., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
International Workshops on Computer Science Logic, Conference of European Association for Computer Science Logic, Flum, …
Springer
|
SAS, Levi, Giorgio, 1942-
Springer
|
Hermenegildo, Manuel, Penjam, Jaan, SpringerLink (Online service)
Springer-Verlag
|
International Conference on High Performance Computing, Banerjee, Prithviraj, Prasanna Kumar, V. K., Sinha, Bhabani P.
Springer
|
Hermenegildo, Manuel., Penjam, Jaan., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael …
Springer
|
International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955-
Springer-Verlag
|
Workshop Theoretical Foundations of Computer Vision, Klette, Reinhard, Huang, Thomas S., 1936-, Gimelʹfarb, Georgiĭ …
Springer, c2001
|