Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
function translation » fiction translation, fiction translations, function transcription
programs function » programs functional, programme function, programs fiction
translation https » transportation https, organization https
function https » functions https, fiction https
https function » its function, sites function, ups function
function translation » fiction translation, fiction translations, function transcription
programs function » programs functional, programme function, programs fiction
translation https » transportation https, organization https
function https » functions https, fiction https
https function » its function, sites function, ups function
1
Publicado em 2008
Sumário:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2015
Sumário:
“... into functional research of MSCs -- Human neural development and human embryonic stem cell neural differentiation...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2010
Sumário:
“... -- Computational Interpretations of Analysis via Products of Selection Functions -- The Peirce Translation...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
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
5
Publicado em 2007
Sumário:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2007
Sumário:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Por Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Publicado em 2011
Assuntos:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Publicado em 2011
Obter o texto integral
Recurso Electrónico
livro electrónico
8
Sumário:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
9
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado em 2013
Sumário:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2013
Sumário:
“... Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2011
Sumário:
“...Transcriptional and post-transcriptional programming by long noncoding RNAs -- Long noncoding RNA...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Por Janssen, Jeroen., Janssen, Jeroen., Schockaert, Steven., Vermeir, Dirk., De Cock, Martine.
Publicado em 2012
Sumário:
“...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...”Publicado em 2012
Obter o texto integral
Recurso Electrónico
livro electrónico
13
Assuntos:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
14
Assuntos:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2006
Sumário:
“... Programming -- Tabling in Mercury: Design and Implementation -- Translating Description Logic Queries...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2010
Sumário:
“... Interaction Maps through Translation into Stochastic CLS+ -- A Two-Level Approach for Modeling...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2007
Sumário:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2012
Sumário:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2008
Sumário:
“... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”Obter o texto integral
Recurso Electrónico
livro electrónico