Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
processing programs » processing programmed, processing problems, processing products
programs controller » programs control, program controls, problem controller
interface methods » internal methods, interval methods, interference methods
interface python » interface method, interface proton, interface pattern
controller https » controller states, control https, controller type
processing programs » processing programmed, processing problems, processing products
programs controller » programs control, program controls, problem controller
interface methods » internal methods, interval methods, interference methods
interface python » interface method, interface proton, interface pattern
controller https » controller states, control https, controller type
1
Sisällysluettelo:
“... -- Working with HTML & KML -- Classes -- User interfaces for file and folder selection -- ArcGIS Python GUIs...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2013
Sisällysluettelo:
“... Interface of Interactive Media Art in Stereoscopic Environment -- A Method of Viewing 3D Horror Contents...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2014
Sisällysluettelo:
“... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2005
Sisällysluettelo:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2005
Sisällysluettelo:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2006
Sisällysluettelo:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2014
Sisällysluettelo:
“... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2006
Sisällysluettelo:
“... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2012
Sisällysluettelo:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2010
Sisällysluettelo:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2012
Sisällysluettelo:
“...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2008
Sisällysluettelo:
“... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2012
Sisällysluettelo:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2012
Sisällysluettelo:
“....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2010
Sisällysluettelo:
“... to Delay Analysis under Arbitrary Scheduling -- Flow Control with (Min,+) Algebra -- An Interface Algebra...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2012
Sisällysluettelo:
“... for Sudoku Game Interfaces -- Generalized Hamilton-Jacobi-Isaacs Formulation-Based Neural Network H∞ Control...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2006
Sisällysluettelo:
“...Keynote Addresses -- Processes and the Software Business -- Controlling the Chaos of the CMMI...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2007
Sisällysluettelo:
“... Control in a Robotic System -- An AER-Based Actuator Interface for Controlling an Anthropomorphic Robotic...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2010
Sisällysluettelo:
“... Methods and Tools - Modeling, Evaluation and Compilation -- Models and Algorithms for Hyperreconfigurable...”Hae kokoteksti
Elektroninen
E-kirja
20
Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...
Julkaistu 2005
Sisällysluettelo:
“... Interconnect with Layered Interface Based on Distributed and Modularized Control for Multimedia SoCs...”Hae kokoteksti
Elektroninen
E-kirja