Logic Programming and Nonmonotonic Reasoning : Third International Conference,LPNMR 95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Knots and Links in Three-Dimensional Flows
Schubert Varieties and Degeneracy Loci
Algorithmic Algebra and Number Theory : Selected Papers From a Conference Held at the University of Heidelberg in October 1997
Information and Communication Technologies for Development : 16th IFIP WG 9.4 International Conference on Social Implications of Computers in Developi
Dynamic Logic. New Trends and Applications : Third International Workshop,DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Pa
Computer Vision - ECCV 2020 Workshops : Glasgow,UK, August 23-28, 2020, Proceedings, Part II
Smart Business: Technology and Data Enabled Innovative Business Models and Practices : 18th Workshop on e-Business,WeB 2019, Munich, Germany, Decembe
Statistical Atlases and Computational Models of the Heart. M&Ms and EMIDEC Challenges : 11th International Workshop,STACOM 2020, Held in Conjunction
Diversity,Divergence, Dialogue : 16th International Conference, iConference 2021, Beijing, China, March 17-31, 2021, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference,TACAS 2021, Held as Part of the European Joint Conf
