LEADER 01133nam  2200289z- 450 
001 9910689303703321
005 20130525095950.0
035   $a(CKB)5860000000021298
035   $a(BIP)006472397
035   $a(EXLCZ)995860000000021298
100   $a20220406c2000uuuu  -u-         -
101 0 $aeng
200 10$aDOE's fixed-price cleanup contracts $ewhy are costs still out of control? : hearing before the Subcommittee on Oversight and Investigations of the Committee on Commerce, House of Representatives, One Hundred Sixth Congress, second session, June 22, 2000
215   $a1 online resource (448 p.) 
311   $a0-16-061159-8 
517   $aDOE's Fixed-Price Cleanup Contracts
606   $aRadioactive waste sites$xCleanup$xContracting out$zUnited States
606   $aGovernment contractors$zUnited States
610   $aEthiopia
610   $aHistory
615  0$aRadioactive waste sites$xCleanup$xContracting out
615  0$aGovernment contractors
700   $aOfcansky$b Thomas P.$01743889
906   $aBOOK
912   $a9910689303703321
996   $aDOE's fixed-price cleanup contracts$94172812
997   $aUNINA

LEADER 03402nam  22007695  450 
001 9910349395603321
005 20251225205223.0
010   $a9783030021498
010   $a3030021491
024 7 $a10.1007/978-3-030-02149-8
035   $a(CKB)4100000007110990
035   $a(DE-He213)978-3-030-02149-8
035   $a(MiAaPQ)EBC6300939
035   $a(PPN)231460961
035   $a(EXLCZ)994100000007110990
100   $a20181005d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRelational and Algebraic Methods in Computer Science $e17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 ? November 1, 2018, Proceedings /$fedited by Jules Desharnais, Walter Guttmann, Stef Joosten
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVI, 385 p. 30 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11194
311 08$a9783030021481 
311 08$a3030021483 
327   $aInvited Paper -- Theoretical Foundations -- Reasoning about Computations and Programs -- Applications and Tools.
330   $aThis book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11194
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aNumerical analysis
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aNumerical Analysis
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer science.
615  0$aCompilers (Computer programs)
615  0$aComputer programming.
615  0$aNumerical analysis.
615 14$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aNumerical Analysis.
676   $a511.324
676   $a004.0151
702   $aDesharnais$b Jules$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGuttmann$b Walter$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJoosten$b Stef$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349395603321
996   $aRelational and Algebraic Methods in Computer Science$92201468
997   $aUNINA