Modelling Distributed Systems

QR Code (код быстрого отклика)

Modelling Distributed Systems

Сохранить в:

Библиографические подробности
Главный автор:	Fokkink, Wan
Формат:	‌
Язык:	English
Опубликовано:	Springer Berlin Heidelberg 2020
Предметы:	Computer Science Computer System Implementation Mathematical Logic and Formal Languages
Online-ссылка:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81952
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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

Схожие документы

Designing Reliable Distributed Systems
по: Ölveczky, Peter Csaba
Опубликовано: (2020)

Modelling Computing Systems
по: Moller, Faron, et al.
Опубликовано: (2020)

Formal Methods in Software and Systems Modeling
Опубликовано: (2020)

Finite Model Theory and Its Applications
по: Grädel, Erich, et al.
Опубликовано: (2020)

Distributed and Parallel Systems
Опубликовано: (2020)

Logical Foundations of Cyber-Physical Systems
по: Platzer, André
Опубликовано: (2020)

Frontiers of Combining Systems
по: Konev, Boris, et al.
Опубликовано: (2020)

Frontiers of Combining Systems
по: Gramlich, Bernhard
Опубликовано: (2020)

Frontiers of Combining Systems
Опубликовано: (2020)

Fuzzy Systems and Knowledge Discovery
по: Wang, Lipo, et al.
Опубликовано: (2020)

Implementing Distributed Systems with Java and CORBA
по: Aleksy, Markus, et al.
Опубликовано: (2020)

Do-All Computing in Distributed Systems
по: Georgiou, Chryssis
Опубликовано: (2020)

Modeling Decisions for Artificial Intelligence
по: Narukawa, Yasuo, et al.
Опубликовано: (2020)

Advances in Computer Systems Architecture
по: Choi, Lynn, et al.
Опубликовано: (2020)

Advances in Computer Systems Architecture
по: Srikanthan, Thambipillai, et al.
Опубликовано: (2020)

Frontiers of Combining Systems
по: Dixon, Clare, et al.
Опубликовано: (2020)

Formal Models of Operating System Kernels
по: Craig, Iain D.
Опубликовано: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
по: Vojnar, Tomáš, et al.
Опубликовано: (2020)

PRIMA 2017: Principles and Practice of Multi-Agent Systems
по: An, Bo, et al.
Опубликовано: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Опубликовано: (2020)

Models of Strategic Reasoning
по: Benthem, Johan van, et al.
Опубликовано: (2020)

Deontic Logic in Computer Science
по: Meyden, Ron van der, et al.
Опубликовано: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
по: Aguzzoli, S., et al.
Опубликовано: (2020)

Conditionals, Information, and Inference
Опубликовано: (2020)

Logic, Language, and Computation
Опубликовано: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Опубликовано: (2020)

Cellular Automata and Discrete Complex Systems
по: Baetens, Jan M., et al.
Опубликовано: (2020)

Computational Logic in Multi-Agent Systems
Опубликовано: (2020)

Principles and Practice of Constraint Programming
по: Hooker, John
Опубликовано: (2020)

Principles and Practice of Constraint Programming
по: Beck, J. Christopher
Опубликовано: (2020)

Foundations of Information and Knowledge Systems
по: Ferrarotti, Flavio, et al.
Опубликовано: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
по: Berekovic, Mladen, et al.
Опубликовано: (2020)

An Introduction to the Technique of Formative Processes in Set Theory
по: Cantone, Domenico, et al.
Опубликовано: (2020)

Descriptional Complexity of Formal Systems. 1st ed. 2017
по: Pighizzini, Giovanni, et al.
Опубликовано: (2020)

Reasoning, Action and Interaction in AI Theories and Systems
по: Stock, Oliviero, et al.
Опубликовано: (2020)

Teaching Formal Methods
Опубликовано: (2020)

Pillars of Computer Science
по: Avron, Arnon, et al.
Опубликовано: (2020)

Computer Science Logic
Опубликовано: (2020)

Argumentation in Artificial Intelligence
по: Rahwan, Iyad
Опубликовано: (2020)

Theorem Proving in Higher Order Logics
по: Schneider, Klaus, et al.
Опубликовано: (2020)