Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programming decision » programming decisions, programming recursion, programming design
decision https » vision https, religion https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programming decision » programming decisions, programming recursion, programming design
decision https » vision https, religion https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
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
2
Sumário:
“...Getting Started with JavaScript -- Data and Decisions -- From DHTML to DOM Scripting -- HTML...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
3
Por Yates, Colin., Yates, Colin., Ladd, Seth., Devijver, Steven., Davison, Darren.
Publicado em 2006
Assuntos:
“...Java (Computer program language)....”Publicado em 2006
Obter o texto integral
Recurso Electrónico
livro electrónico
4
Por Deinum, Marten., Deinum, Marten., Serneels, Koen., Yates, Colin., Ladd, Seth., Vervaet, Erwin., Vanfleteren, Christophe.
Publicado em 2012
Assuntos:
“...Java (Computer program language)....”Publicado em 2012
Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2012
Sumário:
“... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2005
Sumário:
“... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2005
Sumário:
“...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2014
Sumário:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Sumário:
“... Rockstar Developer -- Chapter 7 The Hiring Decision Checklist -- Chapter 8 Making Interviews Fun for Your...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2008
Sumário:
“...Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2010
Sumário:
“... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2015
Sumário:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2010
Sumário:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2007
Sumário:
“... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2007
Sumário:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2007
Sumário:
“... cminor -- Formalising Java’s Data Race Free Guarantee -- Finding Lexicographic Orders for Termination...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2007
Sumário:
“... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2008
Sumário:
“... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- Seguinte »
- [2]