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