Architecting Dependable Systems III

Κώδικας QR

Architecting Dependable Systems III

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Lemos, Rogério de, Gacek, Cristina, Romanovsky, Alexander
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer Berlin Heidelberg 2020
Θέματα:	Computer Science Theory of Computation Software Engineering
Διαθέσιμο Online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83495
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Παρόμοια τεκμήρια

Architecting Dependable Systems IV
ανά: Lemos, Rogério de, κ.ά.
Έκδοση: (2020)

Architecting Dependable Systems V
Έκδοση: (2020)

Architecting Dependable Systems VI
Έκδοση: (2020)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ανά: Fantechi, Alessandro, κ.ά.
Έκδοση: (2020)

Software Engineering for Self-Adaptive Systems III. Assurances
ανά: Lemos, Rogério de, κ.ά.
Έκδοση: (2020)

Analysis and Design of Information Systems
ανά: Langer, Arthur M.
Έκδοση: (2020)

Symposium on Real-Time and Hybrid Systems
ανά: Jones, Cliff, κ.ά.
Έκδοση: (2020)

Formal Methods for Industrial Critical Systems
ανά: Leue, Stefan, κ.ά.
Έκδοση: (2020)

Software Architecture
ανά: Lopes, Antónia, κ.ά.
Έκδοση: (2020)

Software Engineering for Multi-Agent Systems III
Έκδοση: (2020)

Dependability Metrics
ανά: Eusgeld, Irene, κ.ά.
Έκδοση: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems III
ανά: Sichman, Jaime Simão, κ.ά.
Έκδοση: (2020)

Software Engineering for Resilient Systems
ανά: Romanovsky, Alexander, κ.ά.
Έκδοση: (2020)

Software Engineering for Multi-Agent Systems V
ανά: Choren, Ricardo, κ.ά.
Έκδοση: (2020)

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning
ανά: Tuyls, Karl, κ.ά.
Έκδοση: (2020)

Formal Methods: Applications and Technology
ανά: Brim, Lubos, κ.ά.
Έκδοση: (2020)

Architects of the web :
ανά: Reid, Robert H.
Έκδοση: (1997)

SDL 2007: Design for Dependable Systems
ανά: Gaudin, Emmanuel, κ.ά.
Έκδοση: (2020)

Formal Methods for Performance Evaluation
ανά: Bernardo, Marco, κ.ά.
Έκδοση: (2020)

Autonomic and Trusted Computing
ανά: Xiao, Bin, κ.ά.
Έκδοση: (2020)

Theory and Applications of Satisfiability Testing – SAT 2017
ανά: Gaspers, Serge, κ.ά.
Έκδοση: (2020)

Formal Methods: Foundations and Applications
ανά: Cavalheiro, Simone, κ.ά.
Έκδοση: (2020)

SOFSEM 2007: Theory and Practice of Computer Science
ανά: Leeuwen, Jan van, κ.ά.
Έκδοση: (2020)

Services Computing
ανά: Zhang, Liang-Jie, κ.ά.
Έκδοση: (2020)

Theory and Applications of Satisfiability Testing – SAT 2018
ανά: Beyersdorff, Olaf, κ.ά.
Έκδοση: (2020)

Petri Nets and Other Models of Concurrency - ICATPN 2007
ανά: Kleijn, Jetty, κ.ά.
Έκδοση: (2020)

Models of Computation. 1st ed. 2017
ανά: Bruni, Roberto, κ.ά.
Έκδοση: (2020)

Verified Software. Theories, Tools, and Experiments
ανά: Paskevich, Andrei, κ.ά.
Έκδοση: (2020)

Architecture Description Languages
Έκδοση: (2020)

Formal Methods and Stochastic Models for Performance Evaluation
ανά: Wolter, Katinka
Έκδοση: (2020)

SOFSEM 2008: Theory and Practice of Computer Science
ανά: Geffert, Villiam, κ.ά.
Έκδοση: (2020)

ZB 2005: Formal Specification and Development in Z and B
Έκδοση: (2020)

Models, Algorithms, Logics and Tools
ανά: Aceto, Luca, κ.ά.
Έκδοση: (2020)

Composition of Embedded Systems. Scientific and Industrial Issues
ανά: Kordon, Fabrice, κ.ά.
Έκδοση: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
ανά: Larsen, Kim Guldstrand, κ.ά.
Έκδοση: (2020)

Transactions on Aspect-Oriented Software Development III
ανά: Rashid, Awais, κ.ά.
Έκδοση: (2020)

Time-Dependent Scheduling
ανά: Gawiejnowicz, Stanislaw
Έκδοση: (2020)

Theory and Applications of Satisfiability Testing – SAT 2019
ανά: Janota, Mikoláš, κ.ά.
Έκδοση: (2020)

High Performance Computing for Computational Science – VECPAR 2016. 1st ed. 2017
ανά: Dutra, Inês, κ.ά.
Έκδοση: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
ανά: Feng, Xinyu, κ.ά.
Έκδοση: (2020)