בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
intersections computing » interaction computing, interneurons computing, intersections rotating
computing proceeding » computing proceedings, computing providing, computing protecting
programs functionals » programs functional, programming functionals, program functionality
proceeding programs » processing programs, proceedings program, breeding programs
functionals https » functions https, function https, functionals hints
1
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2015
תוכן הענינים: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
3
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
4
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
5
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
6
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
7
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
8
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
9
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
10
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
11
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
12
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
13
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
14
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
15
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
16
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
17
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
18
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
19
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
20
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש