English
Português
Log In
Username
Password
Log in
or
Have you forgotten your password?
Communities & Collections
All of DSpace
English
Português
Log In
Username
Password
Log in
or
Have you forgotten your password?
Home
Centres
HASLab
HASLab - Books
Browse by Date
HASLab - Books
Permanent URI for this collection
http://localhost:4000/handle/123456789/180
Browse
Recent Submissions
By Title
By Issue Date
By Author
By Subject
Recent Submissions
By Title
By Issue Date
By Author
By Subject
Browsing HASLab - Books by Issue Date
Jump to a point in the index:
(Choose year)
2024
2023
2022
2021
2020
2019
(Choose month)
January
February
March
April
May
June
July
August
September
October
November
December
Browse
Results Per Page
1
5
10
20
40
60
80
100
Sort Options
Ascending
Descending
Item
Formal Methods – The Next 30 Years
(
2019
)
José Nuno Oliveira
;
McIver,A
;
ter Beek,MH
;
5601
Item
Distributed Applications and Interoperable Systems
(
2019
)
Ricci,L
;
José Orlando Pereira
;
5602
Previous
Next