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