A sua pesquisa recuperou 5 resultados. Subscrever esta pesquisa

|
1. A primer on scientific programming with Python / Hans Petter Langtangen Monografia Publicação Berlin : Springer, 2016 Descrição xxxi, 922 p. : gráficos Cota: L.S. 53219 M Disponibilidade Exemplares para empréstimo (1).

2. Intro to python for the computer and data sciences : learning to program with AI, big data and the cloud / Paul Deitel, Harvey Dietal Monografia Publicação Hudson Street, NY : Pearson Education, Inc., cop. 2020 Descrição 831 p. : il. Cota: L.S. 53505 M Disponibilidade Exemplares para empréstimo (1).

3. ProverX : rewriting and extending prover9 / Ivo Robert Monografia Publicação [S.l.] : [s.n.], 2020 Descrição IX, 138 p. Cota: L.S. 53191 TD Disponibilidade Exemplares para consulta (1). Acesso virtual Acesso no Repositório Aberto

4. ProverX : rewriting and extending prover9 / Ivo Robert Monografia Publicação [S.l.] : [s.n.], 2020 Descrição 1 disco ótico (CD-ROM) Cota: L.C. 2318 Disponibilidade Exemplares para consulta (1). Acesso virtual Acesso no Repositório Aberto

5. Forbidden Substructure Theorems / Fernando Manuel Maia Ferreira Documento eletrónico Publicação [S.l.] : [s.n.], 2022 Descrição PDF Cota: Digital 44063 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto