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