Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
https functionality » its functionality, bags functionality, cross functionality
programs practical » programs practices, problems practical, program practice
practical https » practice https, practical hazops, practical hints
functionality 6 » functionality _, functionality 4, functionality 5
6 https » 6 http
https functionality » its functionality, bags functionality, cross functionality
programs practical » programs practices, problems practical, program practice
practical https » practice https, practical hazops, practical hints
functionality 6 » functionality _, functionality 4, functionality 5
6 https » 6 http
1
Sumário:
“... -- The Dynamic Host Configuration Protocol (DHCPv6) -- Bridging the DNS Gap -- New Functionalities -- IP Security...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2010
Sumário:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2008
Sumário:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“... Stochastic Processes -- Graph Structured Program Evolution: Evolution of Loop Structures -- A Functional...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2015
Sumário:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Publicado em 2010
Sumário:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicado em 2008
Sumário:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Sumário:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2008
Sumário:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado em 2010
Sumário:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicado em 2007
Sumário:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Sumário:
“... Optimization Methods: Penalty Methods, SQP Methods -- 6. Interior-Point Methods for Linear Optimization...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2013
Sumário:
“... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
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
16
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
17
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
18
Publicado em 2012
Sumário:
“...: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2006
Sumário:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Obter o texto integral
Recurso Electrónico
livro electrónico