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...
по IFIP TC10 Working Conference: International Embedded Systems Symposium, Rettberg, Achim
Опубликовано 2009.
“... code generation tools - A configurable TLM of wireless sensor networks for fast exploration of system...”Опубликовано 2009.
Полный текст
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
Опубликовано в: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Предметы:
“...system construction and transformation techniques...”Полный текст
Livro
9
Опубликовано в: Lecture Notes in Computer Science
(2019)
Предметы:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Полный текст
Livro
10
Опубликовано в: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Предметы:
“...system construction and transformation techniques...”Полный текст
Livro
11
Опубликовано в: Lecture Notes in Computer Science
(2019)
Предметы:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Полный текст
Livro
12
Опубликовано в: Lecture Notes in Computer Science
(2019)
Предметы:
“...Algorithms...”Полный текст
Livro
13
Опубликовано в: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Предметы:
“...system construction and transforamtion techniques...”Полный текст
Livro
14
Опубликовано в: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Предметы:
“...Computer Systems Organization and Communication Networks...”Полный текст
Livro
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
Опубликовано в: Lecture Notes in Computer Science
(2025)
Предметы:
“...software systems...”Полный текст
Livro
18
Опубликовано в: Lecture Notes in Computer Science
(2025)
Предметы:
“...software systems...”Полный текст
Livro
19
Опубликовано в: Lecture Notes in Computer Science
(2025)
Предметы:
“...software systems...”Полный текст
Livro
20
Опубликовано в: Lecture Notes in Computer Science
(2024)
Предметы:
“...software systems...”Полный текст
Livro