Search Results - Computer names Programming Computer programs.

Subjects: “...Business Computer programs. http://id.loc.gov/authorities/subjects/sh85018263...”
Connect to the full text of this electronic book

Get full text

Table of Contents: “...A Spatial Logic for Concurrency (Part I) / Luis Caires and Luca Cardelli -- Boxed Ambients / Michele Bugliesi, Giuseppe Castagna and Silvia Crafa -- A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation / Daisuke Hoshina, Eijiro Sumii and Akinori Yonezawa -- Formal Eavesdropping and Its Computational Interpretation / Martin Abadi and Jan Jurjens -- Resource-Passing Concurrent Programming / Kazunori Ueda -- Solo Diagrams / Cosimo Laneve, Joachim Parrow and Bjorn Victor -- Observational Equivalence for Synchronized Graph Rewriting with Mobility / Barbara Konig and Ugo Montanari -- Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness / Hiroshi Nakano -- Termination Proofs and Complexity Certification / Daniel Leivant -- A Renee Equation for Algorithmic Complexity / Keye Martin -- Nominal Logic: A First Order Theory of Names and Binding / Andrew M. ...”
Connect to the full text of this electronic book

Subjects: “...Database management Computer programs. http://id.loc.gov/authorities/subjects/sh85035849...”
Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to this electronic resource

Connect to the full text of this electronic book

Table of Contents: “...Cognitive systems engineering -- Mental models in human-computer interaction -- Interface metaphors and user interface design -- Five paradigms in the psychology of programming -- Software comprehension -- Direct manipulation -- Towards a practical GOMS model methodology for user interface design -- Task allocation and supervisory control -- Information technology and work -- Design of menus -- Command names -- Query languages -- Using natural language interfaces -- Systems design for automated speech recognition -- Applying speech synthesis to user interfaces -- Online aiding for human-computer interfaces -- Graphic challenges in designing object-oriented user interfaces -- Screen design -- Taking panes : issues in the design of windowing systems....”
Connect to the full text of this electronic book

Subjects: “...Rhino (Computer file) http://id.loc.gov/authorities/names/n00074969...”

Connect to the full text of this electronic book

Get full text

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to this electronic resource