Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
1
Được phát hành 2005
Mục lục:
“... -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -- Normal Forms...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2008
Mục lục:
“... Highly Flexible Data Structure for Multi-level Visibility of P2P Communities -- Mathematical Performance...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2008
Mục lục:
“... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2007
Mục lục:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2005
Mục lục:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”lấy văn bản
Điện tử
eBook