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
Department of Fossil Fuels and Environmental Geochemistry
Department of Geology
Department of Physics
Newcastle Institute for Research on Sustainability
School of Agriculture, Food and Rural Development
School of Biology
School of Chemical Engineering and Advanced Materials
School of Chemistry
School of Civil Engineering and Geosciences
School of Computing
School of Computing Science
School of Electrical and Electronic Engineering
School of Electrical, Electronic and Computer Engineering
School of Engineering
School of Marine Science and Technology
School of Mathematics and Statistics
School of Mathematics, Statistics and Physics
School of Mechanical and Systems Engineering
School of Natural and Environmental Sciences
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
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 171-180 of 240 (Search time: 0.0 seconds).
previous
1
...
15
16
17
18
19
20
21
...
24
next
Item hits:
Issue Date
Title
Author(s)
2007
Modelling bacterial regulatory networks with Petri nets
Shaw, Oliver James
2006
Scalable Internet auctions
Khayyambashi, Mohammad-Reza
2007
Dependable compositions: a formal approach
Jefferson, Nigel Patrick.
2001
An investigation of collocation algorithms for solving boundary value problems system of ODEs
Hermansyah, Edy
2009
Towards certifiable reconfigurable real-time mission critical software systems
Wilkinson, Richard Alexander
2004
Contract representation for validation and run time monitoring
Solaiman, Ellis
2006
The effect of diverse development goals on computer-based system dependability
Lawrie, Anthony Thomas
2007
Certificate validation in untrusted domains
Batarfi, Omar Abdullah
2005
Design and evaluation of crash tolerant protocols for mobile ad-hoc networks
Vollset, Einar Wiik
2006
An algebra of Petri nets with arc-based timing restrictions
Niaouris, Apostolos
Discover
Author
1
Aaron, Samuel James
1
Abbaspour-Fard, Mohammad Hossein
1
Abdul Majeed, Zainal
1
Abel, Julia Catherine
1
Abeyasekera, Tusitha Darshana
1
Abood, Ali Muzhir
1
Abudaia, Fouad Belgassem
1
Achmatowicz, Richard
1
Agab, Ali Faisal
1
Ahmed, Nasr
.
next >
Date issued
37
2008
34
2006
32
2007
23
2004
22
2005
21
2000
20
2003
19
2001
18
2009
14
2002
.
next >
