Epistemic logic : 5 questions
Printed book - Hendricks Vincent Fella, Roy Olivier, 2010
Entretiens avec Horacio Arlo-Costa, Sergei Artemov , Robert Aumann, Giacomo Bonanno, Adam Brandenburger, Johan van Benthem, Hans van Ditmarsch, Ronald Fagin, Melvin Fit...
La cryptologie : l'art des codes secrets
Printed book - Guillot Philippe, cop. 2013
Décrit les procédés de chiffrement traditionnels depuis l'Antiquité jusqu'au XXe siècle, puis les techniques contemporaines : cryptologie à clé publique, cryptoanalyse,...
Greek and Roman mechanical water-lifting devices : the history of a technology
Printed book - Oleson John Peter, 1984
Un après-midi autour d'Henry Darcy (1803-1858) : actes de l'après-midi d'étude du 24 novembre 2003
Printed book - Pauty Michel, 2003
Les travaux de l'ingénieur H. Darcy, en particulier pour la distribution de l'eau et pour le réseau ferroviaire, furent déterminants pour l'équipement urbain de la vill...
Die Rechenmaschinen von Konrad Zuse
Printed book - Rojas Raúl, 1998
Stratégie de visite d'Explora : les visiteurs et leurs itinéraires au sein de l'exposition permanente de la Cité des Sciences et de l'industrie
Printed book - Coulaud Philippe, Cité des sciences et de l'industrie Département Evaluation et prospective