Rekommenderade teman
Rekommenderade teman
Menade du:
programmed developing » programme developing, programming developing, programmed development
programmes developing » programme developing, programs developing, programming developing
interface method » interface methods, interphase method, interval method
https » http
programmed developing » programme developing, programming developing, programmed development
programmes developing » programme developing, programs developing, programming developing
interface method » interface methods, interphase method, interval method
https » http
1
Innehållsförteckning:
“...Motivation -- to Modern Fortran -- A Pseudo Object-Oriented Style -- Implementing Computational...”
Hämta fulltext
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
Ämnen:
“...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...”
Hämta fulltext
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
av Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Publicerad 2011
Innehållsförteckning:
“...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...”Publicerad 2011
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