LEADER 02530 am  2200589 n 450 
001 9910360256103321
005 20191210
010   $a2-7226-0529-5
024 7 $a10.4000/books.cdf.7671
035   $a(CKB)4100000009952504
035   $a(FrMaCLE)OB-cdf-7671
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/51949
035   $a(PPN)241685362
035   $a(EXLCZ)994100000009952504
100   $a20191210j||||||||  |||            0
101 0 $afre
135   $auu||||||m||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 13$aLe logiciel, entre l?esprit et la matière $eLeçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018 /$fXavier Leroy
210   $aParis $cCollège de France$d2019
311   $a2-213-71241-7 
330   $aUn même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu?il exécute. Cette extraordinaire plasticité a permis à l?ordinateur de sortir des centres de calcul et de se répandre partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent cette prouesse technique ? Comment maîtriser l?incroyable et souvent effrayante complexité du logiciel ? Comment éviter les « bugs » de programmation et résister aux attaques ? Comment établir qu?un logiciel est digne de confiance ? À ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel.
517   $alogiciel, entre l?esprit et la matière 
606   $aMultidisciplinary
606   $ainformatique
606   $asciences numériques
606   $amathématiques
606   $aprogrammation
606   $alangage de programmation
606   $alogiciel
610   $asciences numériques
610   $amathématiques
610   $aprogrammation
610   $alangage de programmation
610   $ainformatique
610   $alogiciel
615  4$aMultidisciplinary
615  4$ainformatique
615  4$asciences numériques
615  4$amathématiques
615  4$aprogrammation
615  4$alangage de programmation
615  4$alogiciel
700   $aLeroy$b Xavier$0911815
701   $aLeroy$b Xavier$0911815
801  0$bFR-FrMaCLE
906   $aBOOK
912   $a9910360256103321
996   $aLe logiciel, entre l?esprit et la matière$93389780
997   $aUNINA

LEADER 01377nam0 22003011i 450 
001 UON00145709
005 20231205102900.334
100   $a20020107f1966       |0itac50      ba
101   $afre
102   $aFR
105   $a||||    1||||
200 1 $aˆLes ‰Quatrains de Medjidoub le sarcastique$ePoete maghrebin du 16e siecle$ftextes arabes publies, traduits, annotes et commentes par J. Scelles-Millie avec la collaboration de Boukhari Khelifa
210   $aParis$cMaisonneuve & Larose$dc1966
215   $a184 p.$cill.$d25 cm
606   $aPOESIA MAROCCHINA$3UONC019670$2FI
620   $aFR$dParis$3UONL002984
686   $aMAR VI BBY$cMAROCCO - LETTERATURA MODERNA E CONTEMPORANEA - CRITICA LETTERARIA - POESIA$2A
700  1$aˆal-‰MAJHUB$bAbder-rahman$3UONV087677$0672015
702  0$aBOUKHARI KHELIFA$3UONV087679
702  1$aSCELLES-MILLIE$bJ.$3UONV044334
712   $aMaisonneuve & Larose$3UONV246473$4650
790  1$aˆal-‰MAGDHUB, Abd al-Rahman$zal-MAJHUB, Abder-rahman$3UONV087678
801   $aIT$bSOL$c20240220$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00145709
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI MAR       VI                      BBY         003                 $eSI AR 1147     7        003                 
996   $aQuatrains de Medjidoub le sarcastique$91276971
997   $aUNIOR