Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs combining » problems combining
function function » function functional, functions functional, function dysfunction
combining https » computing https, combining hst, combining bottom
https function » its function, sites function, ups function
function https » functions https, fiction https
programs combining » problems combining
function function » function functional, functions functional, function dysfunction
combining https » computing https, combining hst, combining bottom
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Udgivet 2010
Indholdsfortegnelse:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2005
Indholdsfortegnelse:
“... Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2013
Indholdsfortegnelse:
“...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2013
Indholdsfortegnelse:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2008
Indholdsfortegnelse:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2005
Indholdsfortegnelse:
“... Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data...”Få fuldtekst
Electronisk
eBog
10
“... crafted by
seamlessly combining two established loss functions: Mean Square Error (MSE) and LogCosh...”
Få fuldtekst
Få fuldtekst
Article
11
Udgivet 2015
Indholdsfortegnelse:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2006
Indholdsfortegnelse:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2007
Indholdsfortegnelse:
“... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2013
Indholdsfortegnelse:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”Få fuldtekst
Electronisk
eBog
15
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... Perfectly One-Way Functions -- Error-Tolerant Combiners for Oblivious Primitives -- Asynchronous Multi-Party...”Få fuldtekst
Electronisk
eBog
17
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
18
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Udgivet 2015
Indholdsfortegnelse:
“... Programs. A Theory of Name Resolution -- A Core Calculus for XQuery 3.0: Combining Navigational and Pattern...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2006
Indholdsfortegnelse:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Få fuldtekst
Electronisk
eBog