top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui