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.
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005 / Kung-Kiu Lau, Richard Banach(Eds.) : Manchester, UK, November 1-4, 2005 : proceedings
| Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005 / Kung-Kiu Lau, Richard Banach(Eds.) : Manchester, UK, November 1-4, 2005 : proceedings |
| Autore | International conference on formal engineering methods, ICFEM 2005 : <7. ; : 2005 |
| Pubbl/distr/stampa | Berlin : Springer, copyr. 2006 |
| Descrizione fisica | XIV, 494 p. : ill. ; 20 cm |
| Disciplina | 004.01 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaboratori elettronici -- Programmazione -- Manchester -- 2005 -- Congressi |
| Soggetto non controllato | Software |
| ISBN | 3-540-29797-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002965310203316 |
International conference on formal engineering methods, ICFEM 2005 : <7. ; : 2005
|
||
| Berlin : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006 : Macao, China, November 2006 : proceedings / Zhiming Liu, Jifeng He (Eds.)
| Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006 : Macao, China, November 2006 : proceedings / Zhiming Liu, Jifeng He (Eds.) |
| Autore | International conference on formal engineering methods, ICFEM 2006 : <8; : 2006 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | XII, 778 p. : ill. ; 24 cm |
| Disciplina | 004.01 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - Macao - 2006 |
| Soggetto non controllato | Software |
| ISBN | 3-540-47460-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003072390203316 |
|
International conference on formal engineering methods, ICFEM 2006 : <8; : 2006
|
||
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods and software engineering : 9th International conference on formal engineering methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : Proceedings / Michael Butler, Michael G. Hinchey, Marìa M. Larrondo-Petrie (Eds.)
| Formal methods and software engineering : 9th International conference on formal engineering methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : Proceedings / Michael Butler, Michael G. Hinchey, Marìa M. Larrondo-Petrie (Eds.) |
| Autore | International conference on formal engineering methods, ICFEM 2007 : <9; : 2007; > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
| Descrizione fisica | X, 386 p. : ill. ; 24 cm |
| Disciplina | 004.01 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - Boca Raton - 2007 |
| Soggetto non controllato | Software |
| ISBN | 978-3-540-76648-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003086530203316 |
|
International conference on formal engineering methods, ICFEM 2007 : <9; : 2007; >
|
||
| Berlin [etc.] : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods and software engineering : 10th International conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : Proceedings / Shaoying Liu, Tom Maibaum, Keijiro Araki (Eds.)
| Formal methods and software engineering : 10th International conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : Proceedings / Shaoying Liu, Tom Maibaum, Keijiro Araki (Eds.) |
| Autore | International conference on formal engineering methods, ICFEM 2008 : <10.; : 2008; > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
| Descrizione fisica | XI, 396 p. : ill. ; 24 cm |
| Disciplina | 004.01 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - Kitakyushu - 2008 |
| Soggetto non controllato | Software |
| ISBN | 978-3-540-88193-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003167270203316 |
|
International conference on formal engineering methods, ICFEM 2008 : <10.; : 2008; >
|
||
| Berlin [etc.] : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, brazil, december 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (Eds.)
| Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, brazil, december 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (Eds.) |
| Autore | International conference on formal engineering methods, ICFEM 2009 : <11.; : 2009 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | XIV, 758 p. : ill. ; 24 cm |
| Disciplina | 004.01 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Elaboratori -- Programmazione -- Atti di congressi
Programmi per elaboratori -- Progettazione -- Atti di congressi |
| ISBN | 978-3-642-10372-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003407850203316 |
|
International conference on formal engineering methods, ICFEM 2009 : <11.; : 2009
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Handbook of human centric visualization / / Weidong Huang, editor; foreword by Peter Eades
| Handbook of human centric visualization / / Weidong Huang, editor; foreword by Peter Eades |
| Pubbl/distr/stampa | New York, : Springer Science, 2014 |
| Descrizione fisica | 1 online resource (xxi, 743 pages) : illustrations (some color) |
| Disciplina |
004
004.01 004.01/9 005.437 |
| Altri autori (Persone) | HuangWeidong <1968-> |
| Collana | Gale eBooks |
| Soggetto topico |
Information visualization
Human-computer interaction |
| ISBN | 1-4614-7485-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Visual communication -- Theory and science -- Principles, guidelines and recommendations -- Methods -- Perception and cognition -- Dynamic visualization -- Interaction. |
| Record Nr. | UNINA-9910298567603321 |
| New York, : Springer Science, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Haptics-e : the electronic journal of haptics research
| Haptics-e : the electronic journal of haptics research |
| Pubbl/distr/stampa | [United States], : [publisher not identified], 1999- |
| Disciplina | 004.01 |
| Soggetto topico |
Touch
Human-computer interaction User-Computer Interface Robotics Human Engineering Software Design |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206258603316 |
| [United States], : [publisher not identified], 1999- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Haptics-e : the electronic journal of haptics research
| Haptics-e : the electronic journal of haptics research |
| Pubbl/distr/stampa | [United States], : [publisher not identified], 1999- |
| Disciplina | 004.01 |
| Soggetto topico |
Touch
Human-computer interaction User-Computer Interface Robotics Human Engineering Software Design |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142473703321 |
| [United States], : [publisher not identified], 1999- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Human-computer interaction : theory and practice / Frank Maddix
| Human-computer interaction : theory and practice / Frank Maddix |
| Autore | Maddix, Frank <1947- > |
| Pubbl/distr/stampa | New York [etc.], : Ellis Horwood, c1990 |
| Descrizione fisica | 306 p. : ill. ; 24 cm + 1 errata corrige |
| Disciplina |
004.01
004.019 |
| Collana | Ellis Horwood series in computers and their applications |
| Soggetto topico | Interazione uomo-elaboratore |
| ISBN |
0134462203
0134462386 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0390383 |
|
Maddix, Frank <1947- >
|
||
| New York [etc.], : Ellis Horwood, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Human-computer interaction / Alan Dix ... [et al.]
| Human-computer interaction / Alan Dix ... [et al.] |
| Pubbl/distr/stampa | New York [etc.], : Prentice Hall, c1993 |
| Descrizione fisica | XVI, 570 p. : ill. ; 24 cm |
| Disciplina |
004.01
004.019 |
| Soggetto topico | Interazione uomo-elaboratore |
| ISBN | 0134372115 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-AQ10005718 |
| New York [etc.], : Prentice Hall, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
