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

Complementary Definitions of Programming Language Semantics

Language Design and Programming Methodology : Proceedings of a Symposium,Held in Sidney, Australia, September 10-11, 1979

Compiler Specification and Verification

Data Base Design Techniques I : Requirements and Logical Structures. NYU Symposium,New York, May 1978

Research and Development in Information Retrieval : Proceedings,Berlin, May 18-20, 1982

Logics of Programs and Their Applications : Proceedings,Poznan, August 23-29, 1980

Complexity and Structure

Local Area Network Security : Workshop LANSEC 89. European Institute for System Security (E.I.S.S.) Karlsruhe,FRG, April 3-6, 1989. Proceedings

Taxonomy Matching Using Background Knowledge : Linked Data,Semantic Web and Heterogeneous Repositories

Compressed Sensing with Side Information on the Feasible Region

Origins and Foundations of Computing : In Cooperation with Heinz Nixdorf MuseumsForum

User-Centred Engineering : Creating Products for Humans