skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Kết quả 1 - 20 của 31  trong Tất cả tài nguyên

Kết quả 1 2 next page
Lọc theo: Dạng tài nguyên: Kỷ yếu hội nghị xóa Cơ sở dữ liệu: eWIC Workshops in Computing (BCS) xóa Năm xuất bản: Trước1998 xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Context Sensitive User Interfaces

J.C. Campos ; F.M. Martins

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

2
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

The User Interface and Content-Based Image Retrieval Systems

C.C. Venters ; J.P. Eakins ; R.J. Hartley

Electronic workshops in computing (Online), 1997

Toàn văn sẵn có

3
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

DRIVE: An Environment for the Organised Construction of User-Interfaces to Databases

K. Mitchell ; J. Kennedy

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

4
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

A Design Life-Cycle for the Formal Design of User Interfaces

P. Palanque ; R. Bastide

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

5
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

A Formal Basis for Modelling Process and Task Management Aspects of User Interface Design

P. A. Lindsay

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

6
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant

A. Gill

Electronic workshops in computing (Online), 1995

Toàn văn sẵn có

7
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Modelling Interactions as Queues

C. Karagiannidis ; A. Koumpis ; C. Stephanidis ; A.C. Georgiou

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

8
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Experiences with Clean I/O

S.B. Jones

Electronic workshops in computing (Online), 1995

Toàn văn sẵn có

9
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

An Analysis of User Behaviour in an Interactive Auditory Field

T. Ebina ; S. Igi

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

10
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Dialogue Graphs - A Formal and Visual Specification Technique for Dialogue Modelling

E. Schlungbaum ; T. Elwert

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

11
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Verification of Properties of Human-Computer Dialogues with an Infinite Number of States

M. Mezzanotte ; F. Paternó

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

12
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Using Object-Z to Compare the MVC and PAC Architectures

A. Hussey ; D. Carrington

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

13
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Dynamic Maps: An Intuitive Interface for Naive Users of Spatial Database Systems

M. Dbouk ; D. Kvedarauskas ; P. Boursier

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

14
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Implementation of a prototype for the new ASF+SDF Meta-Environment

M.G.J van Den Brand ; T. Kuipers ; L. Moonen ; P. Olivier

Electronic workshops in computing (Online), 1997

Toàn văn sẵn có

15
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Migrating Data-Oriented Applications to a Relational Database Management System

K. Menhoudj ; M. Ou-Halima

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

16
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

On the Composition of Interactor Specifications

P. Markopoulos ; J. Rowson ; P. Johnson

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

17
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

The Use of Theorem Provers in the Teaching and Practice of Formal Methods

H. Lowe

Electronic workshops in computing (Online), 1997

Toàn văn sẵn có

18
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

A Tool for Developing Correct Programs by Refinement

D. Carrington ; I. Hayes ; R. Nickson ; G. Watson ; J. Welsh

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

19
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

User Modelling for Conceptual Database Design Based on an Extended Entity Relationship Model: A Preliminary Study

M. Altus

Electronic workshops in computing (Online), 1996

Toàn văn sẵn có

20
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Pictures: A Simple Structured Graphics Model

S. Finne ; S.P. Jones

Electronic workshops in computing (Online), 1995

Toàn văn sẵn có

Kết quả 1 - 20 của 31  trong Tất cả tài nguyên

Kết quả 1 2 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Lọc kết quả

Năm xuất bản 

Từ đến

Gợi ý tìm kiếm

Bỏ qua truy vấn này và tìm kiếm mọi thứ

theo tác giả:

  1. D. Carrington
  2. A. Hussey
  3. M.G.J van Den Brand
  4. M. Gemis
  5. S. Finne

Đang tìm Cơ sở dữ liệu bên ngoài...