Ivan Lanese

ספרים שבהם Ivan Lanese מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Techniques for Distributed Objects, Components, and SystemsElvira Albert

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert · 2016

Reversible ComputationSimon Devitt

Reversible Computation

Simon Devitt · 2020

Theoretical Computer ScienceJosep Diaz

Theoretical Computer Science

Josep Diaz · 2014