Jump to main content

yr 〜
yr

Search results 6

The handbook of formal methods in human-computer interaction (Human-computer interaction series)

The handbook of formal methods in human-computer interaction (Human-computer interaction series)
Paper図書
Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors.Springer[2017]<M154-B216>
National Diet LibraryOther Libraries in Japan

Formal methods in human-computer interaction Berlin : pbk. : acid-free paper

Formal methods in human-computer interaction Berlin : pbk. : acid-free paper
Paper図書
Philippe Palanque and Fabio Paternò, edsSpringerc1998
Other Libraries in Japan

Formal methods in human-computer interaction

Formal methods in human-computer interaction
Paper図書
edited by Michael Harrison and Harold ThimblebyCambridge University Press1990
Other Libraries in Japan

Cambridge series on human-computer interaction

Cambridge series on human-computer interaction
Paper図書
Cambridge University Press
Other Libraries in Japan
  • Related Material...h disabilities Formal methods in human-computer interaction

Formal approaches to computing and information technology (FACIT)

Formal approaches to computing and information technology (FACIT)
Paper図書
Springer-Verlag
Other Libraries in Japan
  • Related Material...am development Formal methods in human-computer interaction Specification case studies in...

Human-computer interaction series

Human-computer interaction series
Paper図書
editors-in-chief, John Karat, Jean VanderdoncktKluwer Academic
Other Libraries in Japan
  • Related Material...he handbook of formal methods in human-computer interaction Awareness systems : advances ...

Reached to the end of result.

RSS