Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programs function » programs functional, programme function, programs fiction
https functions » status functions, its functions, sets functions
combining https » computing https, combining hst, combining bottom
function https » functions https, fiction https
programs function » programs functional, programme function, programs fiction
https functions » status functions, its functions, sets functions
combining https » computing https, combining hst, combining bottom
function https » functions https, fiction https
1
Publicado em 2010
Sumário:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2005
Sumário:
“... Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2006
Sumário:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2013
Sumário:
“...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2005
Sumário:
“...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2013
Sumário:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2005
Sumário:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
“... crafted by
seamlessly combining two established loss functions: Mean Square Error (MSE) and LogCosh...”
Obter o texto integral
Obter o texto integral
Artigo
10
Publicado em 2005
Sumário:
“... Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Sumário:
“... Hypergeometric Series -- 6 Algebraic Functions -- 7 Holonomic Sequences and Power Series -- Appendix...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2015
Sumário:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2006
Sumário:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2007
Sumário:
“... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Assuntos:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2013
Sumário:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2008
Sumário:
“... Perfectly One-Way Functions -- Error-Tolerant Combiners for Oblivious Primitives -- Asynchronous Multi-Party...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicado em 2008
Sumário:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado em 2015
Sumário:
“... Programs. A Theory of Name Resolution -- A Core Calculus for XQuery 3.0: Combining Navigational and Pattern...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2006
Sumário:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Obter o texto integral
Recurso Electrónico
livro electrónico