Computer Science Logic and Foundations of Programming.

Theoretical aspects of computing - ICTAC 2023 = 20th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings / by: (書目-語言資料,印刷品)

Exercises in cellular automata and groups by: (書目-語言資料,印刷品)

Logic: reference book for computer scientists by: (書目-語言資料,印刷品)

Formal methods for an informal world = ICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures / by: (書目-語言資料,印刷品)

Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings / by: (書目-語言資料,印刷品)

Logic and engineering of natural language semantics = 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022 : revised selected papers / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers / by: (書目-語言資料,印刷品)

Composability, comprehensibility and correctness of working software = 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers / by: (書目-語言資料,印刷品)

Logic-based program synthesis and transformation = 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings / by: (書目-語言資料,印刷品)

Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings / by: (書目-語言資料,印刷品)

Machine translation = 19th China Conference, CCMT 2023, Jinan, China, October 19-21, 2023 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / by: (書目-語言資料,印刷品)

Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings / by: (書目-語言資料,印刷品)

Testing software and systems = 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023 : proceedings / by: (書目-語言資料,印刷品)

Frontiers of combining systems = 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings / by: (書目-語言資料,印刷品)

Automated reasoning with analytic tableaux and related methods = 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings / by: (書目-語言資料,印刷品)

Automated deduction - CADE 29 = 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023 : proceedings / by: (書目-語言資料,印刷品)

Applicable formal methods for safe industrial products = essays dedicated to Jan Peleska on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings / by: (書目-語言資料,印刷品)

Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings / 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: (書目-語言資料,印刷品)

Descriptional complexity of formal systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings / by: (書目-語言資料,印刷品)

Computational and corpus-based phraseology = 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022 : proceedings / by: (書目-語言資料,印刷品)

Prolog = the next 50 years / by: (書目-語言資料,印刷品)

Deriving priorities from incomplete fuzzy reciprocal preference relations = theories and methodologies / by: (書目-語言資料,印刷品)

Testing Software and Systems = 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings / by: (書目-語言資料,印刷品)

Inductive Logic Programming = 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings / by: (書目-語言資料,印刷品)

Software Verification = 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / by: (書目-語言資料,印刷品)

Language, Logic, and Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Logic-Based Program Synthesis and Transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

Automata Theory and Formal Languages = Fundamental Notions, Theorems, and Techniques / by: (書目-語言資料,印刷品)

Automated Reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings / by: (書目-語言資料,印刷品)

Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / 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: (書目-語言資料,印刷品)

Formal Methods for Software Engineering = Languages, Methods, Application Domains / by: (書目-語言資料,印刷品)

Integrated Formal Methods = 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings / by: (書目-語言資料,印刷品)

Implementation and Application of Automata = 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings / by: (書目-語言資料,印刷品)

Software Verification and Formal Methods for ML-Enabled Autonomous Systems = 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings / by: (書目-語言資料,印刷品)

Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

Algebraic Informatics = 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings / by: (書目-語言資料,印刷品)

Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing – ICTAC 2022 = 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops = CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Concise Guide to Software Engineering = From Fundamentals to Application Methods / by: (書目-語言資料,印刷品)

Mathematics of Program Construction = 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings / by: (書目-語言資料,印刷品)

Computational and Corpus-Based Phraseology = 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings / by: (書目-語言資料,印刷品)

Logic-Based Program Synthesis and Transformation = 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings / by: (書目-語言資料,印刷品)

Model-Based Safety and Assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / by: (書目-語言資料,印刷品)

Design Patterns in .NET 6 = Reusable Approaches in C# and F# for Object-Oriented Software Design / by: (書目-語言資料,印刷品)

Logic Programming and Nonmonotonic Reasoning = 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Descriptional Complexity of Formal Systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings / by: (書目-語言資料,印刷品)

Introduction to Computation = Haskell, Logic and Automata / by: (書目-語言資料,印刷品)

Descriptional Complexity of Formal Systems = 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings / by: (書目-語言資料,印刷品)

Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / by: (書目-語言資料,印刷品)

Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / by: (書目-語言資料,印刷品)

Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops = ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (書目-語言資料,印刷品)

Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings / by: (書目-語言資料,印刷品)