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