1
nork International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
Argitaratua 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”Argitaratua 2011.
Testu osoa
Livro
2
“... information systems - Defining adaptation constraints for business process variants - Process analysis...”
Testu osoa
Testu osoa
Livro
3
Analysis, architectures and modelling of embedded systems Third IFIP TC 10 International Embedded...
nork IFIP TC10 Working Conference: International Embedded Systems Symposium, Rettberg, Achim
Argitaratua 2009.
“... code generation tools - A configurable TLM of wireless sensor networks for fast exploration of system...”Argitaratua 2009.
Testu osoa
Livro
4
New results in dependability and computer systems proceedings of the 8th international conference...
nork International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Zamojski, Wojciech
Argitaratua c2013
“...Advances in intelligent systems and computing...”Argitaratua c2013
Testu osoa
Livro
5
nork International Conference on Web Information Systems and Technologies, Cordeiro, José, Filipe, Joaquim
Argitaratua 2010.
“... analysis of algorithm visualization use during collaborative learning - Modelling the B2C marketplace...”Argitaratua 2010.
Testu osoa
Livro
6
Argitaratua izan da Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”Testu osoa
Livro
7
Argitaratua izan da Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”Testu osoa
Livro
8
Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Gaiak:
“...system construction and transformation techniques...”Testu osoa
Livro
9
Argitaratua izan da Lecture Notes in Computer Science
(2019)
Gaiak:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Testu osoa
Livro
10
Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Gaiak:
“...system construction and transformation techniques...”Testu osoa
Livro
11
Argitaratua izan da Lecture Notes in Computer Science
(2019)
Gaiak:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Testu osoa
Livro
12
Argitaratua izan da Lecture Notes in Computer Science
(2019)
Gaiak:
“...Algorithms...”Testu osoa
Livro
13
Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Gaiak:
“...system construction and transforamtion techniques...”Testu osoa
Livro
14
Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Gaiak:
“...Computer Systems Organization and Communication Networks...”Testu osoa
Livro
15
Argitaratua izan da Lecture Notes in Computer Science
(2022)
Gaiak:
“...system construction and transformation techniques...”Testu osoa
Livro
16
Argitaratua izan da Lecture Notes in Computer Science
(2022)
Gaiak:
“...system construction and transformation techniques...”Testu osoa
Livro
17
Argitaratua izan da Lecture Notes in Computer Science
(2025)
Gaiak:
“...software systems...”Testu osoa
Livro
18
Argitaratua izan da Lecture Notes in Computer Science
(2025)
Gaiak:
“...software systems...”Testu osoa
Livro
19
Argitaratua izan da Lecture Notes in Computer Science
(2025)
Gaiak:
“...software systems...”Testu osoa
Livro
20
Argitaratua izan da Lecture Notes in Computer Science
(2024)
Gaiak:
“...software systems...”Testu osoa
Livro