Frontiers of Combining Systems

क्यूआर कोड

Frontiers of Combining Systems

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Gramlich, Bernhard
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer Berlin Heidelberg 2020
विषय:	Computer Science Theory of Computation Mathematical Logic and Formal Languages
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81442
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

Frontiers of Combining Systems
द्वारा: Konev, Boris, और अन्य
प्रकाशित: (2020)

Frontiers of Combining Systems
प्रकाशित: (2020)

Frontiers of Combining Systems
द्वारा: Dixon, Clare, और अन्य
प्रकाशित: (2020)

Fuzzy Systems and Knowledge Discovery
द्वारा: Wang, Lipo, और अन्य
प्रकाशित: (2020)

Teaching Formal Methods
प्रकाशित: (2020)

Finite Model Theory and Its Applications
द्वारा: Grädel, Erich, और अन्य
प्रकाशित: (2020)

Pillars of Computer Science
द्वारा: Avron, Arnon, और अन्य
प्रकाशित: (2020)

Computer Science Logic
प्रकाशित: (2020)

Theorem Proving in Higher Order Logics
द्वारा: Schneider, Klaus, और अन्य
प्रकाशित: (2020)

Logical Foundations of Cyber-Physical Systems
द्वारा: Platzer, André
प्रकाशित: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
द्वारा: Beckert, Bernhard
प्रकाशित: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
द्वारा: Vojnar, Tomáš, और अन्य
प्रकाशित: (2020)

Formal Methods in Software and Systems Modeling
प्रकाशित: (2020)

PRIMA 2017: Principles and Practice of Multi-Agent Systems
द्वारा: An, Bo, और अन्य
प्रकाशित: (2020)

Modelling Computing Systems
द्वारा: Moller, Faron, और अन्य
प्रकाशित: (2020)

Modelling Distributed Systems
द्वारा: Fokkink, Wan
प्रकाशित: (2020)

Verification of Object-Oriented Software. The KeY Approach
द्वारा: Beckert, Bernhard, और अन्य
प्रकाशित: (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)

Designing Reliable Distributed Systems
द्वारा: Ölveczky, Peter Csaba
प्रकाशित: (2020)

Formal Concept Analysis
द्वारा: Ganter, Bernhard, और अन्य
प्रकाशित: (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)

Argumentation in Artificial Intelligence
द्वारा: Rahwan, Iyad
प्रकाशित: (2020)

Case-Based Reasoning Research and Development
द्वारा: Munoz-Avila, Hector, और अन्य
प्रकाशित: (2020)

Chinese Lexical Semantics
द्वारा: Wu, Yunfang, और अन्य
प्रकाशित: (2020)

Relations and Kleene Algebra in Computer Science
द्वारा: Berghammer, Rudolf, और अन्य
प्रकाशित: (2020)

Formal Concept Analysis
द्वारा: Medina, Raoul, और अन्य
प्रकाशित: (2020)

Formal Concept Analysis
द्वारा: Kuznetsov, Sergei O., और अन्य
प्रकाशित: (2020)

Foundations of Software Science and Computation Structures
द्वारा: Bojańczyk, Mikołaj, और अन्य
प्रकाशित: (2020)

Formal Concept Analysis
प्रकाशित: (2020)

Conceptual Structures: Knowledge Architectures for Smart Applications
द्वारा: Priss, Uta, और अन्य
प्रकाशित: (2020)