Epistemic logic : 5 questions
Livre imprimé - 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
Livre imprimé - 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, cryptoa...
Greek and Roman mechanical water-lifting devices : the history of a technology
Livre imprimé - Oleson John Peter, 1984
Die Rechenmaschinen von Konrad Zuse
Livre imprimé - Rojas Raúl, 1998
On growth and form
Livre imprimé - Thompson D'Arcy Wentworth, Bonner John Tyler, 1992
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
Livre imprimé - Coulaud Philippe, Cité des sciences et de l'industrie Département Evaluation et prospective