提案スペルによる検索:
interaction computing » interactive computing, integration computing, intersections computing
proceedings programs » proceedings program, processing programs, procedures programs
programs java » program java, programs a, programs case
https » http
1
出版事項 2010
目次: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
全文の入手
電子媒体 eBook
2
出版事項 2012
目次: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
全文の入手
電子媒体 eBook
3
主題: ...Computer programming....
全文の入手
電子媒体 eBook
4
出版事項 2006
目次: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
全文の入手
電子媒体 eBook
5
出版事項 2008
目次: ... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...
全文の入手
電子媒体 eBook
6
出版事項 2006
目次: ...Human Computer Interaction -- A Rule-Based Publish-Subscribe Message Routing System for Ubiquitous...
全文の入手
電子媒体 eBook
7
出版事項 2008
目次: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
全文の入手
電子媒体 eBook
8
出版事項 2005
目次: ... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...
全文の入手
電子媒体 eBook
9
出版事項 2006
目次: ...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...
全文の入手
電子媒体 eBook
10
出版事項 2005
目次: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
全文の入手
電子媒体 eBook
11
出版事項 2006
目次: ...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...
全文の入手
電子媒体 eBook
12
出版事項 2007
目次: ... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...
全文の入手
電子媒体 eBook
13
出版事項 2007
目次: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
全文の入手
電子媒体 eBook
14
出版事項 2010
目次: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
全文の入手
電子媒体 eBook
15
出版事項 2008
目次: ... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...
全文の入手
電子媒体 eBook
16
出版事項 2010
目次: ...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...
全文の入手
電子媒体 eBook
17
出版事項 2008
目次: ... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...
全文の入手
電子媒体 eBook
18
出版事項 2010
目次: ... Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic...
全文の入手
電子媒体 eBook
19
出版事項 2010
目次: ... for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow...
全文の入手
電子媒体 eBook
20
出版事項 2006
目次: ... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...
全文の入手
電子媒体 eBook