CECS

Results: 762



#Item
221

Model Checking for π-Calculus Using Proof Search Alwen Tiu INRIA Lorraine 615 rue du Jardin BotaniqueVillers-l`es-Nancy, France

Add to Reading List

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

Language: English - Date: 2006-01-18 20:52:47
    222

    Probabilistic and Logical Beliefs J.W. Lloyd1 and K.S. Ng2 1 Computer Sciences Laboratory College of Engineering and Computer Science

    Add to Reading List

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

    Language: English - Date: 2008-01-31 02:29:00
      223

      (Anexo I) UNIVERSIDADE FEDERAL DO ABC DIVISÃO ACADÊMICA DO CECS

      Add to Reading List

      Source URL: cecs.ufabc.edu.br

      Language: Portuguese - Date: 2012-07-10 08:57:34
        224

        American Journal of Applied Sciences 5 (5): , 2008 ISSN © 2008 Science Publications Behavioral Modeling: an Overview Roman V. Yampolskiy

        Add to Reading List

        Source URL: cecs.louisville.edu

        Language: English - Date: 2015-09-21 11:15:15
          225

          RELAÇÃO DOS DOCUMENTOS NECESSÁRIOS PARA ENCERRAMENTO DO ESTÁGIO CURRICULAR I, II E ESTÁGIO NÃO CURRICULAR CURSO NOME MATRÍCULA

          Add to Reading List

          Source URL: cecs.ufabc.edu.br

          Language: Portuguese - Date: 2014-02-14 11:23:03
            226

            D omestic and industrial robots, intelligent software agents, virtual-world avatars, and other artificial entities are being created and deployed in our society for various routine and hazardous tasks, as well as for en

            Add to Reading List

            Source URL: cecs.louisville.edu

            Language: English - Date: 2015-09-21 11:15:17
              227

              Symbolic Learning for Adaptive Agents Joshua Cole John Lloyd Kee Siong Ng

              Add to Reading List

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

              Language: English - Date: 2004-04-14 02:27:09
                228

                boletim_servico_ufabc_456.pdf

                Add to Reading List

                Source URL: cecs.ufabc.edu.br

                Language: Portuguese - Date: 2015-04-27 16:49:59
                  229

                  ResoluçãoUnificação Estágio das Engenharias

                  Add to Reading List

                  Source URL: cecs.ufabc.edu.br

                  Language: Portuguese - Date: 2013-07-11 15:44:49
                    230

                    Reflections on Agent Beliefs J.W. Lloyd1 and K.S. Ng2 1 College of Engineering and Computer Science The Australian National University

                    Add to Reading List

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

                    Language: English - Date: 2007-10-17 00:39:57
                      UPDATE