Architecting Dependable Systems III

QR Kod

Architecting Dependable Systems III

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Lemos, Rogério de, Gacek, Cristina, Romanovsky, Alexander
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Theory of Computation Software Engineering
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83495
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Architecting Dependable Systems IV
Yazar:: Lemos, Rogério de, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Architecting Dependable Systems V
Baskı/Yayın Bilgisi: (2020)

Architecting Dependable Systems VI
Baskı/Yayın Bilgisi: (2020)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Yazar:: Fantechi, Alessandro, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Engineering for Self-Adaptive Systems III. Assurances
Yazar:: Lemos, Rogério de, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Analysis and Design of Information Systems
Yazar:: Langer, Arthur M.
Baskı/Yayın Bilgisi: (2020)

Symposium on Real-Time and Hybrid Systems
Yazar:: Jones, Cliff, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Industrial Critical Systems
Yazar:: Leue, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Architecture
Yazar:: Lopes, Antónia, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Engineering for Multi-Agent Systems III
Baskı/Yayın Bilgisi: (2020)

Dependability Metrics
Yazar:: Eusgeld, Irene, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems III
Yazar:: Sichman, Jaime Simão, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Engineering for Resilient Systems
Yazar:: Romanovsky, Alexander, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Engineering for Multi-Agent Systems V
Yazar:: Choren, Ricardo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning
Yazar:: Tuyls, Karl, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods: Applications and Technology
Yazar:: Brim, Lubos, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Architects of the web :
Yazar:: Reid, Robert H.
Baskı/Yayın Bilgisi: (1997)

SDL 2007: Design for Dependable Systems
Yazar:: Gaudin, Emmanuel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Performance Evaluation
Yazar:: Bernardo, Marco, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Autonomic and Trusted Computing
Yazar:: Xiao, Bin, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Theory and Applications of Satisfiability Testing – SAT 2017
Yazar:: Gaspers, Serge, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods: Foundations and Applications
Yazar:: Cavalheiro, Simone, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

SOFSEM 2007: Theory and Practice of Computer Science
Yazar:: Leeuwen, Jan van, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Services Computing
Yazar:: Zhang, Liang-Jie, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Theory and Applications of Satisfiability Testing – SAT 2018
Yazar:: Beyersdorff, Olaf, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Petri Nets and Other Models of Concurrency - ICATPN 2007
Yazar:: Kleijn, Jetty, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Models of Computation. 1st ed. 2017
Yazar:: Bruni, Roberto, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verified Software. Theories, Tools, and Experiments
Yazar:: Paskevich, Andrei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Architecture Description Languages
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Stochastic Models for Performance Evaluation
Yazar:: Wolter, Katinka
Baskı/Yayın Bilgisi: (2020)

SOFSEM 2008: Theory and Practice of Computer Science
Yazar:: Geffert, Villiam, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

ZB 2005: Formal Specification and Development in Z and B
Baskı/Yayın Bilgisi: (2020)

Models, Algorithms, Logics and Tools
Yazar:: Aceto, Luca, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Composition of Embedded Systems. Scientific and Industrial Issues
Yazar:: Kordon, Fabrice, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
Yazar:: Larsen, Kim Guldstrand, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Transactions on Aspect-Oriented Software Development III
Yazar:: Rashid, Awais, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Time-Dependent Scheduling
Yazar:: Gawiejnowicz, Stanislaw
Baskı/Yayın Bilgisi: (2020)

Theory and Applications of Satisfiability Testing – SAT 2019
Yazar:: Janota, Mikoláš, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

High Performance Computing for Computational Science – VECPAR 2016. 1st ed. 2017
Yazar:: Dutra, Inês, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
Yazar:: Feng, Xinyu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)