Net Theory and Applications : Proceedings of the Advanced Course on General Net Theory of Processes and Systems,Hamburg, October 8-19, 1979
Abstract Software Specifications : 1979 Copenhagen Winter School,January 22 - February 2, 1979. Proceedings
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
