Symbolic

Results: 1438



#Item
871Magento / Git / Symbolic link / Apache Subversion / Email / APP / Software / Computing / Free software

Engineering a Magento store Ashley Schroder Wednesday, 9 February 2011 Our Must-haves

Add to Reading List

Source URL: cdn.aschroder.com

Language: English - Date: 2013-11-28 22:12:48
872Archive formats / Tar / Computer file / File format / Data file / Stat / Ar / Symbolic link / Computing / Software / System software

Perl versiondocumentation - Archive::Tar::File NAME Archive::Tar::File - a subclass for in-memory extracted file from Archive::Tar SYNOPSIS

Add to Reading List

Source URL: perldoc.perl.org

Language: English - Date: 2014-10-03 15:47:49
873Human behavior / Science / Clifford Geertz / Symbolic anthropology / Prayer / Audio power / Power / Meditation / Culture / Spiritual practice / Spirituality / Anthropology

Microsoft WordBook review - Southeast Asian Perspectives on Power FINAL EDITS CHECKED.docx

Add to Reading List

Source URL: www.lindenwood.edu

Language: English - Date: 2014-12-07 20:13:09
874

Murray Edelman: A politika szimbolikus valósága L’Harmattan Budapest, 2004 A fordítás alapjául szolgáló kiadás: Murray Edelman: The symbolic Uses of Politics. 2. kiadás. University of Illinois

Add to Reading List

Source URL: e3.hu

Language: Hungarian - Date: 2009-06-26 05:23:06
    875X86 architecture / Data types / Assembly languages / Decompiler / X86 assembly language / C++ / MOV / X86 / C++ classes / Computer architecture / Computing / Software engineering

    IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution Tielei Wang† , Tao Wei†∗, Zhiqiang Lin‡ , Wei Zou† † Key Laboratory of Network and Software Security As

    Add to Reading List

    Source URL: lenx.100871.net

    Language: English - Date: 2009-01-16 17:24:00
    876

    Delphi Technical Reference Card VII GulfCoastal.bizland.com Symbolic constant name | Value (hexadecimal) |

    Add to Reading List

    Source URL: www.digilife.be

    Language: English - Date: 2003-03-27 12:43:52
      877Computing / Binary decision diagram / Vehicle Identification Number / Petri net / Z3 / Medical diagnosis / Science / Computer science / Diagrams / Artificial intelligence / Diagnosis

      A Decentralised Symbolic Diagnosis Approach1 Anika Schumann2 and Yannick Pencol´e3 and Sylvie Thi´ebaux4 Abstract. This paper considers the diagnosis of large discrete-event systems consisting of many components. The p

      Add to Reading List

      Source URL: users.cecs.anu.edu.au

      Language: English - Date: 2010-06-05 04:18:21
      878Group theory / Number theory / Microsoft Office / SYmbolic LinK / Liouville number / Mathematics / Diophantine approximation / Modular arithmetic

      ISSN 1064–5624, Doklady Mathematics, 2009, Vol. 79, No. 1, pp. 87–89. © Pleiades Publishing, Ltd., 2009. Original Russian Text © A.V. Ustinov, 2009, published in Doklady Akademii Nauk, 2009, Vol. 424, No. 4, pp. 45

      Add to Reading List

      Source URL: iam.khv.ru

      Language: English - Date: 2013-08-25 18:50:53
      879Computer programming / Symbolic execution / Concolic testing / Buffer overflow / Algorithm / Infinite loop / Function / Stack / Dependence analysis / Software bugs / Software engineering / Computing

      Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University

      Add to Reading List

      Source URL: www.andrew.cmu.edu

      Language: English - Date: 2013-09-09 05:44:56
      880Logic in computer science / Functions and mappings / Lambda calculus / Function / Combinatory logic / Aterm / Axiom / Algorithm / Ordinal number / Mathematics / Mathematical logic / Logic

      A General System for Learning and Reasoning in Symbolic Domains Claes Stranneg˚ard1 , Abdul Rahim Nizamani2 , and Ulf Persson3 1 Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg,

      Add to Reading List

      Source URL: agi-conf.org

      Language: English - Date: 2014-08-18 09:36:06
      UPDATE