Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
integration functions » integration functional, integrating functions, interactions functions
programmed programmed » programmes programme, programming programmed, programminng programmed
functions programmed » equations programmed, functional programming, functional programs
programmed cases » programmes case, programming cases, programes case
cases https » atlases https, spaces https, nurses https
integration functions » integration functional, integrating functions, interactions functions
programmed programmed » programmes programme, programming programmed, programminng programmed
functions programmed » equations programmed, functional programming, functional programs
programmed cases » programmes case, programming cases, programes case
cases https » atlases https, spaces https, nurses https
1
Udgivet 2010
Indholdsfortegnelse:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2006
Indholdsfortegnelse:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2008
Indholdsfortegnelse:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Få fuldtekst
Electronisk
eBog
7
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Udgivet 2007
Indholdsfortegnelse:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2006
Indholdsfortegnelse:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Få fuldtekst
Electronisk
eBog
10
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
13
Indholdsfortegnelse:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
14
Udgivet 2014
Indholdsfortegnelse:
“... Amazon Mechanical Turk in ImageCLEF -- Part III – Use Cases -- The THESEUS Use Cases -- Domain-Adaptive...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2013
Indholdsfortegnelse:
“... String Constraints: The Case for Constraint Programming -- Blowing Holes in Various Aspects...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2014
Indholdsfortegnelse:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Få fuldtekst
Electronisk
eBog
17
Indholdsfortegnelse:
“... Interaction -- Designing OOP Solutions: A Case Study -- Object-Oriented Programming with Visual Basic...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
18
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
af Buang, Mokhtaruddin, Abu Samah, Asnarulkhadi, Rosnon, Mohd Roslan, Burhan, Nik Ahmad Sufian
Udgivet 2023
“..., and this effort has been continued with the introduction of Program Desa Lestari. Program Desa Lestari...”Udgivet 2023
Få fuldtekst
Article
20
Udgivet 2010
Indholdsfortegnelse:
“... and Decision Making -- Aggregation of Quasiconcave Functions -- Choquet Integral Models with a Constant...”Få fuldtekst
Electronisk
eBog



