Modelling Distributed Systems

Codice QR

Modelling Distributed Systems

Salvato in:

Dettagli Bibliografici
Autore principale:	Fokkink, Wan
Natura:	Libro
Lingua:	English
Pubblicazione:	Springer Berlin Heidelberg 2020
Soggetti:	Computer Science Computer System Implementation Mathematical Logic and Formal Languages
Accesso online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81952
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

Designing Reliable Distributed Systems
di: Ölveczky, Peter Csaba
Pubblicazione: (2020)

Modelling Computing Systems
di: Moller, Faron, et al.
Pubblicazione: (2020)

Formal Methods in Software and Systems Modeling
Pubblicazione: (2020)

Finite Model Theory and Its Applications
di: Grädel, Erich, et al.
Pubblicazione: (2020)

Distributed and Parallel Systems
Pubblicazione: (2020)

Logical Foundations of Cyber-Physical Systems
di: Platzer, André
Pubblicazione: (2020)

Frontiers of Combining Systems
di: Konev, Boris, et al.
Pubblicazione: (2020)

Frontiers of Combining Systems
di: Gramlich, Bernhard
Pubblicazione: (2020)

Frontiers of Combining Systems
Pubblicazione: (2020)

Fuzzy Systems and Knowledge Discovery
di: Wang, Lipo, et al.
Pubblicazione: (2020)

Implementing Distributed Systems with Java and CORBA
di: Aleksy, Markus, et al.
Pubblicazione: (2020)

Do-All Computing in Distributed Systems
di: Georgiou, Chryssis
Pubblicazione: (2020)

Modeling Decisions for Artificial Intelligence
di: Narukawa, Yasuo, et al.
Pubblicazione: (2020)

Advances in Computer Systems Architecture
di: Choi, Lynn, et al.
Pubblicazione: (2020)

Advances in Computer Systems Architecture
di: Srikanthan, Thambipillai, et al.
Pubblicazione: (2020)

Frontiers of Combining Systems
di: Dixon, Clare, et al.
Pubblicazione: (2020)

Formal Models of Operating System Kernels
di: Craig, Iain D.
Pubblicazione: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
di: Vojnar, Tomáš, et al.
Pubblicazione: (2020)

PRIMA 2017: Principles and Practice of Multi-Agent Systems
di: An, Bo, et al.
Pubblicazione: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Pubblicazione: (2020)

Models of Strategic Reasoning
di: Benthem, Johan van, et al.
Pubblicazione: (2020)

Deontic Logic in Computer Science
di: Meyden, Ron van der, et al.
Pubblicazione: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
di: Aguzzoli, S., et al.
Pubblicazione: (2020)

Conditionals, Information, and Inference
Pubblicazione: (2020)

Logic, Language, and Computation
Pubblicazione: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Pubblicazione: (2020)

Cellular Automata and Discrete Complex Systems
di: Baetens, Jan M., et al.
Pubblicazione: (2020)

Computational Logic in Multi-Agent Systems
Pubblicazione: (2020)

Principles and Practice of Constraint Programming
di: Hooker, John
Pubblicazione: (2020)

Principles and Practice of Constraint Programming
di: Beck, J. Christopher
Pubblicazione: (2020)

Foundations of Information and Knowledge Systems
di: Ferrarotti, Flavio, et al.
Pubblicazione: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
di: Berekovic, Mladen, et al.
Pubblicazione: (2020)

An Introduction to the Technique of Formative Processes in Set Theory
di: Cantone, Domenico, et al.
Pubblicazione: (2020)

Descriptional Complexity of Formal Systems. 1st ed. 2017
di: Pighizzini, Giovanni, et al.
Pubblicazione: (2020)

Reasoning, Action and Interaction in AI Theories and Systems
di: Stock, Oliviero, et al.
Pubblicazione: (2020)

Teaching Formal Methods
Pubblicazione: (2020)

Pillars of Computer Science
di: Avron, Arnon, et al.
Pubblicazione: (2020)

Computer Science Logic
Pubblicazione: (2020)

Argumentation in Artificial Intelligence
di: Rahwan, Iyad
Pubblicazione: (2020)

Theorem Proving in Higher Order Logics
di: Schneider, Klaus, et al.
Pubblicazione: (2020)