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
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