كتب ملصقات

A Survey of Verification Techniques for Parallel Programs

International Symposium on Programming : 5th Colloquium,Turin, April 6-8, 1982. Proceedings

Skys Big Steelband Surprise: A Heartwarming Story of Music,Culture, and Family

Natural Computing and Beyond : Winter School Hakodate 2011,Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Ja

CLU : Reference Manual

An Attribute Grammar for the Semantic Analysis of ADA

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT),B

Ada Software Tools Interfaces : Workshop,Bath, July 13-15, 1983. Proceedings

Semiotic Praxis: Studies in Pertinence and in the Means of Expression and Communication

Semiotics 1980

NEUTRABAS : A Neutral Product Definition Database for Large Multifunctional Systems

Dynamic Alliance Auctions : A Mechanism for Internet-Based Transportation Markets