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