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
में प्रकाशित Lecture Notes in Computer Science
(2019)
विषय:
“...Algorithms...”पूर्ण पाठ प्राप्त करें
Livro
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