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