1
od International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
Wydane 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”Wydane 2011.
Dokumenty pełnotekstowe
Livro
2
“... information systems - Defining adaptation constraints for business process variants - Process analysis...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
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
Wydane 2009.
“... code generation tools - A configurable TLM of wireless sensor networks for fast exploration of system...”Wydane 2009.
Dokumenty pełnotekstowe
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
Wydane c2013
“...Advances in intelligent systems and computing...”Wydane c2013
Dokumenty pełnotekstowe
Livro
5
od International Conference on Web Information Systems and Technologies, Cordeiro, José, Filipe, Joaquim
Wydane 2010.
“... analysis of algorithm visualization use during collaborative learning - Modelling the B2C marketplace...”Wydane 2010.
Dokumenty pełnotekstowe
Livro
6
Wydane w 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...”Dokumenty pełnotekstowe
Livro
7
Wydane w 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...”Dokumenty pełnotekstowe
Livro
8
Hasła przedmiotowe:
“...system construction and transformation techniques...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Livro
9
Wydane w Lecture Notes in Computer Science
(2019)
Hasła przedmiotowe:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Dokumenty pełnotekstowe
Livro
10
Hasła przedmiotowe:
“...system construction and transformation techniques...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Livro
11
Wydane w Lecture Notes in Computer Science
(2019)
Hasła przedmiotowe:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Dokumenty pełnotekstowe
Livro
12
Wydane w Lecture Notes in Computer Science
(2019)
Hasła przedmiotowe:
“...Algorithms...”Dokumenty pełnotekstowe
Livro
13
Hasła przedmiotowe:
“...system construction and transforamtion techniques...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Livro
14
Hasła przedmiotowe:
“...Computer Systems Organization and Communication Networks...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Livro
15
Wydane w Lecture Notes in Computer Science
(2022)
Hasła przedmiotowe:
“...system construction and transformation techniques...”Dokumenty pełnotekstowe
Livro
16
Wydane w Lecture Notes in Computer Science
(2022)
Hasła przedmiotowe:
“...system construction and transformation techniques...”Dokumenty pełnotekstowe
Livro
17
Wydane w Lecture Notes in Computer Science
(2025)
Hasła przedmiotowe:
“...software systems...”Dokumenty pełnotekstowe
Livro
18
Wydane w Lecture Notes in Computer Science
(2025)
Hasła przedmiotowe:
“...software systems...”Dokumenty pełnotekstowe
Livro
19
Wydane w Lecture Notes in Computer Science
(2025)
Hasła przedmiotowe:
“...software systems...”Dokumenty pełnotekstowe
Livro
20
Wydane w Lecture Notes in Computer Science
(2024)
Hasła przedmiotowe:
“...software systems...”Dokumenty pełnotekstowe
Livro