Arkiver - Side 13

• PB-300 Reusability and Tailorability in the Mjølner BETA System

  Nr. 300 (1990)

• PB-296 Proceedings of the 12th IRIS: Information systems Research seminar In Scandinavia August 13-16, 1989, Skagen

  Nr. 296 (1989)

• PB-299 The Computer Reaches out: The Historical Continuity of Interface Design

  Nr. 299 (1989)

• PB-298 Logics of Domains

  Nr. 298 (1989)

• PB-297 A Universal Relational Operator

  Nr. 297 (1989)

• PB-295 Static Correctness of Hierarchical Procedures

  Nr. 295 (1989)

• PB-290 Discovering the Human Actors in Human Factors

  Nr. 290 (1989)

• PB-294 A Compositional Proof System on a Category of Labelled Transition Systems

  Nr. 294 (1989)

• PB-288 Beyond the Interface: Encountering Artifacts in Use

  Nr. 288 (1989)

• PB-289 CSCW - Four Characters in Search of a Context

  Nr. 289 (1989)

• PB-293 Infinite Values in Hierarchical Imperative Types

  Nr. 293 (1989)

• PB-285 Parallel Product of Event Structures

  Nr. 285 (1989)

• PB-291 A Human Activity Approach to User Interfaces

  Nr. 291 (1989)

• PB-287 Hypermedia: Support for a more natural information organization

  Nr. 287 (1989)

• PB-292 Cooperative Prototyping Experiments: - Users and Designers Envision a Dental Case Record System

  Nr. 292 (1989)

• PB-284 A Denotational Semantics of Inheritance and its Correctness

  Nr. 284 (1989)

• PB-281 Behavioural Notions for Elementary Net Systems

  Nr. 281 (1989)

• PB-282 DI-Domains as Information Systems*

  Nr. 282 (1989)

• PB-283 Virtual Classes - a powerful mechanism in object-oriented programming

  Nr. 283 (1989)

• PB-274 Unified Algebras and Institutions

  Nr. 274 (1989)

• PB-280 Hypertext in an Object-Oriented Programming Environment

  Nr. 280 (1989)

• PB-277 Literal resolution: A Simple Proof of Resolution Completeness

  Nr. 277 (1989)

• PB-276 Semantic Domains and Denotational Semantics

  Nr. 276 (1989)

• PB-279 A Note on Model Cheking the Modal v-calculus

  Nr. 279 (1989)

• PB-278 An Introduction to Event Structures

  Nr. 278 (1989)