Modelling Distributed Systems

QRコード

Modelling Distributed Systems

保存先:

書誌詳細
第一著者:	Fokkink, Wan
フォーマット:	図書
言語:	English
出版事項:	Springer Berlin Heidelberg 2020
主題:	Computer Science Computer System Implementation Mathematical Logic and Formal Languages
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81952
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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, 等
出版事項: (2020)

Formal Methods in Software and Systems Modeling
出版事項: (2020)

Finite Model Theory and Its Applications
著者:: Grädel, Erich, 等
出版事項: (2020)

Distributed and Parallel Systems
出版事項: (2020)

Logical Foundations of Cyber-Physical Systems
著者:: Platzer, André
出版事項: (2020)

Frontiers of Combining Systems
著者:: Konev, Boris, 等
出版事項: (2020)

Frontiers of Combining Systems
著者:: Gramlich, Bernhard
出版事項: (2020)

Frontiers of Combining Systems
出版事項: (2020)

Fuzzy Systems and Knowledge Discovery
著者:: Wang, Lipo, 等
出版事項: (2020)

Implementing Distributed Systems with Java and CORBA
著者:: Aleksy, Markus, 等
出版事項: (2020)

Do-All Computing in Distributed Systems
著者:: Georgiou, Chryssis
出版事項: (2020)

Modeling Decisions for Artificial Intelligence
著者:: Narukawa, Yasuo, 等
出版事項: (2020)

Advances in Computer Systems Architecture
著者:: Choi, Lynn, 等
出版事項: (2020)

Advances in Computer Systems Architecture
著者:: Srikanthan, Thambipillai, 等
出版事項: (2020)

Frontiers of Combining Systems
著者:: Dixon, Clare, 等
出版事項: (2020)

Formal Models of Operating System Kernels
著者:: Craig, Iain D.
出版事項: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
著者:: Vojnar, Tomáš, 等
出版事項: (2020)

PRIMA 2017: Principles and Practice of Multi-Agent Systems
著者:: An, Bo, 等
出版事項: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
出版事項: (2020)

Models of Strategic Reasoning
著者:: Benthem, Johan van, 等
出版事項: (2020)

Deontic Logic in Computer Science
著者:: Meyden, Ron van der, 等
出版事項: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
著者:: Aguzzoli, S., 等
出版事項: (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., 等
出版事項: (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, 等
出版事項: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
著者:: Berekovic, Mladen, 等
出版事項: (2020)

An Introduction to the Technique of Formative Processes in Set Theory
著者:: Cantone, Domenico, 等
出版事項: (2020)

Descriptional Complexity of Formal Systems. 1st ed. 2017
著者:: Pighizzini, Giovanni, 等
出版事項: (2020)

Reasoning, Action and Interaction in AI Theories and Systems
著者:: Stock, Oliviero, 等
出版事項: (2020)

Teaching Formal Methods
出版事項: (2020)

Pillars of Computer Science
著者:: Avron, Arnon, 等
出版事項: (2020)

Computer Science Logic
出版事項: (2020)

Argumentation in Artificial Intelligence
著者:: Rahwan, Iyad
出版事項: (2020)

Theorem Proving in Higher Order Logics
著者:: Schneider, Klaus, 等
出版事項: (2020)