Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming programmed » processing programmed
programmed abstraction » programming abstraction, programmed instruction, programs abstraction
integration computing » integration competing, interaction computing, integration computer
computing programming » computer programming, computers programming
abstraction https » instruction https, arbitration https, extraction https
programming programmed » processing programmed
programmed abstraction » programming abstraction, programmed instruction, programs abstraction
integration computing » integration competing, interaction computing, integration computer
computing programming » computer programming, computers programming
abstraction https » instruction https, arbitration https, extraction https
1
Publicat 2008
Taula de continguts:
“... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...”Obtenir text complet
Electrònic
eBook
2
Publicat 2012
Taula de continguts:
“... -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set...”Obtenir text complet
Electrònic
eBook
3
Taula de continguts:
“... -- Chap. 5, I/O -- Chap. 6, Memory: The Heap -- Chap. 7, Abstract Data Types -- Chap. 8, Linked Lists...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Obtenir text complet
Electrònic
eBook
10
Matèries:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
11
Taula de continguts:
“... -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved rules for probabilistic...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
12
Publicat 2013
Taula de continguts:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Obtenir text complet
Electrònic
eBook
13
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicat 2013
Taula de continguts:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”Obtenir text complet
Electrònic
eBook
16
Publicat 2006
Taula de continguts:
“... for GHC-Style Multi-parameter Type Classes -- Private Row Types: Abstracting the Unnamed -- Type...”Obtenir text complet
Electrònic
eBook
17
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicat 2008
Taula de continguts:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Obtenir text complet
Electrònic
eBook
19
Publicat 2012
Taula de continguts:
“... of Human, Machine and Information:Robot Suit for the Future.-If Abstraction Is the Answer, What...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”Obtenir text complet
Electrònic
eBook