Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programming programs » programming program, programming programmed, programming problems
method programming » methods programming, python programming, meta programming
interface method » interface methods, interphase method, interval method
https » http
programming programs » programming program, programming programmed, programming problems
method programming » methods programming, python programming, meta programming
interface method » interface methods, interphase method, interval method
https » http
1
Publicado em 2007
Sumário:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2014
Sumário:
“...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2010
Sumário:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2012
Sumário:
“... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Sumário:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
6
Sumário:
“...Going Inside Java -- Designing Libraries, Classes, and Methods -- Using Threads in Your...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
7
Sumário:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2014
Sumário:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Sumário:
“...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
10
Sumário:
“...Object, Class, Message and Method -- A Quick Tour of Java -- Implementation in Java...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2007
Sumário:
“... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2005
Sumário:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2008
Sumário:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2008
Sumário:
“...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2006
Sumário:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Sumário:
“... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2008
Sumário:
“... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2005
Sumário:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2006
Sumário:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2015
Sumário:
“...Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface...”Obter o texto integral
Recurso Electrónico
livro electrónico