Dependable systems : software, computing, networks : research results of the DICS program / / Jurg Kohlas, Bertrand Meyer, Andre Schiper (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, : Springer, 2006 |
Descrizione fisica | 1 online resource (XII, 295 p.) |
Disciplina | 005.3 |
Altri autori (Persone) |
KohlasJurg <1939->
MeyerBertrand <1950-> SchiperAndre <1949-> |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
Soggetto topico |
Computer software - Reliability - Research
Computer systems - Reliability - Research Computer networks - Reliability - Research |
ISBN | 3-540-36823-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Surveys -- Dependable software -- Dependable computing -- Dependable networks. |
Altri titoli varianti |
DICS
Dependable information and communications systems |
Record Nr. | UNINA-9910484122403321 |
Berlin, : Springer, 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Generic inference : a unifying theory for automated reasoning / / Marc Pouly, Jurg Kohlas |
Autore | Pouly Marc <1980-> |
Edizione | [1st edition] |
Pubbl/distr/stampa | Hoboken, New Jersey, : Wiley, 2011 |
Descrizione fisica | 1 online resource (486 p.) |
Disciplina | 519.5/4 |
Altri autori (Persone) | KohlasJurg <1939-> |
Soggetto topico |
Valuation theory
Algorithms Algebra, Abstract |
ISBN |
1-283-12633-8
9786613126337 1-118-01086-8 1-118-01087-6 1-118-01084-1 |
Classificazione | TEC008000 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Logical computation -- pt. 2. Generic constructions -- pt. 3. Applications. |
Record Nr. | UNINA-9910877561503321 |
Pouly Marc <1980->
![]() |
||
Hoboken, New Jersey, : Wiley, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Human machine interaction : research results of the MMI program / / Denis Lalanne, Jurg Kohlas (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
Descrizione fisica | 1 online resource (XIV, 311 p.) |
Disciplina |
005.437
4.019 |
Altri autori (Persone) |
KohlasJurg <1939->
LalanneDenis |
Collana | Lecture notes in computer science |
Soggetto topico |
Human-computer interaction
Human engineering |
ISBN | 3-642-00437-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Human Machine Interaction -- Multimodal Interfaces: A Survey of Principles, Models and Frameworks -- Interactive Visualization - A Survey -- Mixed Reality: A Survey -- Multimodal User Interfaces -- Intelligent Multi-modal Interfaces for Mobile Applications in Hostile Environment(IM-HOST) -- MEMODULES as Tangible Shortcuts to Multimedia Information -- Why Androids Will Have Emotions: Constructing Human-Like Actors and Communicators Based on Exact Sciences of the Mind -- Interactive Visualization -- EvoSpaces - Multi-dimensional Navigation Spaces for Software Evolution -- HOVISSE – Haptic Osteosynthesis Virtual Intra-operative Surgery Support Environment -- A Language and a Methodology for Prototyping User Interfaces for Control Systems -- Mixed Reality -- See ColOr: Seeing Colours with an Orchestra -- 6 th Sense– Toward a Generic Framework for End-to-End Adaptive Wearable Augmented Reality. |
Record Nr. | UNINA-9910484021203321 |
Berlin ; ; New York, : Springer, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|