University of Alberta. Dept. of Computing Science

Author detail

UO

7 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL15039117A

Featured books

Representative editions for works actually authored by this person.

A constructive type theory for...University of Alberta. Dept. of Computing Science
AC
A constructive type theory for simple imperative programming
A constructive type theory for simple imperative programming | 1999
Representative edition for this work grouping in the active catalog.
no cover
Visualization of ATM network dataUniversity of Alberta. Dept. of Computing Science
VO
Visualization of ATM network data
Visualization of ATM network data | 1998
Representative edition for this work grouping in the active catalog.
no cover
Dynamic call admission control...University of Alberta. Dept. of Computing Science
DC
Dynamic call admission control and quality of service regulation oin ATM networks
Dynamic call admission control and quality of service regulation oin ATM networks | 1997
Representative edition for this work grouping in the active catalog.
no cover
On the design of a parallel ari...University of Alberta. Dept. of Computing Science
OT
On the design of a parallel arithmetic unit
On the design of a parallel arithmetic unit | 1979
Representative edition for this work grouping in the active catalog.
no cover
A sequential language for nanop...University of Alberta. Dept. of Computing Science
AS
A sequential language for nanoprogramming the QM-1
A sequential language for nanoprogramming the QM-1 | 1976
Representative edition for this work grouping in the active catalog.
no cover
Representing natural language i...University of Alberta. Dept. of Computing Science
RN
Representing natural language in extended semantic networks
Representing natural language in extended semantic networks | 1975
Representative edition for this work grouping in the active catalog.
no cover
Improvements to the language an...University of Alberta. Dept. of Computing Science
IT
Improvements to the language and implementation of APL
Improvements to the language and implementation of APL | 1973
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

A constructive type theory for simple imperative programming
Representative edition published 1999
Open Work
Visualization of ATM network data
Representative edition published 1998
Open Work
Dynamic call admission control and quality of service regulation oin ATM networks
Representative edition published 1997
Open Work
On the design of a parallel arithmetic unit
Representative edition published 1979
Open Work
A sequential language for nanoprogramming the QM-1
Representative edition published 1976
Open Work
Representing natural language in extended semantic networks
Representative edition published 1975
Open Work
Improvements to the language and implementation of APL
Representative edition published 1973
Open Work

University of Alberta. Dept. of Computing Science

Overview

Catalog identity

Featured books

Works in catalog