Analysis and Synthesis of Computer Systems, E. Gelenbe et I. Mitrani

Lectures on the Logic of Computer Programming, Zohar Manna

Analysis and Synthesis of Computer Systems, E. Gelenbe et I. Mitrani

New Models for Population Protocols (Synthesis Lectures on Distributed Computing

Interactive IR User Study Design, Evaluation, and Reporting (Synthesis Lectures

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study

LECTURES FRANCAISES N° 98-99 - Le faux nationalisme de M. De Gaulle

VHDL for Logic Synthesis, Andrew Rushton