1
Innehållsförteckning: ...Motivation -- to Modern Fortran -- A Pseudo Object-Oriented Style -- Implementing Computational...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2007
Innehållsförteckning: ... Method for Developing 3D User Interfaces of Information Systems -- GestAction3D: A Platform for Studying...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2014
Innehållsförteckning: ...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2007
Innehållsförteckning: ..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2007
Innehållsförteckning: ..., Searching, Browsing and Navigation -- IV: Development Methods and Techniques -- V: Advanced Interaction...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2014
Innehållsförteckning: ... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2013
Innehållsförteckning: ... Interaction -- Transparent Digital Contents Sharing for Science Teachers -- Development of a Computer...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2007
Innehållsförteckning: ... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...
Hämta fulltext
Elektronisk E-bok
9
av Kuh, Nick., Kuh, Nick.
Publicerad 2012
Ämnen: ...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2008
Innehållsförteckning: ... -- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric...
Hämta fulltext
Elektronisk E-bok
11
Innehållsförteckning: ...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2012
Innehållsförteckning: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2010
Innehållsförteckning: ... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2015
Innehållsförteckning: ... heritage -- A Review of Research Methods in End User Development -- My program, my world: Insights from 1st...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2006
Innehållsförteckning: ... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2005
Innehållsförteckning: ... Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2005
Innehållsförteckning: ... Human Computer Interaction and Software Engineering in Practice -- Convergence or Competition between...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2014
Innehållsförteckning: ... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2012
Innehållsförteckning: ... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2007
Innehållsförteckning: ... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...
Hämta fulltext
Elektronisk E-bok