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