Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
South African research contributions to Lecture Notes in Computer Science, 1973–2022Naudé, 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 AfricaTexto completo disponível |
|
2 |
Material Type: Artigo
|
PROSPER (Project, Sustainability, and Perseverance) Learning Model in English for Computer ScienceWahyuni, Dewi Sari ; Rozimela, Yenni ; Ardi, Havid ; Mukhaiyar, Mukhaiyar ; Darmansyah, DarmansyahSustainability, 2022-12, Vol.14 (24), p.16749 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
3 |
Material Type: Artigo
|
Automata theory in nominal setsBojańczyk, Mikołaj ; Klin, Bartek ; Lasota, SławomirLogical methods in computer science, 2014-08, Vol.10, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Handling Algebraic EffectsPlotkin, Gordon D ; Pretnar, MatijaLogical methods in computer science, 2013-12, Vol.9, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
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 CommunitiesFields, Deborah ; Kafai, YasminSustainability, 2023-05, Vol.15 (11), p.8468 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
6 |
Material Type: Artigo
|
Optimal controller synthesis for timed systemsBusatto-Gaston, Damien ; Monmege, Benjamin ; Reynier, Pierre-AlainLogical methods in computer science, 2023-03, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
7 |
Material Type: Artigo
|
A Bit of Nondeterminism Makes Pushdown Automata Expressive and SuccinctGuha, Shibashis ; Jecker, Ismaël ; Lehtinen, Karoliina ; Zimmermann, MartinLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Arena-Independent Finite-Memory Determinacy in Stochastic GamesBouyer, Patricia ; Oualhadj, Youssouf ; Randour, Mickael ; Vandenhove, PierreLogical methods in computer science, 2023-12, Vol.19, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
9 |
Material Type: Artigo
|
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyBisping, Benjamin ; Jansen, David N ; Nestmann, UwearXiv.org, 2022-08 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Artigo
|
Principles and Practice of Explainable Machine LearningBelle, Vaishak ; Papantonis, IoannisFrontiers in big data, 2021-07, Vol.4, p.688969-688969 [Periódico revisado por pares]Switzerland: Frontiers Media S.ATexto completo disponível |