AUB ScholarWorks
Search
AUB ScholarWorks Home
→
Students Publications
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 4 out of a total of 4 results for community: Students Publications.
(0.01 seconds)
Now showing items 1-4 of 4
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Reliability-based structural design of retaining walls supporting spatially variable soils
Tarhini, Batoul Ahmad
(
2019
)
Behavioural modeling and abstraction of concurrent programs.
Soueidi, Chukri Albert
(
2019
)
From global choreography to efficient distributed implementation.
Hallal, Rayan Ali
(
2019
)
A method for verifying choreographies and their implementations.
Khalil, Al-Abbass Adham
(
2019
)
Now showing items 1-4 of 4
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of AUB ScholarWorks
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Community
By Issue Date
Authors
Titles
Subjects
My Account
Login
Discover
Author
Hallal, Rayan Ali (1)
Khalil, Al-Abbass Adham (1)
Soueidi, Chukri Albert (1)
Tarhini, Batoul Ahmad (1)
Subject
Software engineering. (4)
Computer software -- Verification. (2)
Abstraction. (1)
Computer programming. (1)
Computer science. (1)
Distributed operating systems (Computers) (1)
ET:007081 (1)
Formal methods (Computer science) (1)
Geotechnical engineering. (1)
Modeling. (1)
... View More
Date Issued
2019 (4)
Has File(s)
Yes (4)