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