1
Publié 2014
Table des matières: ...Design methods, techniques and knowledge -- The design of everyday things -- Interacting...
Accéder au texte intégral
Électronique eBook
2
Publié 2013
Table des matières: ...HCI design approaches, methods and techniques -- Usability methods, techniques and studies...
Accéder au texte intégral
Électronique eBook
3
Publié 2015
Table des matières: ...Design and evaluation methods, techniques and tools -- Cognitive and psychological issues in HCI...
Accéder au texte intégral
Électronique eBook
4
Publié 2013
Table des matières: ... Framework -- Software Development Methods in the Internet of Things.- SAT–Based Bounded Strong...
Accéder au texte intégral
Électronique eBook
5
par Segrin, Chris,, Flora, Jeanne,
Publié 2019
Table des matières: ... -- Marriage and committed relationships -- Parent-child communication -- Sibling communication -- Extended...
Livre
6
Publié 2008
Table des matières: ...Towards a Theory of Web Service Choreographies -- Controlling Petri Net Process Models -- Extending...
Accéder au texte intégral
Électronique eBook
7
Publié 2014
Table des matières: ... the Model Checking of Strategies under Partial Observability and Fairness Constraints -- A Formal Model...
Accéder au texte intégral
Électronique eBook
8
Publié 2015
Table des matières: ...: Challenge the present and there is a better way -- Chapter 11: Transducer Research at Bell Laboratories...
Accéder au texte intégral
Électronique eBook
9
Publié 2008
Table des matières: ...Invited Talk -- Attestation: Evidence and Trust -- Authentication -- A Novel Solution for End...
Accéder au texte intégral
Électronique eBook
10
Publié 2007
Table des matières: ... Bounds -- A Canonical Representation of Order 3 Phase Type Distributions -- Process Algebras and State...
Accéder au texte intégral
Électronique eBook
11
Table des matières: ...Preface to the second edition -- Introduction to the first edition -- 1.Invertible Operator with a...
Accéder au texte intégral
Électronique eBook
12
Publié 2011
Table des matières: ... Power System -- ESL Based SoC System Bandwidth Estimation Method -- Cellular Automaton for Super...
Accéder au texte intégral
Électronique eBook
13
Publié 2010
Table des matières: ... Identification -- A New Method of Fingerprint Key Protection of Grid Credential -- Human Vein Pattern...
Accéder au texte intégral
Électronique eBook
14
Publié 2008
Table des matières: ... Double Filtering -- A New Linear Appearance Based Method in Face Recognition -- A Meta-search Engine...
Accéder au texte intégral
Électronique eBook
15
Publié 2014
Table des matières: ....- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods...
Accéder au texte intégral
Électronique eBook
16
Publié 2008
Table des matières: ... System Using VDM -- Session 6. FM Practice -- Industrial Use of Formal Methods for a High-Level Security...
Accéder au texte intégral
Électronique eBook
17
Sujets: ...Mathematical Methods in Physics. https://scigraph.springernature.com/ontologies/product-market...
Accéder au texte intégral
Électronique eBook
18
Publié 2014
Table des matières: ... with Communication Actions -- Concurrent Kleene Algebra with Tests -- Algebras for Program Correctness in Isabelle...
Accéder au texte intégral
Électronique eBook
19
Publié 2012
Table des matières: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Accéder au texte intégral
Électronique eBook
20
Publié 2008
Table des matières: ... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...
Accéder au texte intégral
Électronique eBook