1
Được phát hành 2006
Mục lục: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
lấy văn bản
Điện tử eBook
2
Được phát hành 2007
Mục lục: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
lấy văn bản
Điện tử eBook
3
Bằng Saeed, Walid
Được phát hành 2005
Những chủ đề: ...Programming language(Electronic computer)...
lấy văn bản
Luận văn
4
Bằng Saeed, Walid
Được phát hành 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
lấy văn bản
Luận văn
5
Được phát hành 2007
Mục lục: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
lấy văn bản
Điện tử eBook
6
Được phát hành 2008
Mục lục: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
lấy văn bản
Điện tử eBook
7
Được phát hành 2015
Mục lục: ... of the Conditional Tail Expectation of Heavy-tailed Distributions -- Erich Haeusler and Stefan Horni: On Sequential...
lấy văn bản
Điện tử eBook