87785 results found

Filter

Clear filters
Resource

Méthodologie des plans d'interprétation

Printed book - Bringer Jean-Pierre, 1992
Resource

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...
Resource

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, cryptoa...
Resource

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques

Printed book - Ladrière Jean, 1992
arithmetiqueformalisme (mathematiques)metamathematicsmathematiquesmathematicslogique symbolique et mathematiquegodel, theoreme detheoreme de godelfondements des mathematiques
Resource

Picture control : the electron microscope and the transformation of biology in America, 1940-1960

Printed book - Rasmussen Nicolas, 1997
biologie20e sieclemicroscopes electroniquesmicroscopie electroniqueinstrument scientifiquehistoire
Resource

Die Rechenmaschinen von Konrad Zuse

Printed book - Rojas Raúl, 1998
informatiquehistoireordinateurhistoire des ingenieursallemagne
  1. Previous
  2. 1
  3. …
  4. 4231
  5. 4232
  6. 4233
  7. 4234
  8. 4235
  9. …
  10. 14631
  11. Next

Quick access