Symbolic

Results: 1438



#Item
521

Waterford Love Champagne Toasting Flutes are an exquisite crystal commemorative of this enduring love and everlasting commitment. Crafted with a sleek, pulled stem and unique Waterford cutting pattern symbolic of the occ

Add to Reading List

Source URL: www.vonmaur.com

- Date: 2015-05-04 13:05:09
    522

    Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems Ahmed Bouajjani1 , Markus M¨uller-Olm2, and Tayssir Touili1 1 2

    Add to Reading List

    Source URL: www.liafa.jussieu.fr

    Language: English - Date: 2005-07-05 07:00:10
      523

      Symbolic Analysis for GSMP Models with One Stateful Clock Mikhail Bernadsky and Rajeev Alur Department of Computer and Information Science University of Pennsylvania {mbernads, alur}@cis.upenn.edu

      Add to Reading List

      Source URL: www.cis.upenn.edu

      Language: English - Date: 2006-12-21 08:53:51
        524

        ABSTRACT Explicit or Symbolic Translation of Linear Temporal Logic to Automata by

        Add to Reading List

        Source URL: www.cs.rice.edu

        Language: English - Date: 2014-04-29 00:19:05
          525

          Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Functional un|unparsing Kenichi Asai · Oleg Kiselyov · Chung-chieh Shan

          Add to Reading List

          Source URL: okmij.org

          Language: English - Date: 2014-01-02 01:44:44
            526

            HS Teacher Library InformationWelcome: The OCHS Library is the symbolic center of the campus and the academic hub of school life. The library staff is here to support you, your teaching, and your students’ r

            Add to Reading List

            Source URL: galesites.com

            Language: English - Date: 2015-02-26 12:25:08
              527

              The purpose of the International Symposium on Symbolic Computation in Software Science SCSS is to promote research on theoretical and practical aspects of symbolic computation in software sciences. The symposium provides

              Add to Reading List

              Source URL: www.risc.jku.at

              Language: English - Date: 2014-10-27 07:03:33
                528Debuggers / Computer errors / GNU Debugger / Segmentation fault / D / Main function / Exec / Computing / Computer programming / Software engineering

                Rationale and Pointers purpose of the lecture illustrate the use of a symbolic debugger make your life easier (really!) sources of information on gdb info gdb (from command line on EWS)

                Add to Reading List

                Source URL: courses.engr.illinois.edu

                Language: English - Date: 2014-08-25 15:40:07
                529Social anthropology / Symbolic anthropology / Seminar / Anthropology / Cultural anthropology / Pierre Bourdieu

                CULTURAL THEORY, HISTORIOGRAPHY, AND THE STUDY OF EARLY CHRISTIANITY Methodological Intensive Seminar Given by Prof. Benjamin H. Dunning (Fordham University) May 5th-9th, 2014, 9:00 – 12:00, Nobelparken, Building 1451/

                Add to Reading List

                Source URL: projects.au.dk

                Language: English - Date: 2014-02-13 08:08:38
                530Psychoanalytic theory / Critical theory / Semiotics / French feminists / Julia Kristeva / Semioticians / Abjection / Culture / The Symbolic / Philosophy / Philosophy of sexuality / Science

                CHAPTER 1 Abjection ‫ﱠ‬ For Julia Kristeva, the intolerable, or abject, body leaks wastes and fluids, in violation of the desire and hope for the “clean and proper” body, thus making

                Add to Reading List

                Source URL: www.sunypress.edu

                Language: English - Date: 2006-03-02 10:10:02
                UPDATE