b

Results: 347007



#Item
111Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b

Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2013-12-01 12:09:39
112B E L F E R C E N T E R PA P E R The Collapse of Civilizations Malcolm H. Wiener

B E L F E R C E N T E R PA P E R The Collapse of Civilizations Malcolm H. Wiener

Add to Reading List

Source URL: www.belfercenter.org

Language: English - Date: 2018-09-05 14:46:32
113Improving Web Privacy And Security with a Cost-Benefit Analysis of the Web API by Peter Snyder B.A., Lawrence University, 2006

Improving Web Privacy And Security with a Cost-Benefit Analysis of the Web API by Peter Snyder B.A., Lawrence University, 2006

Add to Reading List

Source URL: www.peteresnyder.com

Language: English - Date: 2018-06-29 22:01:44
114TITLE II--TRADE BENEFITS FOR CARIBBEAN BASIN Subtitle B--Trade Benefits for Caribbean Basin Countries SECTEMPORARY PROVISIONS TO PROVIDE ADDITIONAL TRADE BENEFITS TO CERTAIN BENEFICIARY COUNTRIES. (a) TEMPORARY PR

TITLE II--TRADE BENEFITS FOR CARIBBEAN BASIN Subtitle B--Trade Benefits for Caribbean Basin Countries SECTEMPORARY PROVISIONS TO PROVIDE ADDITIONAL TRADE BENEFITS TO CERTAIN BENEFICIARY COUNTRIES. (a) TEMPORARY PR

Add to Reading List

Source URL: otexa.trade.gov

Language: English - Date: 2001-03-01 11:59:10
115A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2012-12-17 05:23:36
116UpdatedMUSKINGUM COUNTY POLLING LOCATIONS PCT 1-A 1-B

UpdatedMUSKINGUM COUNTY POLLING LOCATIONS PCT 1-A 1-B

Add to Reading List

Source URL: boe.muskingumcounty.org

Language: English - Date: 2018-09-24 14:19:10
117A Crash-Safe Key-Value Store Using Chained Copy-on-Write B-trees by Bruno Castro-Karney Supervised by Xi Wang

A Crash-Safe Key-Value Store Using Chained Copy-on-Write B-trees by Bruno Castro-Karney Supervised by Xi Wang

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-08-21 17:45:06
118German 7-12, BS

German 7-12, BS "DBEFNJD.BQ  5IF"DBEFNJD.BQTFSWFTBTBTVHHFTUFEDPVSTFTFRVFODFPOMZ4UVEFOUTBSFOPUMJNJUFEUPUIJTQMBOJUJTNFBOUUPCFVTFEBT

Add to Reading List

Source URL: catalog.southernct.edu

Language: English - Date: 2018-10-06 18:05:15
    119Federal Register / Vol. 67, NoThursday, September 5, Notices (A) By order approve such proposed rule change, or (B) Institute proceedings to determine whether the proposed rule change should be disapproved

    Federal Register / Vol. 67, NoThursday, September 5, Notices (A) By order approve such proposed rule change, or (B) Institute proceedings to determine whether the proposed rule change should be disapproved

    Add to Reading List

    Source URL: otexa.trade.gov

    Language: English - Date: 2002-12-16 11:31:06