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