1
Bằng Johansson, Robert., Johansson, Robert.
Được phát hành 2015
Mục lục: ...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...
lấy văn bản
Điện tử eBook
2
Được phát hành 2006
Mục lục: ... for Global Optimization -- Disciplined Convex Programming -- Writing Global Optimization Software...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... Algorithm for the Strong Connectivity Augmentation Problem -- Integer and Mixed Integer Programming...
lấy văn bản
Điện tử eBook
4
Được phát hành 2015
Mục lục: ... Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries...
lấy văn bản
Điện tử eBook
5
Được phát hành 2008
Mục lục: ... Prototype Implementation of MPI for SMARTMAP -- Gravel: A Communication Library to Fast Path MPI -- Message...
lấy văn bản
Điện tử eBook
6
Được phát hành 2008
Mục lục: ... in the Presence of Large Object-Oriented Libraries -- An Adaptive Strategy for Inline Substitution -- Automatic...
lấy văn bản
Điện tử eBook
7
Bằng Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Được phát hành 2008
Mục lục: ... -- Graph Traversal -- Shortest Paths -- Minimum Spanning Trees -- Generic Approaches to Optimization....
lấy văn bản
Điện tử eBook
8
Được phát hành 2006
Mục lục: ...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...
lấy văn bản
Điện tử eBook
9
Bằng Green, Tom., Green, Tom., Dias, Tiago.
Được phát hành 2010
Mục lục: ...Learning the Flash CS5 Professional Interface -- Graphics in Flash CS5 -- Symbols and Libraries...
lấy văn bản
Điện tử eBook
10
Được phát hành 2005
Mục lục: ... Networks -- 5-Regular Graphs are 3-Colorable with Positive Probability -- Optimal Integer Alphabetic Trees...
lấy văn bản
Điện tử eBook
11
Được phát hành 2007
Mục lục: ... Data Path Prediction in Network Virtual Environment -- Modeling Inlay/Onlay Prostheses with Mesh...
lấy văn bản
Điện tử eBook
12
Được phát hành 2006
Mục lục: ... of “Augmenting Path” Algorithms in the Presence of Irrational Problem Data -- Dynamic Programming and Fast Matrix...
lấy văn bản
Điện tử eBook
13
Được phát hành 2008
Mục lục: ..., and Evaluation of a Network Monitoring Library -- Real-Time IP Checking and Packet Marking for Preventing ND-DoS...
lấy văn bản
Điện tử eBook
14
Mục lục: ...Introduction -- Resources -- Automatic software verification -- Post-silicon speed-path analysis...
lấy văn bản
Điện tử eBook
15
Được phát hành 2015
Mục lục: ... -- Optimization of Livestock Feed by Blend of Linear Programming and SOMGA -- Earthquake Data Sorting with Minimum...
lấy văn bản
Điện tử eBook
16
Được phát hành 2015
Mục lục: ...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...
lấy văn bản
Điện tử eBook
17
Đượ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
18
Được phát hành 2005
Mục lục: ... Answering to XQuery Expressions -- Optimizing Sorting and Duplicate Elimination in XQuery Path Expressions...
lấy văn bản
Điện tử eBook
19
Được phát hành 2007
Mục lục: ... and Their Limitations for Networking Applications -- A Low Cost Migration Path Towards Next Generation Fiber-To-The-Home...
lấy văn bản
Điện tử eBook
20
Được phát hành 2010
Mục lục: ... for Intelligent Multimodal HCI -- Constraint Satisfaction -- Optimization of Investment Options Using SQL -- A...
lấy văn bản
Điện tử eBook