Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs integrative » problems integrative, program integration, programs integrated
function structures » functions structures, function structure, functional structures
integrative https » integration https, integrative attempts, integrative themes
https function » its function, sites function, ups function
programs integrative » problems integrative, program integration, programs integrated
function structures » functions structures, function structure, functional structures
integrative https » integration https, integrative attempts, integrative themes
https function » its function, sites function, ups function
1
Udgivet 2010
Indholdsfortegnelse:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Få fuldtekst
Electronisk
eBog
2
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst
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 2014
Indholdsfortegnelse:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”Få fuldtekst
Electronisk
eBog
5
Indholdsfortegnelse:
“... -- Rish Management -- Structured Design Methodology -- Object-Oriented Design and Design Methodology...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
6
Udgivet 2006
Indholdsfortegnelse:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2007
Indholdsfortegnelse:
“... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2014
Indholdsfortegnelse:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”Få fuldtekst
Electronisk
eBog
10
Indholdsfortegnelse:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Udgivet 2007
Indholdsfortegnelse:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”Få fuldtekst
Electronisk
eBog
12
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Udgivet 2008
Indholdsfortegnelse:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Få fuldtekst
Electronisk
eBog
13
Indholdsfortegnelse:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
14
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Udgivet 2013
Indholdsfortegnelse:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2007
Indholdsfortegnelse:
“... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“... and Decision Making -- Aggregation of Quasiconcave Functions -- Choquet Integral Models with a Constant...”Få fuldtekst
Electronisk
eBog
18
Indholdsfortegnelse:
“... of viscoplasticity -- Over stress function -- Integration algorithm for the viscoplastic constitutive equation...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Udgivet 2008
Indholdsfortegnelse:
“... Engineering -- Towards an Integrated Approach to Food Engineering: Structure-Function Relationships...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2013
Indholdsfortegnelse:
“...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”Få fuldtekst
Electronisk
eBog