1
Được phát hành 2013
Mục lục: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
lấy văn bản
Điện tử eBook
2
Được phát hành 2007
Mục lục: ...Workflow Tools -- Programming Paradigms for Scientific Problem Solving Environments -- Why...
lấy văn bản
Điện tử eBook