Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
functional programs » functional programming, educational programs, functional properties
programs program » programming program
program data » program dan, program desa, program dbase
data https » java https
functional programs » functional programming, educational programs, functional properties
programs program » programming program
program data » program dan, program desa, program dbase
data https » java https
1
Publicado em 2010
Sumário:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2008
Sumário:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2011
Assuntos:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Por Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Publicado em 2005
Sumário:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Publicado em 2005
Obter o texto integral
Recurso Electrónico
livro electrónico
6
Sumário:
“... -- Chap. 5, I/O -- Chap. 6, Memory: The Heap -- Chap. 7, Abstract Data Types -- Chap. 8, Linked Lists...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2007
Sumário:
“... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2005
Sumário:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2008
Sumário:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
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
12
Publicado em 2005
Sumário:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2006
Sumário:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2007
Sumário:
“... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2007
Sumário:
“... -- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters -- Modelling...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2013
Sumário:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Sumário:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
19
Assuntos:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
20
Assuntos:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico