Search Books

Applications of declarative pr... 手動新增

edited by Dietmar Seipel, Michael Hanus, Armin Wolf.

Springer Berlin Heidelberg

Applications of declarative pr... 手動新增

edited by Salvador Abreu, Dietmar Seipel.

Springer Berlin Heidelberg

Logic-based program synthesis ... 手動新增

edited by Michael Hanus.

Springer Berlin Heidelberg

High Performance Computing in ... 手動新增

edited by Wolfgang E. Nagel, Dietmar Kroner, Michael Resch.

Springer-Verlag

High performance computing in ... 手動新增

edited by Wolfgang E. Nagel, Dietmar B. Kroner and Michael Resch.

Springer Berlin Heidelberg

High performance computing in ... 手動新增

edited by Wolfgang E. Nagel, Dietmar B. Kroner, Michael M. Resch.

Springer-Verlag Berlin Heidelberg