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