Modelling Distributed Systems

Côd QR

Modelling Distributed Systems

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Fokkink, Wan
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Springer Berlin Heidelberg 2020
Pynciau:	Computer Science Computer System Implementation Mathematical Logic and Formal Languages
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81952
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Designing Reliable Distributed Systems
gan: Ölveczky, Peter Csaba
Cyhoeddwyd: (2020)

Modelling Computing Systems
gan: Moller, Faron, et al.
Cyhoeddwyd: (2020)

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

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

Distributed and Parallel Systems
Cyhoeddwyd: (2020)

Logical Foundations of Cyber-Physical Systems
gan: Platzer, André
Cyhoeddwyd: (2020)

Frontiers of Combining Systems
gan: Konev, Boris, et al.
Cyhoeddwyd: (2020)

Frontiers of Combining Systems
gan: Gramlich, Bernhard
Cyhoeddwyd: (2020)

Frontiers of Combining Systems
Cyhoeddwyd: (2020)

Fuzzy Systems and Knowledge Discovery
gan: Wang, Lipo, et al.
Cyhoeddwyd: (2020)

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

Do-All Computing in Distributed Systems
gan: Georgiou, Chryssis
Cyhoeddwyd: (2020)

Modeling Decisions for Artificial Intelligence
gan: Narukawa, Yasuo, et al.
Cyhoeddwyd: (2020)

Advances in Computer Systems Architecture
gan: Choi, Lynn, et al.
Cyhoeddwyd: (2020)

Advances in Computer Systems Architecture
gan: Srikanthan, Thambipillai, et al.
Cyhoeddwyd: (2020)

Frontiers of Combining Systems
gan: Dixon, Clare, et al.
Cyhoeddwyd: (2020)

Formal Models of Operating System Kernels
gan: Craig, Iain D.
Cyhoeddwyd: (2020)

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

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

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

Models of Strategic Reasoning
gan: Benthem, Johan van, et al.
Cyhoeddwyd: (2020)

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

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

Conditionals, Information, and Inference
Cyhoeddwyd: (2020)

Logic, Language, and Computation
Cyhoeddwyd: (2020)

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

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

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

Principles and Practice of Constraint Programming
gan: Hooker, John
Cyhoeddwyd: (2020)

Principles and Practice of Constraint Programming
gan: Beck, J. Christopher
Cyhoeddwyd: (2020)

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

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

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

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

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

Teaching Formal Methods
Cyhoeddwyd: (2020)

Pillars of Computer Science
gan: Avron, Arnon, et al.
Cyhoeddwyd: (2020)

Computer Science Logic
Cyhoeddwyd: (2020)

Argumentation in Artificial Intelligence
gan: Rahwan, Iyad
Cyhoeddwyd: (2020)

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