1
Published 2007
Table of Contents: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
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: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
5
by Lee, Kent D., Lee, Kent D.
Published 2014
Table of Contents: ...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
View full text
Electronic eBook
11
Table of Contents: ...Going Inside Java -- Designing Libraries, Classes, and Methods -- Using Threads in Your...
View full text
Electronic eBook
12
Table of Contents: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...
View full text
Electronic eBook
14
by Graba, Jan., Graba, Jan.
Published 2007
Table of Contents: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
View full text
Electronic eBook
15
Table of Contents: ...Object, Class, Message and Method -- A Quick Tour of Java -- Implementation in Java...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ...Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface...
View full text
Electronic eBook
18
by Brooks, David R., Brooks, David R.
Published 2011
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
19
Table of Contents: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...
View full text
Electronic eBook