Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
proceeding programs » processing programs, proceedings program, breeding programs
programs control » program controls, progress control, programmers control
https » http
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
proceeding programs » processing programs, proceedings program, breeding programs
programs control » program controls, progress control, programmers control
https » http
1
Gepubliceerd in 2014
Inhoudsopgave:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2006
Inhoudsopgave:
“... Location and Control Computation -- Approximate Reachability Computation for Polynomial Systems -- A...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2008
Inhoudsopgave:
“... Systems -- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control -- An Integrated Approach...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2007
Inhoudsopgave:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2010
Inhoudsopgave:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2014
Inhoudsopgave:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2007
Inhoudsopgave:
“... -- Solving a Stochastic Queueing Control Problem with Constraint Programming -- Constrained Clustering Via...”Volledige tekst
Elektronisch
E-boek
8
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Gepubliceerd in 2010
Inhoudsopgave:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2005
Inhoudsopgave:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2005
Inhoudsopgave:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2006
Inhoudsopgave:
“... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2014
Inhoudsopgave:
“... for Concurrency Control in Computer Aided Design Database -- Performance Study of Combined Artificial Neural...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2005
Inhoudsopgave:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2013
Inhoudsopgave:
“... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2005
Inhoudsopgave:
“... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2008
Inhoudsopgave:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2010
Inhoudsopgave:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2012
Inhoudsopgave:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2010
Inhoudsopgave:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”Volledige tekst
Elektronisch
E-boek
20
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Gepubliceerd in 2013
Inhoudsopgave:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Volledige tekst
Elektronisch
E-boek