Sökt på: Böcker av Etienne André
totalt 41 träffar
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The …
Chambres Départementales Considérées Comme Moyen d'Arrêter Toute Usurpation Sur La Puissance
Chambres departementales considerees comme moyen d'arreter toute usurpation sur la puissance legitime et de retablir la liberte convenable aux communes, suivi de quelques …
Group Theory From A Geometrical Viewpoint
This proceedings presents the latest research materials done on group theory from geometrical viewpoint in particular Gromov's theory of hyperbolic groups, Coxeter groups, Tits …
Dialogues on Migration Policy
Dialogues on Migration Policy brings together leading American and European scholars of immigration politics to address migration policy. Editors Marco Giugni and Florence Passy's …
Group Theory From A Geometrical Viewpoint
This proceedings presents the latest research materials done on group theory from geometrical viewpoint in particular Gromov's theory of hyperbolic groups, Coxeter groups, Tits …
From the Margins of Globalization
'Either you are with us or you are with the Terrorists!' President Bush exclaimed in a joint session of Congress ten days after the September 11 attacks. Even though the war on …
Essai de Géographie Pour Les Commençans. Partie 2
Intracorporeal Robotics
A promising long-term evolution of surgery relies on intracorporeal microrobotics. This book reviews the physical and methodological principles, and the scientific challenges to be …
Bringing History to Life
History has never been as present in our daily lives as it is today. Through any number of media outlets, tens of millions of people are in daily contact with historical discourses …
Traité de géographie et de statistique à l'usage des officiers des états-majors de l'armée
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October …