๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[ACM Press the international conference - Los Angeles, California (1975.04.21-1975.04.23)] Proceedings of the international conference on Reliable software - - An interactive program verification system

โœ Scribed by Good, Donald I.; London, Ralph L.; Bledsoe, W. W.


Book ID
118049244
Publisher
ACM Press
Year
1975
Weight
949 KB
Volume
0
Category
Article

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[ACM Press the SIGCHI conference - Los A
โœ Larson, Kevin; Czerwinski, Mary ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› ACM Press ๐ŸŒ English โš– 1022 KB

The conference program addresses where HCI has evolved, the context of HCI work and solutions and provides a forum for theory and processes that may be applied to solve real-world challenges. The CHI 98 Conference Proceedings contains the text of the Technical Papers presented at CHI 98. These Techn

[ACM Press the SIGCHI conference - Los A
โœ Larson, Kevin; Czerwinski, Mary ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› ACM Press ๐ŸŒ English โš– 1022 KB

Much is known about depth and breadth tradeoff issues in graphical user interface menu design. We describe an experiment to see if large breadth and decreased depth is preferable, both subjectively and via performance data, while attempting to design for optimal scent throughout different structures

[ACM Press the SIGCHI conference - Los A
โœ MacKenzie, I. Scott; Oniszczak, Aleks ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› ACM Press ๐ŸŒ English โš– 934 KB

The conference program addresses where HCI has evolved, the context of HCI work and solutions and provides a forum for theory and processes that may be applied to solve real-world challenges. The CHI 98 Conference Proceedings contains the text of the Technical Papers presented at CHI 98. These Techn

[ACM Press the SIGCHI conference - Los A
โœ Alty, James L.; Rigas, Dimitrios I. ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› ACM Press ๐ŸŒ English โš– 911 KB

The conference program addresses where HCI has evolved, the context of HCI work and solutions and provides a forum for theory and processes that may be applied to solve real-world challenges. The CHI 98 Conference Proceedings contains the text of the Technical Papers presented at CHI 98. These Techn