Models for legal documentation: Using formal methods for quality assurance in hypertext systems (Technical report series / University of Newcastle upon Tyne, Computing Science)
Author: B. N Rossiter
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
The functorial data model - an extension to functional databases
Author: D A. Nelson
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Standards for assured legacy systems
Author: B N Rossiter
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Representing legal norm with the pullback functor f
Author: M A. Heather
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Prototyping a formal object-oriented database in P/FDM
Author: D A. Nelson
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Modelling collaboration in trusted multi-agency environment (Technical report)
Author: S. Alijareh
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
The categorical product data model as a formalism for object-relational databases
Author: B N. Rossiter
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Category theory: the mathematics for the humanities?
Author: M A. Heather
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Applying category theory to databases
Author: B N. Rossiter
Manufacturer: University of Newcastle upon Tyne, Computing Laboratory
|
Geometric theory of machine awareness for legal information retrieval and reasoning
Author: M A. Heather
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Formal representation of the logic embedded in legal language
Author: M. Heather
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Evaluation of the object-relational DBMS Postgres I: administrative data
Author: M J. Kim
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Models for legal documentation: using formal methods for quality assurance in hypertext systems
Author: B N. Rossiter
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Behavioural modelling of formal documents and active instruments
Author: B N. Rossiter
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
The Atlas Of Breeding Birds In Northumbria
Author: J C; Hodgson M S; Rossiter, B N Day
Manufacturer: The Northumberland and Tyneside Birdclub.,
|
The effect of the Iraqi invasion on organizations in Kuwait: a study into disaster recovery plans (Technical report series)
Author: Fahhad Al Harbi
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Image-object retrieval in mixed information systems: theory behind the practice (Technical report series)
Author: B N. Rossiter
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Data management of on-line information systems
Author: B N. Rossiter
Manufacturer: University of Newcastle upon Tyne, Computing Laboratory
|
Journal to the Henley: Log of an oarsman
Author: Frederick B Rossiter
Manufacturer: s.n.]
|
A unifying theory for content self-awareness in distributed multimedia publishing (Technical report series)
Author: M. Heather
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
Constructing standards for cross-platform operation (Technical report series)
Author: B N. Rossiter
Manufacturer: University of Newcastle upon Tyne, Computing Science
|
