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