Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Newcastle University eTheses
Search
Search:
All of DSpace
Newcastle University
Faculty of Science, Agriculture and Engineering
School of Computing Science
for
Current filters:
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-8 of 8 (Search time: 0.001 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
1996
Constructing highly-available distributed metainformation systems
Calsavara, Alcides
1996
Specification and verification issues in a process language
Pappalardo, Giuseppe
1996
An extended interval temporal logic and a framing technique for temporal logic programming
Duan, Zhenhua
1996
Location and routing optimization protocols supporting internet host mobility
Cho, Gi Hwan
1996
On the synthesis of integral and dynamic recurrences
Rapanotti, Lucia
1996
Fault injection testing of software implemented fault tolerance mechanisms of distributed systems
Tao, Sha
1996
STRICT: a language and tool set for the design of very large scale integrated circuits
Koelmans, Albertus Maria
1996
An algebra of high level petri nets
Hall, Jon G.
Discover
Author
1
Calsavara, Alcides
1
Cho, Gi Hwan
1
Duan, Zhenhua
1
Hall, Jon G.
1
Koelmans, Albertus Maria
1
Pappalardo, Giuseppe
1
Rapanotti, Lucia
1
Tao, Sha