Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
interface specification » service specification
specification program » specifications program, verification program, purification program
program computer » programs computer, program computers, program komputer
program program » programs program, programming program
computer https » computers https, computing https, computer arts
interface specification » service specification
specification program » specifications program, verification program, purification program
program computer » programs computer, program computers, program komputer
program program » programs program, programming program
computer https » computers https, computing https, computer arts
1
Julkaistu 2007
Sisällysluettelo:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2010
Sisällysluettelo:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2012
Sisällysluettelo:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2014
Sisällysluettelo:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2008
Sisällysluettelo:
“... -- From Authorization Logics to Types for Authorization -- Interface Types for Haskell -- Exception...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2012
Sisällysluettelo:
“... Programs -- Formal Specification as High-Level Programming: The ASSL Approach -- Atomicity in Real-time...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2014
Sisällysluettelo:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2007
Sisällysluettelo:
“... User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2005
Sisällysluettelo:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2005
Sisällysluettelo:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2005
Sisällysluettelo:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2006
Sisällysluettelo:
“... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2007
Sisällysluettelo:
“... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2005
Sisällysluettelo:
“... Features -- The Drawing Carousel: A Pair Programming Experience -- Agile Development with Domain Specific...”Hae kokoteksti
Elektroninen
E-kirja
15
Sisällysluettelo:
“...Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2008
Sisällysluettelo:
“... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...”Hae kokoteksti
Elektroninen
E-kirja
17
Sisällysluettelo:
“... Weakly Typed Struct Objects -- Using Strongly Typed Interfaces with JPublisher -- Using Oracle...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2011
Sisällysluettelo:
“...1. Introduction -- 2. Architectures and Environments for the Generation of User Interfaces -- 2.1.1...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2010
Sisällysluettelo:
“... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”Hae kokoteksti
Elektroninen
E-kirja
20
Tekijä Popovici, Katalin., Popovici, Katalin., Rousseau, Frédéric., Jerraya, Ahmed A., Wolf, Marilyn.
Julkaistu 2010
Aiheet:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Julkaistu 2010
Hae kokoteksti
Elektroninen
E-kirja