1
由 International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
出版 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”出版 2011.
獲取全文
Livro
2
“... information systems - Defining adaptation constraints for business process variants - Process analysis...”
獲取全文
獲取全文
Livro
3
Analysis, architectures and modelling of embedded systems Third IFIP TC 10 International Embedded...
“... code generation tools - A configurable TLM of wireless sensor networks for fast exploration of system...”獲取全文
Livro
4
New results in dependability and computer systems proceedings of the 8th international conference...
由 International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Zamojski, Wojciech
出版 c2013
“...Advances in intelligent systems and computing...”出版 c2013
獲取全文
Livro
5
由 International Conference on Web Information Systems and Technologies, Cordeiro, José, Filipe, Joaquim
出版 2010.
“... analysis of algorithm visualization use during collaborative learning - Modelling the B2C marketplace...”出版 2010.
獲取全文
Livro
6
發表在 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...”獲取全文
Livro
7
發表在 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...”獲取全文
Livro
8
9
發表在 Lecture Notes in Computer Science
(2019)
主題:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”獲取全文
Livro
10
11
發表在 Lecture Notes in Computer Science
(2019)
主題:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”獲取全文
Livro
12
13
14
15
發表在 Lecture Notes in Computer Science
(2022)
主題:
“...system construction and transformation techniques...”獲取全文
Livro
16
發表在 Lecture Notes in Computer Science
(2022)
主題:
“...system construction and transformation techniques...”獲取全文
Livro
17
18
19
20