86730 results found
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, cryptoanalyse,...
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

Débuter en traitement numérique du signal : signaux et systèmes : applications au filtrage et au traitement des sons : cours et exercices résolus

Printed book - Martin Jean-Noël, DL 2005
traitement du signalfiltrage du signalson
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. 4072
  5. 4073
  6. 4074
  7. 4075
  8. 4076
  9. …
  10. 14455
  11. Next

Quick access