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