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