skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
South African research contributions to Lecture Notes in Computer Science, 1973–2022
Material Type:
Artigo
Adicionar ao Meu Espaço

South African research contributions to Lecture Notes in Computer Science, 1973–2022

Naudé, Filistéa ; Kroeze, Jan H.

South African Journal of Science, 2024-01, Vol.120 (1/2), p.1-14 [Periódico revisado por pares]

Pretoria: Academy of Science of South Africa

Texto completo disponível

2
PROSPER (Project, Sustainability, and Perseverance) Learning Model in English for Computer Science
Material Type:
Artigo
Adicionar ao Meu Espaço

PROSPER (Project, Sustainability, and Perseverance) Learning Model in English for Computer Science

Wahyuni, Dewi Sari ; Rozimela, Yenni ; Ardi, Havid ; Mukhaiyar, Mukhaiyar ; Darmansyah, Darmansyah

Sustainability, 2022-12, Vol.14 (24), p.16749 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

3
Automata theory in nominal sets
Material Type:
Artigo
Adicionar ao Meu Espaço

Automata theory in nominal sets

Bojańczyk, Mikołaj ; Klin, Bartek ; Lasota, Sławomir

Logical methods in computer science, 2014-08, Vol.10, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

4
Handling Algebraic Effects
Material Type:
Artigo
Adicionar ao Meu Espaço

Handling Algebraic Effects

Plotkin, Gordon D ; Pretnar, Matija

Logical methods in computer science, 2013-12, Vol.9, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

5
Supporting and Sustaining Equitable STEAM Activities in High School Classrooms: Understanding Computer Science Teachers’ Needs and Practices When Implementing an E-Textiles Curriculum to Forge Connections across Communities
Material Type:
Artigo
Adicionar ao Meu Espaço

Supporting and Sustaining Equitable STEAM Activities in High School Classrooms: Understanding Computer Science Teachers’ Needs and Practices When Implementing an E-Textiles Curriculum to Forge Connections across Communities

Fields, Deborah ; Kafai, Yasmin

Sustainability, 2023-05, Vol.15 (11), p.8468 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

6
Optimal controller synthesis for timed systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Optimal controller synthesis for timed systems

Busatto-Gaston, Damien ; Monmege, Benjamin ; Reynier, Pierre-Alain

Logical methods in computer science, 2023-03, Vol.19, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

7
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Material Type:
Artigo
Adicionar ao Meu Espaço

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

Guha, Shibashis ; Jecker, Ismaël ; Lehtinen, Karoliina ; Zimmermann, Martin

Logical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

8
Arena-Independent Finite-Memory Determinacy in Stochastic Games
Material Type:
Artigo
Adicionar ao Meu Espaço

Arena-Independent Finite-Memory Determinacy in Stochastic Games

Bouyer, Patricia ; Oualhadj, Youssouf ; Randour, Mickael ; Vandenhove, Pierre

Logical methods in computer science, 2023-12, Vol.19, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

9
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Material Type:
Artigo
Adicionar ao Meu Espaço

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Bisping, Benjamin ; Jansen, David N ; Nestmann, Uwe

arXiv.org, 2022-08 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

10
Principles and Practice of Explainable Machine Learning
Material Type:
Artigo
Adicionar ao Meu Espaço

Principles and Practice of Explainable Machine Learning

Belle, Vaishak ; Papantonis, Ioannis

Frontiers in big data, 2021-07, Vol.4, p.688969-688969 [Periódico revisado por pares]

Switzerland: Frontiers Media S.A

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (225.026)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (224.661)
  2. Anais de Congresso  (426)
  3. Resenhas  (1)
  4. Book Chapters  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1980  (11)
  2. 1980Até1990  (28)
  3. 1991Até2001  (41)
  4. 2002Até2012  (15.078)
  5. Após 2012  (209.932)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (225.057)
  2. Japonês  (24.843)
  3. Português  (398)
  4. Norueguês  (229)
  5. Espanhol  (63)
  6. Russo  (62)
  7. Árabe  (19)
  8. Estoniano  (9)
  9. Turco  (7)
  10. Francês  (6)
  11. Sueco  (2)
  12. Galês  (1)
  13. Ucraniano  (1)
  14. Bengalês  (1)
  15. Africâner  (1)
  16. Mais opções open sub menu

Nome da Publicação 

  1. Plos One  (71.697)
  2. Scientific Reports  (38.577)
  3. Sustainability  (17.987)
  4. Nanomaterials  (15.193)
  5. Symmetry  (11.510)
  6. Nature Communications  (10.354)
  7. Complexity  (5.869)
  8. Nanoscale Research Letters  (4.242)
  9. Springerplus  (4.212)
  10. Discrete Dynamics In Nature And Society  (3.931)
  11. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.