Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 81 Para Buscar '"Logics and Meanings of Programs."', tiempo de consulta: 0.05s Limitar resultados
1
On Sets and Graphs : Perspectives on Logic and Combinatorics /
Materias: “...Logics and Meanings of Programs....”
eBook
2
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
3
Computational Methods in Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
4
Provably Correct Systems /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
5
ESL Models and their Application : Electronic System Level Design and Verification in Practice /
por Bailey, Brian., Martin, Grant.
Publicado 2010
Materias: “...Logics and Meanings of Programs....”
eBook
6
Transactions on Petri Nets and Other Models of Concurrency XII /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
7
Unconventional Computation and Natural Computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
8
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
9
Models in Hardware Testing : Lecture Notes of the Forum in Honor of Christian Landrault /
Publicado 2010
Materias: “...Logics and Meanings of Programs....”
eBook
10
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
11
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
12
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 /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
13
Generalized Jeffrey Conditionalization : A Frequentist Semantics of Partial Conditionalization /
por Draheim, Dirk.
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
14
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
15
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
16
Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
17
Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
18
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
19
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
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 /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda