Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
interactive organization » integrative organization, innovative organization, intensive organization
organization programming » animation programming, organizations program, organizations programs
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
constraint https » constraint atoms, constraint graphs, constraint codes
interactive organization » integrative organization, innovative organization, intensive organization
organization programming » animation programming, organizations program, organizations programs
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
constraint https » constraint atoms, constraint graphs, constraint codes
1
Publicat 2008
Taula de continguts:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Obtenir text complet
Electrònic
eBook
2
Publicat 2015
Taula de continguts:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Obtenir text complet
Electrònic
eBook
4
Publicat 2014
Taula de continguts:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Obtenir text complet
Electrònic
eBook
6
Taula de continguts:
“... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
7
Publicat 2013
Taula de continguts:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... Stack Implementation -- Programming Aids -- First-Order Interactive Programming -- An ER-Based Framework...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“...Ontologies for Interaction Protocols -- On the Impact of Ontological Commitment -- Agent to Agent...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... Development Organization -- An Architectural Style for Data-Driven Systems -- Architectural Analysis...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... -- MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning -- Managing Web Services...”Obtenir text complet
Electrònic
eBook
15
Publicat 2010
Taula de continguts:
“...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”Obtenir text complet
Electrònic
eBook
16
Publicat 2014
Taula de continguts:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...”Obtenir text complet
Electrònic
eBook
18
Publicat 2008
Taula de continguts:
“... and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A...”Obtenir text complet
Electrònic
eBook
19
Publicat 2014
Taula de continguts:
“...Reuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics...”Obtenir text complet
Electrònic
eBook
20
Publicat 2005
Taula de continguts:
“... and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors...”Obtenir text complet
Electrònic
eBook