Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming abstraction » programming abstract, programming introduction
integration computing » integration competing, interaction computing, integration computer
computing programming » computer programming, computers programming
abstraction https » instruction https, arbitration https, extraction https
1
Cover Image
Published 2008
Table of Contents: “... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
by Majkić, Zoran., Majkić, Zoran.
Published 2014
Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2012
Table of Contents: “... -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Table of Contents: “... -- Chap. 5, I/O -- Chap. 6, Memory: The Heap -- Chap. 7, Abstract Data Types -- Chap. 8, Linked Lists...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2008
Table of Contents: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2007
Table of Contents: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2006
Table of Contents: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
Published 2005
Table of Contents: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Published 2005
Table of Contents: “... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Published 2008
Table of Contents: “... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Table of Contents: “... -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved rules for probabilistic...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Published 2013
Table of Contents: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
Published 2013
Table of Contents: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
Published 2005
Table of Contents: “...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2007
Table of Contents: “...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2006
Table of Contents: “... for GHC-Style Multi-parameter Type Classes -- Private Row Types: Abstracting the Unnamed -- Type...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Published 2008
Table of Contents: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2010
Table of Contents: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2012
Table of Contents: “... of Human, Machine and Information:Robot Suit for the Future.-If Abstraction Is the Answer, What...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2010
Table of Contents: “...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search