Formal Methods for Computational Systems Biology

QR Kod

Formal Methods for Computational Systems Biology

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Bernardo, Marco, Degano, Pierpaolo, Zavattaro, Gianluigi
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81657
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

Formal Methods for Industrial Critical Systems
Baskı/Yayın Bilgisi: (2020)

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

Formal Methods and Testing
Yazar:: Hierons, Robert M., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

FM 2009: Formal Methods
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Components and Objects
Yazar:: Boer, Frank S. de, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Components and Objects
Yazar:: Boer, Frank S. de, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Lau, Kung-Kiu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Components and Objects
Baskı/Yayın Bilgisi: (2020)

FM 2008: Formal Methods
Yazar:: Cuellar, Jorge, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Web Services
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Industrial Critical Systems
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Butler, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Open Object-Based Distributed Systems
Yazar:: Barthe, Gilles
Baskı/Yayın Bilgisi: (2020)

Formal Techniques for Computer Systems and Business Processes
Yazar:: Bravetti, Mario, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Structured Object-Oriented Formal Language and Method
Yazar:: Liu, Shaoying, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Baskı/Yayın Bilgisi: (2020)

Software-Intensive Systems and New Computing Paradigms
Baskı/Yayın Bilgisi: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
Yazar:: Baier, Christel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

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

Formal Methods for Components and Objects
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Baskı/Yayın Bilgisi: (2020)

Formal Methods: Foundations and Applications
Baskı/Yayın Bilgisi: (2020)

Formal Techniques for Distributed Systems
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Yazar:: Bernardo, Marco, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Global Computing
Baskı/Yayın Bilgisi: (2020)

Trustworthy Global Computing
Yazar:: Nicola, Rocco De, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Trustworthy Global Computing
Yazar:: Barthe, Gilles, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Trustworthy Global Computing
Yazar:: Montanari, Ugo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Computational Science and Engineering
Baskı/Yayın Bilgisi: (2020)

Formal Techniques for Networked and Distributed Systems – FORTE 2008
Yazar:: Suzuki, Kenji, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Distributed Applications and Interoperable Systems
Yazar:: Meier, René, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Testing of Software and Communication Systems
Baskı/Yayın Bilgisi: (2020)

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

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

Reliable Systems on Unreliable Networked Platforms
Yazar:: Kordon, Fabrice, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Engineering for Self-Adaptive Systems
Baskı/Yayın Bilgisi: (2020)

Formal Foundations of Reuse and Domain Engineering
Baskı/Yayın Bilgisi: (2020)

Testing Commercial-off-the-Shelf Components and Systems
Baskı/Yayın Bilgisi: (2020)

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