Formal Grammar

क्यूआर कोड

Formal Grammar

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Foret, Annie, Muskens, Reinhard, Pogodalla, Sylvain
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer Berlin Heidelberg 2020
विषय:	Computer Science Mathematical Logic and Formal Languages Image Processing and Computer Vision
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88206
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

Formal Grammar 2018
द्वारा: Foret, Annie, और अन्य
प्रकाशित: (2020)

Formal Grammar
द्वारा: Bernardi, Raffaella, और अन्य
प्रकाशित: (2020)

Understanding and Interpreting Machine Learning in Medical Image Computing Applications
द्वारा: Stoyanov, Danail, और अन्य
प्रकाशित: (2020)

Description Logics in Multimedia Reasoning. 1st ed. 2017
द्वारा: Sikos, Leslie F.
प्रकाशित: (2020)

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

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

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

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

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

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

Formal Correctness of Security Protocols
द्वारा: Bella, Giampaolo
प्रकाशित: (2020)

Concise Guide to Formal Methods
द्वारा: O'Regan, Gerard
प्रकाशित: (2020)

Combinatorics on Words
द्वारा: Mercaş, Robert, और अन्य
प्रकाशित: (2020)

Descriptional Complexity of Formal Systems. 1st ed. 2017
द्वारा: Pighizzini, Giovanni, और अन्य
प्रकाशित: (2020)

Formal Methods Teaching
द्वारा: Dongol, Brijesh, और अन्य
प्रकाशित: (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)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
द्वारा: Baixeries, Jaume, और अन्य
प्रकाशित: (2015)

Principles and Practice of Constraint Programming
द्वारा: Hooker, John
प्रकाशित: (2020)

Principles and Practice of Constraint Programming
द्वारा: Beck, J. Christopher
प्रकाशित: (2020)

Introduction to Formal Philosophy. 1st ed.
द्वारा: Hansson, Sven Ove, और अन्य
प्रकाशित: (2020)

Connectomics in NeuroImaging
द्वारा: Wu, Guorong, और अन्य
प्रकाशित: (2020)

An Introduction to the Technique of Formative Processes in Set Theory
द्वारा: Cantone, Domenico, और अन्य
प्रकाशित: (2020)

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

Computer Vision for Driver Assistance. 1st ed. 2017
द्वारा: Rezaei, Mahdi, और अन्य
प्रकाशित: (2020)

Studies on Speech Production
द्वारा: Fang, Qiang, और अन्य
प्रकाशित: (2020)

Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities
द्वारा: Stoyanov, Danail, और अन्य
प्रकाशित: (2020)

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

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

Frontiers of Combining Systems
द्वारा: Gramlich, Bernhard
प्रकाशित: (2020)

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

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

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

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

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

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

An Introduction to Formal Languages and Automata (Photo) /
द्वारा: Linz Peter
प्रकाशित: (1990)