Suggested Topics within your search.
Showing 1 - 20 results of 93 for search '"Mathematical Logic and Formal Languages."', query time: 0.04s Refine Results
1
On Fuzziness : A Homage to Lotfi A. Zadeh - Volume 1 /
Published 2013
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
2
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
3
Introduction to Mathematica® with Applications /
by Mureşan, Marian.
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
4
Robustness and Usability in Modern Design Flows /
by Fey, Görschwin., Drechsler, Rolf.
Published 2008
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
5
Provably Correct Systems /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
6
Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
7
The Handbook of Formal Methods in Human-Computer Interaction /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
8
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
by Ölveczky, Peter Csaba.
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
9
Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
10
Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
11
Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
12
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
13
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
14
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
15
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
16
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
17
Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications /
by O'Regan, Gerard.
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
18
Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
19
Ingredients for Successful System Level Design Methodology /
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
20
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
Search Tools: Get RSS Feed — Email this Search