Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings

Distributional Cost-Effectiveness Analysis: Quantifying Health Equity Impacts and Trade-Offs

Expert System Techniques in Biomedical Science Practice

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Automated Face Analysis: Emerging Technologies and Research: Emerging Technologies and Research

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Bioinformatics Research and Development: Second International Conference, BIRD 2008, Vienna, Austria, July 7-9, 2008 Proceedings

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Digital Health: The Impact of Technology on Healthcare

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Computational Strategies Towards Improved Protein Function Prophecy of Xylanases from Thermomyces lanuginosus

Programming Logics: Essays in Memory of Harald Ganzinger

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Biocomputing 2021 - Proceedings Of The Pacific Symposium

Finitely Presented Groups: With Applications in Post-Quantum Cryptography and Artificial Intelligence

Software Tools and Algorithms for Biological Systems

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Biocomputing 2022 - Proceedings Of The Pacific Symposium

The Book Of Traces