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