Εναλλακτικές αναζητήσεις:
integration control » interaction control, interactions control, integrated control
program computing » program comparing, programs compiling, problem computing
control program » control programs, control programmes, control problem
program program » programs program, programming program
https » http
1
Έκδοση 2014
Πίνακας περιεχομένων: ...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
ανά Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Έκδοση 2005
Θέματα: ...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
ανά Bradley, Aaron R., Bradley, Aaron R.
Έκδοση 2011
Πίνακας περιεχομένων: ...Chap. 1, Memory: The Stack -- Chap. 2, Control -- Chap. 3, Arrays and Strings -- Chap. 4, Debugging...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2006
Πίνακας περιεχομένων: ... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2005
Πίνακας περιεχομένων: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2005
Πίνακας περιεχομένων: ... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2007
Πίνακας περιεχομένων: ... -- Solving a Stochastic Queueing Control Problem with Constraint Programming -- Constrained Clustering Via...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2013
Πίνακας περιεχομένων: ... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2013
Πίνακας περιεχομένων: ... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2005
Πίνακας περιεχομένων: ...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2007
Πίνακας περιεχομένων: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2008
Πίνακας περιεχομένων: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2010
Πίνακας περιεχομένων: ...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2011
Πίνακας περιεχομένων: ...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2005
Πίνακας περιεχομένων: ... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2014
Πίνακας περιεχομένων: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2010
Πίνακας περιεχομένων: ...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2007
Πίνακας περιεχομένων: ... -- Integration of Learning and Reasoning Techniques -- Injecting Life with Computers -- Special Issue Extended...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2008
Πίνακας περιεχομένων: ...Integration of Insect-Resistant Genetically Modified Crops within IPM Programs -- How Governmental...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2012
Πίνακας περιεχομένων: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο