The Programming Language Ada : Reference Manual. Proposed Standard Document United States Department of Defense
Mixed Automorphic Forms,Torus Bundles, and Jacobi Forms
Probabilistic and Statistical Methods in Cryptology : An Introduction by Selected Topics
Algorithms and Models for the Web-Graph : Third International Workshop,WAW 2004, Rome, Italy, October 16, 2004. Proceedings
The Seventeen Provers of the World : Foreword by Dana S. Scott
Quality-Driven Query Answering for Integrated Information Systems
Supercomputing Frontiers : 5th Asian Conference,SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Decision Support Systems IX: Main Developments and Future Trends : 5th International Conference on Decision Support System Technology,EmC-ICDSST 2019
Agile Processes in Software Engineering and Extreme Programming : 20th International Conference,XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proc
Advanced Hybrid Information Processing : Second EAI International Conference,ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings
Data Quality and Trust in Big Data : 5th International Workshop,QUAT 2018, Held in Conjunction with WISE 2018, Dubai, UAE, November 12-15, 2018, Revi
Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction : 5th IAPR TC 9 Workshop,MPRSS 2018, Beijing, China, August 20, 2018
