Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
computers programming » computer programming, computer program, computer programs
integrals computers » integrate computer, integrating computers, integrated computer
programming program » programming programmed, programming problem, programming problems
program abstracts » programme abstracts
abstracts https » abstracts themes
computers programming » computer programming, computer program, computer programs
integrals computers » integrate computer, integrating computers, integrated computer
programming program » programming programmed, programming problem, programming problems
program abstracts » programme abstracts
abstracts https » abstracts themes
1
Izdano 2008
Kazalo:
“... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...”Polni tekst
Elektronski
eKnjiga
2
Izdano 2012
Kazalo:
“... -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set...”Polni tekst
Elektronski
eKnjiga
3
Kazalo:
“... -- Chap. 5, I/O -- Chap. 6, Memory: The Heap -- Chap. 7, Abstract Data Types -- Chap. 8, Linked Lists...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
4
Izdano 2008
Kazalo:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Polni tekst
Elektronski
eKnjiga
5
Izdano 2007
Kazalo:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Polni tekst
Elektronski
eKnjiga
6
Izdano 2006
Kazalo:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Polni tekst
Elektronski
eKnjiga
7
Izdano 2005
Kazalo:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Polni tekst
Elektronski
eKnjiga
8
Izdano 2008
Kazalo:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Polni tekst
Elektronski
eKnjiga
9
Izdano 2005
Kazalo:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Polni tekst
Elektronski
eKnjiga
10
Teme:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
11
Izdano 2005
Kazalo:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Polni tekst
Elektronski
eKnjiga
12
Izdano 2007
Kazalo:
“...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”Polni tekst
Elektronski
eKnjiga
13
Kazalo:
“... -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved rules for probabilistic...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
14
Izdano 2006
Kazalo:
“... for GHC-Style Multi-parameter Type Classes -- Private Row Types: Abstracting the Unnamed -- Type...”Polni tekst
Elektronski
eKnjiga
15
Izdano 2013
Kazalo:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Polni tekst
Elektronski
eKnjiga
16
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Izdano 2013
Kazalo:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Polni tekst
Elektronski
eKnjiga
17
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Izdano 2008
Kazalo:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Polni tekst
Elektronski
eKnjiga
18
Izdano 2010
Kazalo:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Polni tekst
Elektronski
eKnjiga
19
Izdano 2012
Kazalo:
“... of Human, Machine and Information:Robot Suit for the Future.-If Abstraction Is the Answer, What...”Polni tekst
Elektronski
eKnjiga
20
Izdano 2010
Kazalo:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”Polni tekst
Elektronski
eKnjiga