-
Programming languages and systems – proceedings
Barthe, Gilles 2011 Springer
-
Formal verification of object-oriented software – international conference ; revised selected papers
Beckert, Bernhard ; Marché, Claude 2011 Springer
-
Language, games, and evolution – trends in current research on language and game theory
Benz, Anton ; Ebert, Christian ; Jäger, Gerhard ; Rooij, Robert van 2011 Springer
-
Model-integrating software components – engineering flexible software systems
Derakhshanmanesh, Mahdi 2015 Springer Vieweg
-
Mechatronics: Multidisciplinary Engineering
Soliman, Fouad 2017 LAP LAMBERT Academic Publishing