-
Fuzzy Technology – Present Applications and Future Challenges
Collan, Mikael ; Fedrizzi, Mario ; Kacprzyk, Janusz 2016 Springer International Publishing
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
-
Fuzzy Logic in Its 50th Year – New Developments, Directions and Challenges
Kahraman, Cengiz ; Kaymak, Uzay ; Yazıcı, Adnan 2016 Springer International Publishing
-
Functional and Logic Programming – 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Kiselyov, Oleg ; King, Andrew Malcolm 2016 Springer International Publishing
-
A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Donald 2016 Springer International Publishing
-
Software Engineering – International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Meyer, Bertrand ; Nordio, Martin 2015 Springer International Publishing
-
Inductive Logic Programming – 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
2015 Springer International Publishing
-
Principles and Practice of Constraint Programming – 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
2016 Springer International Publishing
-
Software Engineering – Proceedings of CSI 2015
Hoda, M. N. ; Chauhan, Naresh ; Quadri, S. M. K. ; Srivastava, Praveen Ranjan 2019 Springer Singapore
-
TOOLympics Challenge 2023 – Updates, Results, Successes of the Formal-Methods Competitions
Beyer, Dirk ; Hartmanns, Arnd ; Kordon, Fabrice 2025 Springer Nature Switzerland, Imprint: Springer
-
Formal Methods: Foundations and Applications – 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings
C. Nogueira, Sidney ; Teodorov, Ciprian 2025 Springer Nature Switzerland, Imprint: Springer
-
Principles of Verification: Cycling the Probabilistic Landscape – Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Jansen, Nils ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Noll, Thomas ; Quatmann, Tim ; Stoelinga, Mariëlle ; Volk, Matthias 2025 Springer Nature Switzerland, Imprint: Springer
-
Principles of Verification: Cycling the Probabilistic Landscape – Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Jansen, Nils ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Noll, Thomas ; Quatmann, Tim ; Stoelinga, Mariëlle ; Volk, Matthias 2025 Springer Nature Switzerland, Imprint: Springer
-
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
-
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II
Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
-
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV
Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
-
Logic and Argumentation – 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings
Ågotnes, Thomas ; Doder, Dragan 2025 Springer Nature Singapore, Imprint: Springer
-
Data Mining and Constraint Programming – Foundations of a Cross-Disciplinary Approach
Bessiere, Christian ; De Raedt, Luc ; Kotthoff, Lars ; Nijssen, Siegfried ; O'Sullivan, Barry ; Pedreschi, Dino 2016 Springer International Publishing
-
Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Butler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif ; Biro, Miklos 2016 Springer International Publishing