Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactions computer » interaction computer, interactive computer, integration computer
proceedings program » proceedings from
processing program » processing programs, processing programmed, process program
https » http
interactions computer » interaction computer, interactive computer, integration computer
proceedings program » proceedings from
processing program » processing programs, processing programmed, process program
https » http
1
Published 2010
Table of Contents:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
3
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
5
Table of Contents:
“...Introducing HTML and JavaScript -- HTML Document Basics -- HTML Tables, Forms, Lists, and Frames...”
View full text
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”View full text
Electronic
eBook
7
8
by Heckler, Mark., Heckler, Mark., Grunwald, Gerrit., Pereda, José., Phillips, Sean., Dea, Carl.
Published 2014
Subjects:
“...Java (Computer program language)....”Published 2014
View full text
Electronic
eBook
9
Table of Contents:
“...The ABCs of Objects -- Abstraction and Modeling -- Some Java Basics -- Objects and Classes...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“...Theory of Processing and Computational Art -- Code Art -- Creative Coding -- Code Grammar 101...”
View full text
View full text
Electronic
eBook
11
12
Published 2010
Table of Contents:
“... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... New Processing Model Based on Mobile Interactive Documents -- A Framework for Observing Dynamics...”View full text
Electronic
eBook
14
Table of Contents:
“...Introducing Java SE 6 -- Core Libraries -- GUI Toolkits: AWT -- GUI Toolkits: Swing...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“... -- Developing CSS in Practice: From Design to Deployment -- Creating Interactivity with Javascript -- Testing...”
View full text
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”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 2008
Table of Contents:
“... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Processing -- A Novel Scheme for the Parallel Computation of SVDs -- Cache-Optimal Data-Structures...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”View full text
Electronic
eBook