1
Argitaratua 2005
Aurkibidea: ... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2006
Aurkibidea: ... Applications -- Formalisation and Analysis of the Temporal Dynamics of Conditioning -- Incorporating Commitment...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2008
Aurkibidea: ... of Interaction Protocols Applied to Business Process Integration -- Enterprise Architecture -- Competencies...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2010
Aurkibidea: ... -- Hybridization of Architectural Styles for Integrated Enterprise Information Systems -- Proposing a Formalised...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2006
Aurkibidea: ...Keynote -- User Experience and the Idea of Design in HCI -- Teams and Groups -- Formalising...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2005
Aurkibidea: ...Computational Neuroscience -- On the Use of the Computational Paradigm in Neurophysiology...
Testu osoa
Baliabide elektronikoa eBook
7
Gaiak: ...Computer programming....
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2007
Aurkibidea: ... Discussions -- Processes: Working Group Report -- Usability and Computer Games: Working Group Report....
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2013
Aurkibidea: ...Introduction -- DEPLOY Integrated Project -- Experience of Deployment in the Automotive Industry...
Testu osoa
Baliabide elektronikoa eBook