LEADER 00720nam0-22002531i-450-
001 990001265510403321
035   $a000126551
035   $aFED01000126551
035   $a(Aleph)000126551FED01
035   $a000126551
100   $a20000920d1969----km-y0itay50------ba
101 0 $aeng
200 1 $aThéorie axiomatique des ensembles$fde Kriv ine
210   $aParis$cPresses Universitaires de France$d1969
225 1 $aCollection sup "le mathematicien"$v1
700  1$aKrivine,$bJ.$013113
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001265510403321
952   $a11-F-31$b10925$fMA1
959   $aMA1
996   $aThéorie axiomatique des ensembles$9355560
997   $aUNINA
DB    $aING01

LEADER 01487nam  22003853  450 
001 9911054605103321
005 20260116080317.0
010   $a3-032-07417-7
035   $a(MiAaPQ)EBC32483429
035   $a(Au-PeEL)EBL32483429
035   $a(CKB)44962467900041
035   $a(EXLCZ)9944962467900041
100   $a20260116d2025      uy         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 14$aThe Making and Meanings of a Computing Reference Work $eExploring the Encyclopedia of Computer Science
205   $a1st ed.
210  1$aCham :$cSpringer,$d2025.
210  4$d©2026.
215   $a1 online resource (135 pages)
225 1 $aSpringerBriefs in History of Computing Series
311 08$a3-032-07416-9 
330   $aThis manuscript is about an artifact, the Encyclopedia of Computer Science (ECS).From the time that computer science was mature enough to have its own reference book until printed reference books began to be eclipsed by online products--that is, roughly the final quarter of the 20th century--ECS was the premiere reference work for this field.
410  0$aSpringerBriefs in History of Computing Series
700   $aAspray$b William$025460
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9911054605103321
996   $aThe Making and Meanings of a Computing Reference Work$94529758
997   $aUNINA