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ế:
intersections computing » interaction computing, interneurons computing, intersections rotating
proceedings program » proceedings from
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
intersections computing » interaction computing, interneurons computing, intersections rotating
proceedings program » proceedings from
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Được phát hành 2006
Mục lục:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2015
Mục lục:
“... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2008
Mục lục:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2010
Mục lục:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2007
Mục lục:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2010
Mục lục:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2010
Mục lục:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2010
Mục lục:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2005
Mục lục:
“... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2014
Mục lục:
“... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2007
Mục lục:
“... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2007
Mục lục:
“... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”lấy văn bản
Điện tử
eBook
13
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Được phát hành 2006
Mục lục:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2014
Mục lục:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2008
Mục lục:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2008
Mục lục:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2007
Mục lục:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2010
Mục lục:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”lấy văn bản
Điện tử
eBook
19
Được phát hành 2007
Mục lục:
“... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2014
Mục lục:
“... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”lấy văn bản
Điện tử
eBook
- 1
- 2
- Tiếp theo »
- [2]