Suggested Topics within your search.
Showing 61 - 80 results of 81 for search '"Logics and Meanings of Programs."', query time: 0.04s Refine Results
61
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
62
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
63
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
64
Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
65
Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
66
SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
67
Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
68
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
69
Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
70
Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
71
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
72
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
73
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
74
String Analysis for Software Verification and Security /
Subjects: “...Logics and Meanings of Programs....”
eBook
75
Requirements Engineering: Foundation for Software Quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
76
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
77
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
78
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
79
Security of Industrial Control Systems and Cyber-Physical Systems : Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
80
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
Get full text
eBook
Search Tools: Get RSS Feed — Email this Search