يعرض 1 - 10 نتائج من 11 نتيجة بحث عن '"Machine theory."', وقت الاستعلام: 1.28s تنقيح النتائج
  1. 1
    كتاب
    Alan Mathison Turing: l'indecidibilità della vita

    المساهمون: Petrocelli, Carla, editor.

    مصطلحات موضوعية: Machine theory -- Congresses., Conference papers and proceedings.

    Subject Person: Turing, Alan Mathison, 1912-1954 -- Congresses.

    Relation: Alan Mathison Turing, l'indecidibilità della vita (Conference) (2012 : Università degli studi di Bari Aldo Moro)

    أضف إلى المفضلة
  2. 2
    كتاب
    Prediction and discovery: AMS-IMS-SIAM joint summer research conference machine and statistical learning: prediction and discovery, June 25-29, 2006, Snowbird, Utah

    المساهمون: Verducci, Joseph S., Shen, Xiaotong, 1964-, Lafferty, John.

    مصطلحات موضوعية: Machine theory -- Congresses., Conference proceedings., Conference papers and proceedings.

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    كتاب
    Mathematical foundations of computer science 2006: 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006 ; proceedings
    31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006 ; proceedings
    MFCS 2006

    مصطلحات موضوعية: Computer programming -- Congresses., Algorithms -- Congresses., Computable functions -- Congresses., Machine theory -- Congresses., Conference papers and proceedings.

    Relation: Symposium on Mathematical Foundations of Computer Science (1972- ) (31st : 2006 : Staraa Lesnaa, Slovakia)

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    كتاب
    Automata, languages and programming: 30th international colloquium, ICALP 2003 : Eindhoven, The Netherlands, June 30 -July 4 2003 : proceedings
    ICALP 2003

    المساهمون: Baeten, J. C. M.

    مصطلحات موضوعية: Machine theory -- Congresses., Computer science -- Mathematics -- Congresses., Programming languages (Electronic computers) -- Congresses., Computer science., Computer networks., Software engineering., Data structures (Computer science)., Information theory., Conference papers and proceedings., Eindhoven (2003)

    Relation: International Colloquium on Automata, Languages, and Programming (30th : 2003 : Eindhoven, Netherlnds)

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    كتاب
    Abstract state machines 2003: advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings

    المساهمون: Börger, E. (Egon), 1946-, Gargantini, Angelo, 1969-, Riccobene, Elvinia, 1964-

    مصطلحات موضوعية: Machine theory -- Congresses., Computer science., Software engineering., Logic design., Conference proceedings., Taormina (2003), Conference papers and proceedings.

    Relation: ASM 2003 (2003 : Taormina, Italy)

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    كتاب
    Process algebra and probabilistic methods: performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

    المساهمون: De Alfaro, Luca, 1966-, Gilmore, Stephen, 1962-

    مصطلحات موضوعية: Machine theory -- Congresses., Parallel processing (Electronic computers) -- Congresses., Conference proceedings., Aachen (2001), Conference papers and proceedings.

    Relation: PAPM-PROBMIV 2001 (2001 : Aachen, Germany)

    Full Text Finder
    أضف إلى المفضلة
  7. 7
    كتاب
    Implementation and application of automata: 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

    المساهمون: Yu, Sheng., Păun, Andrei.

    مصطلحات موضوعية: Machine theory -- Congresses., Computer science., Computer software., Logic design., London (2000), Conference proceedings., Conference papers and proceedings.

    Relation: CIAA 2000 (2000 : London, Ont.)

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    كتاب
    Androïden: zur Poetologie der Automaten

    المساهمون: Söring, Jürgen, 1943-, Sorg, Reto.

    مصطلحات موضوعية: Literature, Modern -- History and criticism -- Congresses., Machine theory in literature -- Congresses., Robots in literature -- Congresses., Conference papers and proceedings., Criticism, interpretation, etc.

    Relation: Internationales Neuenburger Kolloquium (6th : 1994)

    أضف إلى المفضلة
  9. 9
    كتاب
    Theory of machines and computations: proceedings.

    المساهمون: Paz, Azaria, ed., Kohavi, Zvi., ed., Kohavi, Zvi, editor., Paz, Azaria, editor.

    مصطلحات موضوعية: Sequential machine theory -- Congresses., Formal languages -- Congresses., Switching theory -- Congresses., Numerical calculations -- Congresses., Conference proceedings., Conference papers and proceedings.

    Relation: International Symposium on the Theory of Machines and Computations (1971 : Haifa, Israel)

    View record from ScienceDirect Find this book with full text from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  10. 10
    كتاب
    Formal properties of finite automata and applications: LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings

    المساهمون: Pin, Jean Eric.

    مصطلحات موضوعية: Sequential machine theory -- Congresses., Conference papers and proceedings.

    Relation: Ecole de printemps d'informatique théorique (16th : 1988 : Ramatuelle, France)

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء