1
Dynamic Logic. New Trends and Applications [E-Book] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Dynamic Logic. New Trends and Applications [E-Book] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Logic and Its Applications [E-Book] : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings /

Full text 
Favorites
Saved in:
4
Formal Methods Teaching [E-Book] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /

Full text 
Favorites
Saved in:
5
Runtime Verification [E-Book] : A Hands-On Approach in Java /

Full text 
Favorites
Saved in:
6
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings /

Full text 
Favorites
Saved in:
7
Frontiers of Combining Systems [E-Book] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings /

Full text 
Favorites
Saved in:
8
Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Full text 
Favorites
Saved in:
9
Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Full text 
Favorites
Saved in:
10
Logic-Based Program Synthesis and Transformation [E-Book] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings /

Full text 
Favorites
Saved in:
11
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems [E-Book] : Communications of NII Shonan Meetings /

Full text 
Favorites
Saved in:
12
Logic, Computation and Rigorous Methods [E-Book] : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /

Full text 
Favorites
Saved in:
13
Structured Object-Oriented Formal Language and Method [E-Book] : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /

Full text 
Favorites
Saved in:
14
Formal Techniques for Distributed Objects, Components, and Systems [E-Book] : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings /

Full text 
Favorites
Saved in:
15
Provenance and Annotation of Data and Processes [E-Book] : 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings /

Full text 
Favorites
Saved in:
16
Deceptive AI [E-Book] : First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings /

Full text 
Favorites
Saved in:
17
Model Checking Software [E-Book] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /

Full text 
Favorites
Saved in:
18
Automated Deduction - CADE 28 [E-Book] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Full text 
Favorites
Saved in:
19
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings /

Full text 
Favorites
Saved in:
20
Quantitative Evaluation of Systems : 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings [E-Book] /

Full text 
Favorites
Saved in:

Narrow Search Results