Computer Science Logic and Foundations of Programming.
概要
作品: | 80 作品在 29 項出版品 29 種語言 |
---|
書目資訊
Descriptional complexity of formal systems = 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in software engineering education = second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, invited papers /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2023 = 20th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
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:
(書目-語言資料,印刷品)
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 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
更多
較少的
主題