Suggested Topics within your search.
Showing 1 - 20 results of 81 for search '"Logics and Meanings of Programs."', query time: 0.06s Refine Results
1
On Sets and Graphs : Perspectives on Logic and Combinatorics /
Subjects: “...Logics and Meanings of Programs....”
eBook
2
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
3
Computational Methods in Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
4
ESL Models and their Application : Electronic System Level Design and Verification in Practice /
by Bailey, Brian., Martin, Grant.
Published 2010
Subjects: “...Logics and Meanings of Programs....”
eBook
5
Provably Correct Systems /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
6
Transactions on Petri Nets and Other Models of Concurrency XII /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
7
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
8
Models in Hardware Testing : Lecture Notes of the Forum in Honor of Christian Landrault /
Published 2010
Subjects: “...Logics and Meanings of Programs....”
eBook
9
Unconventional Computation and Natural Computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
10
Generalized Jeffrey Conditionalization : A Frequentist Semantics of Partial Conditionalization /
by Draheim, Dirk.
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
11
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
12
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
13
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: “...Logics and Meanings of Programs....”
eBook
14
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
15
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
16
Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
17
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
18
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
19
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: “...Logics and Meanings of Programs....”
eBook
20
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
Search Tools: Get RSS Feed — Email this Search