Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Dependable systems : software, computing, networks : research results of the DICS program / / Jurg Kohlas, Bertrand Meyer, Andre Schiper (eds.)
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Generic inference : a unifying theory for automated reasoning / / Marc Pouly, Jurg Kohlas
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Human machine interaction : research results of the MMI program / / Denis Lalanne, Jurg Kohlas (eds.)
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||