Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programming programmed » processing programmed
programmed constructs » programming constructs, programme contract, programmed instructions
computer programming » computer program, computer programs
services computer » sciences computer
constructs loops » constructs lists, constructs coders, constructs core
programming programmed » processing programmed
programmed constructs » programming constructs, programme contract, programmed instructions
computer programming » computer program, computer programs
services computer » sciences computer
constructs loops » constructs lists, constructs coders, constructs core
1
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado em 2014
Sumário:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2013
Sumário:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2007
Sumário:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2006
Sumário:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“... -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Sumário:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
8
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicado em 2006
Sumário:
“... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2013
Sumário:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2014
Sumário:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2007
Sumário:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2013
Sumário:
“... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2005
Sumário:
“... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2008
Sumário:
“... -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Assuntos:
“...Computer programming....”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2008
Sumário:
“... Process Creation -- An Observational Model for Transactional Calculus of Services Orchestration...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2012
Sumário:
“... Monitoring Automaton Construction for LTL -- How to Translate Efficiently Extensions of Temporal Logics...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Sumário:
“... and Restarts -- The Special Operators -- Programming in the Large: Packages and Symbols -- LOOP for Black Belts...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- Seguinte »
- [3]