التقنية والكمبيوتر

Computer Engineering and Technology : 21st CCF Conference,NCCET 2017, Xiamen, China, August 16-18, 2017, Revised Selected Papers

Programming Languages : 17th Brazilian Symposium,SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings

Reasoning Web : First International Summer School 2005,Msida, Malta, July 25-29, 2005, Revised Lectures

Discrete-Event Control of Stochastic Networks: Multimodularity and Regularity

Generic Model Management : Concepts and Algorithms

Programming Multi-Agent Systems : First International Workshop,PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers

Agents and Peer-to-Peer Computing : Third International Workshop,AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers

LOGLAN 88 - Report on the Programming Language

Algebra II : Chapters 4 - 7

Logic of Programs : Workshop,ETH Zürich, May-July 1979

Concepts in User Interfaces : A Reference Model for Command and Response Languages

Lectures on the Complexity of Bilinear Problems