Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing programs » processing programmed, processing problems, processing products
programs computing » programs compiling, programs conducting, problems computing
interface methods » internal methods, interval methods, interference methods
interface method » interphase method, interval method, interactive method
https* » http*
processing programs » processing programmed, processing problems, processing products
programs computing » programs compiling, programs conducting, problems computing
interface methods » internal methods, interval methods, interference methods
interface method » interphase method, interval method, interactive method
https* » http*
1
Published 2013
Table of Contents:
“... Programming Learning Support System Based on Reading Computer program -- The Display Medium, Academic Major...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”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
Table of Contents:
“...User Guide -- Brain–Computer Interfaces -- Brain Sensors and Signals -- Introducing BCI2000 -- Tour...”
View full text
View full text
Electronic
eBook
10
Published 2012
Subjects:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
11
Published 2011
Subjects:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Part I: Keynotes -- Part II: Future Tools -- Part III: Business Process Models -- Part IV...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... User Interface, a Generic Approach -- A Vision Based Game Control Method -- Mobile Camera-Based User...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”View full text
Electronic
eBook