−1

Results: 1637835



#Item
671Typography / Writing / Visual arts / Letter Arts Review / Lettering / Calligraphy / Rudolf Koch / Letterform / Didone

$letter arts review 31:1 . The Annual Juried Issue Letter Arts Review Volume 31 Number 1

Add to Reading List

Source URL: cdn.johnnealbooks.com

Language: English - Date: 2017-03-24 10:43:09
672Model checkers / Application software / PRISM model checker / Systems science / Mathematics / Model checking / Uppaal Model Checker / Probabilistic automaton / PAT / Hybrid system / Markov chain

PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

Add to Reading List

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

Language: English - Date: 2011-06-07 19:21:25
673

個人情報利用目的 Z.com Domain では、取得した個人情報を以下の利用目的の範囲内で取り扱います。 1)

Add to Reading List

Source URL: www.gmo.jp

Language: Japanese - Date: 2018-07-10 07:46:04
    674

    Microsoft Word - Regolamento orto 1 giornata.doc

    Add to Reading List

    Source URL: lortobio.ch

    Language: Italian - Date: 2015-10-22 14:44:42
      675Software / Computer programming / Computing / Functional languages / Haskell / Literate programming / Parallel computing / LLVM / SymPy / Rust / Glasgow Haskell Compiler / Computational physics

      Benjamin Gamari 45 N. East St. Apt. 1 Amherst, MAUnited States

      Add to Reading List

      Source URL: bgamari.github.io

      Language: English - Date: 2018-04-11 09:11:21
      676Social information processing / Culture / Information and communications technology / Community building / Social systems / Metaphysics / Internet culture / Barry Wellman / Virtual reality / Internet / Group / Social network analysis

      Vol01-1-A10-Wellman-Boase-Chen FOR ROBINSON.doc

      Add to Reading List

      Source URL: www.websm.org

      Language: English - Date: 2007-02-08 12:50:58
      677Mathematical logic / Logic / Mathematics / Predicate logic / Formal methods / Semantics / Edsger W. Dijkstra / Predicate transformer semantics / First-order logic / FO / Quantifier / Equality

      A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USA

      Add to Reading List

      Source URL: rjoshi.org

      Language: English - Date: 2010-09-11 18:26:03
      678Health / Law / Medical ethics / Medical record / Release of information department / Confidentiality / Medical privacy / Informed consent / Health Insurance Portability and Accountability Act / Consent / Health care / United States Department of Health and Human Services

      Microsoft Word Sensitive Information Policy (New Hampshire)(v2.1)

      Add to Reading List

      Source URL: www.collectivemedicaltech.com

      Language: English - Date: 2018-06-04 19:23:12
      679Music / Human voice / Extended techniques / Multiphonic / Lore Lixenberg / Overtone / Yodeling

      PRÊT A CHANTER: THE RULES §1 No speaking. Only vocalisations other than speaking are allowed——————§2 The number TWO is not allowed—————— §3 In this opera, speaking is considered

      Add to Reading List

      Source URL: odrathek.org

      Language: English - Date: 2018-04-28 05:19:47
      680Computing / Computer architecture / System software / Recall / Android / Pattern / Short-term memory / Student's t-test

      SysPal: System-guided Pattern Locks for Android Geumhwan Cho1 , Jun Ho Huh2 , Junsung Cho1 , Seongyeol Oh1 , Youngbae Song1 , Hyoungshick Kim1 1 Department of Computer Science and Engineering, Sungkyunkwan University, So

      Add to Reading List

      Source URL: www.ieee-security.org

      Language: English - Date: 2017-04-03 16:02:19
      UPDATE