Suggested Topics within your search.
Showing 41 - 60 results of 81 for search '"Computer logic."', query time: 0.05s Refine Results
41
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
Published 2017
Subjects: “...Computer logic....”
eBook
42
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
Get full text
eBook
43
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
eBook
44
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Computer logic....”
eBook
45
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
eBook
46
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
eBook
47
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
eBook
48
Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
eBook
49
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Computer logic....”
eBook
50
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Published 2017
Subjects: “...Computer logic....”
Get full text
eBook
51
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
eBook
52
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Computer logic....”
eBook
53
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Published 2017
Subjects: “...Computer logic....”
eBook
54
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Published 2017
Subjects: “...Computer logic....”
eBook
55
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
by Zeume, Thomas.
Published 2017
Subjects: “...Computer logic....”
eBook
56
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
eBook
57
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
eBook
58
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
eBook
59
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Published 2017
Subjects: “...Computer logic....”
eBook
60
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Published 2017
Subjects: “...Computer logic....”
eBook
Search Tools: Get RSS Feed — Email this Search