בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
proceeding programmed » processing programmed, breeding programmes, breeding programme
programmed constructs » programming constructs, programme contract, programmed instructions
computing proceeding » computing proceedings, computing providing, computing protecting
interval computing » intervals comparing, internet computing, interval counting
constructs https » construction https, constructs loops, constructs arti
proceeding programmed » processing programmed, breeding programmes, breeding programme
programmed constructs » programming constructs, programme contract, programmed instructions
computing proceeding » computing proceedings, computing providing, computing protecting
interval computing » intervals comparing, internet computing, interval counting
constructs https » construction https, constructs loops, constructs arti
1
יצא לאור 2013
תוכן הענינים:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2006
תוכן הענינים:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2014
תוכן הענינים:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים:
“...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים:
“... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2014
תוכן הענינים:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2007
תוכן הענינים:
“... of Propositional Interval Neighborhood Logics -- Reasoning About Sequences of Memory States -- Cut Elimination...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2007
תוכן הענינים:
“... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים:
“... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2015
תוכן הענינים:
“... of Twentieth-Century Harmony -- Utilizing Computer Programming to Analyze Post-Tonal Music: Contour Analysis...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים:
“... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2006
תוכן הענינים:
“... Data -- Subdivision Depth Computation for Extra-Ordinary Catmull-Clark Subdivision Surface Patches...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני