Computer logic.

Logic and program semanticsessays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (書目-電子資源)

Krister Segerberg on logic of actions by: (書目-電子資源)

Logic, rewriting, and concurrencyessays dedicated to Jose Meseguer on the occasion of his 65th birthday / by: (書目-電子資源)

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

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

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

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

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

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

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

Hardware and softwareverification 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 reasoning20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

Leveraging applications of formal methods, verification, and validation6th 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 Bookfrom theory to practice / by: (書目-電子資源)

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

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

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

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

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

Representation theorems in computer sciencea treatment in logic engineering / by: (書目-電子資源)

Unconventional computation and natural computation17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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