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