Formal Grammar

QR Kod

Formal Grammar

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Foret, Annie, Muskens, Reinhard, Pogodalla, Sylvain
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Mathematical Logic and Formal Languages Image Processing and Computer Vision
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88206
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Formal Grammar 2018
Yazar:: Foret, Annie, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Grammar
Yazar:: Bernardi, Raffaella, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Understanding and Interpreting Machine Learning in Medical Image Computing Applications
Yazar:: Stoyanov, Danail, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Description Logics in Multimedia Reasoning. 1st ed. 2017
Yazar:: Sikos, Leslie F.
Baskı/Yayın Bilgisi: (2020)

Teaching Formal Methods
Baskı/Yayın Bilgisi: (2020)

Formal Concept Analysis
Yazar:: Medina, Raoul, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Concept Analysis
Yazar:: Kuznetsov, Sergei O., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Concept Analysis
Baskı/Yayın Bilgisi: (2020)

Formal Methods in Software and Systems Modeling
Baskı/Yayın Bilgisi: (2020)

Formal Concept Analysis
Yazar:: Ganter, Bernhard, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Correctness of Security Protocols
Yazar:: Bella, Giampaolo
Baskı/Yayın Bilgisi: (2020)

Concise Guide to Formal Methods
Yazar:: O'Regan, Gerard
Baskı/Yayın Bilgisi: (2020)

Combinatorics on Words
Yazar:: Mercaş, Robert, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Descriptional Complexity of Formal Systems. 1st ed. 2017
Yazar:: Pighizzini, Giovanni, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods Teaching
Yazar:: Dongol, Brijesh, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Deontic Logic in Computer Science
Yazar:: Meyden, Ron van der, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Yazar:: Aguzzoli, S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Conditionals, Information, and Inference
Baskı/Yayın Bilgisi: (2020)

Logic, Language, and Computation
Baskı/Yayın Bilgisi: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Baskı/Yayın Bilgisi: (2020)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Yazar:: Baixeries, Jaume, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Principles and Practice of Constraint Programming
Yazar:: Hooker, John
Baskı/Yayın Bilgisi: (2020)

Principles and Practice of Constraint Programming
Yazar:: Beck, J. Christopher
Baskı/Yayın Bilgisi: (2020)

Introduction to Formal Philosophy. 1st ed.
Yazar:: Hansson, Sven Ove, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Connectomics in NeuroImaging
Yazar:: Wu, Guorong, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

An Introduction to the Technique of Formative Processes in Set Theory
Yazar:: Cantone, Domenico, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logical Foundations of Cyber-Physical Systems
Yazar:: Platzer, André
Baskı/Yayın Bilgisi: (2020)

Computer Vision for Driver Assistance. 1st ed. 2017
Yazar:: Rezaei, Mahdi, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Studies on Speech Production
Yazar:: Fang, Qiang, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities
Yazar:: Stoyanov, Danail, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Frontiers of Combining Systems
Yazar:: Konev, Boris, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Finite Model Theory and Its Applications
Yazar:: Grädel, Erich, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Frontiers of Combining Systems
Yazar:: Gramlich, Bernhard
Baskı/Yayın Bilgisi: (2020)

Frontiers of Combining Systems
Baskı/Yayın Bilgisi: (2020)

Pillars of Computer Science
Yazar:: Avron, Arnon, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Fuzzy Systems and Knowledge Discovery
Yazar:: Wang, Lipo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Science Logic
Baskı/Yayın Bilgisi: (2020)

Argumentation in Artificial Intelligence
Yazar:: Rahwan, Iyad
Baskı/Yayın Bilgisi: (2020)

Theorem Proving in Higher Order Logics
Yazar:: Schneider, Klaus, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

An Introduction to Formal Languages and Automata (Photo) /
Yazar:: Linz Peter
Baskı/Yayın Bilgisi: (1990)