Computer logic.

Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings / by: (書目-電子資源)

SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 2015 = 12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings / by: (書目-電子資源)

Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (書目-電子資源)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (書目-電子資源)

Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / by: (書目-電子資源)

Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (書目-電子資源)

Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency X by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (書目-電子資源)

The logician and the engineer = how George Boole and Claude Shannon created the information age / by: (書目-電子資源)

Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (書目-電子資源)

Subjective logic = a formalism for reasoning under uncertainty / by: (書目-電子資源)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (書目-電子資源)

Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (書目-電子資源)

Deductive software verification - The KeY Book = from theory to practice / by: (書目-電子資源)

Applied logic for computer scientists = computational deduction and formal proofs / by: (書目-電子資源)

Digital logic for computing by: (書目-電子資源)

New essays on Belnap-Dunn logic by: (書目-電子資源)

Nonsequential and distributed programming with Go = synchronization of concurrent processes: communication - cooperation - competition / by: (書目-電子資源)

Description logic, theory combination, and all that = essays dedicated to Franz Baader on the occasion of his 60th birthday / by: (書目-電子資源)

Computers, people, and thought = from data mining to evolutionary robotics / by: (書目-電子資源)

Thinking programs = logical modeling and reasoning about languages, data, computations, and executions / by: (書目-電子資源)

Mathematical reasoning = the history and impact of the DReaM group / by: (書目-電子資源)

Logics for computer and data sciences, and artificial intelligence by: (書目-電子資源)

Logic: reference book for computer scientists by: (書目-電子資源)

The logic of software = a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / by: (書目-電子資源)

Logics and type systems in theory and practice = essays dedicated to Herman Geuvers on the occasion of his 60th birthday / by: (書目-電子資源)

From computational logic to computational biology = essays dedicated to Alfredo Ferro to celebrate his scientific career / by: (書目-電子資源)

Isabelle/HOL = a proof assistant for higher-order logic / by: (書目-語言資料,印刷品)

Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (書目-電子資源)

A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (書目-電子資源)

Neighborhood semantics for modal logic by: (書目-電子資源)

Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday / by: (書目-電子資源)

Unconventional computation and natural computation = 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings / by: (書目-電子資源)

Foundations of information and knowledge systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings / by: (書目-電子資源)

Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings / by: (書目-電子資源)

Fields of logic and computation III = essays dedicated to Yuri Gurevich on the the occasion of his 80th birthday / by: (書目-電子資源)

Logic, language, and security = essays dedicated to Andre Scedrov on the occasion of his 65th birthday / by: (書目-電子資源)

Fundamentals of logic and computation = with practical automated reasoning and verification / by: (書目-電子資源)

Computational thinking = a perspective on computer science / by: (書目-電子資源)

Logic, computation and rigorous methods = essays dedicated to Egon Borger on the occasion of his 75th birthday / by: (書目-電子資源)

R-calculus.. III,. Post three-valued logic by: (書目-電子資源)

Computational thinking for life scientists by: (書目-電子資源)