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