-
1Conference
Συγγραφείς: Li, Nero, Broner, Shahar, Kim, Yubin, Mizuo, Katrina, Sauder, Elijah, To, Claire, Wang, Albert, Gila, Ofek, Shindler, Michael
Πηγή: Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1. :659-665
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3641554.3701946
-
2eBook
Συνεισφορές: Bertrand, Nathalie, Milius, Stefan
Θεματικοί όροι: Open Access, Categorical models and logics, Language theory, Automata, And games, Type theory and proof theory, Concurrency theory and process calculi, Modal, Spatial, And temporal logics, Rewriting theory, Semantics of programming languages, Program analysis, Correctness, Transformation, And verification, Logics of programming, Software specification and refinement, Models of concurrent, Reactive, And stochastic systems, Models of distributed, Hybrid, And mobile systems, Emerging models of computation, Logical aspects of computational complexity, Models of software security, Logical foundations of data bases, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists, thema EDItEUR::U Computing and Information Technology::UY Computer science, thema EDItEUR::U Computing and Information Technology::UN Databases, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science
Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/117841
-
3Report
Συγγραφείς: Brock, Benjamin, Cohn, Robert, Bakshi, Suyash, Karna, Tuomas, Kim, Jeongnim, Nowak, Mateusz, Ślusarczyk, Łukasz, Stefanski, Kacper, Mattson, Timothy G.
Πηγή: In Proceedings of the 38th ACM International Conference on Supercomputing (ICS 2024) 236-246
Θεματικοί όροι: Computer Science - Distributed, Parallel, and Cluster Computing
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2406.00158
-
4Report
Συγγραφείς: Batra, Anna, Zhou, Iris, Choi, Suh Young, Gao, Chongjiu, Xiao, Yanbing, Fereidooni, Sonia, Lin, Kevin
Θεματικοί όροι: Computer Science - Computers and Society, K.3.2
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2312.12620
-
5Academic Journal
Συγγραφείς: Anna Batra, Iris Zhou, Suh Young Choi, Chongjiu Gao, Yanbing Xiao, Sonia Fereidooni, Kevin Lin 0001
Πηγή: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. :88-94
Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Computers and Society, 5. Gender equality, 9. Industry and infrastructure, 4. Education, Computers and Society (cs.CY), 8. Economic growth, 10. No inequality, 16. Peace & justice, K.3.2
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2312.12620
-
6Academic Journal
Συγγραφείς: Benjamin Brock, Robert Cohn, Suyash Bakshi, Tuomas Karna, Jeongnim Kim, Mateusz Nowak, Łukasz Ślusarczyk, Kacper Stefanski, Timothy G. Mattson
Πηγή: Proceedings of the 38th ACM International Conference on Supercomputing. :236-246
Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC)
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2406.00158
-
7
Συγγραφείς: Kitagawa, Ryuto Jonathan
Θεματικοί όροι: Computer science, Computer engineering, Electrical engineering, Data Structures and Algorithms, Distributed Systems, Parallel Algorithms
Περιγραφή αρχείου: application/pdf
-
8Conference
Συγγραφείς: Manda, Asha Priyadarshini, Ghosh, Amit, Talluri, Naga Sarvani, Thondepu, Supriyanka, Suryadevara, Kowsalya, Somala, Siva Kotireddy
Πηγή: 2025 12th International Conference on Emerging Trends in Engineering & Technology - Signal and Information Processing (ICETET - SIP) Emerging Trends in Engineering & Technology - Signal and Information Processing (ICETET - SIP), 2025 12th International Conference on. :1-6 Aug, 2025
Relation: 2025 12th International Conference on Emerging Trends in Engineering & Technology - Signal and Information Processing (ICETET - SIP)
-
9Academic Journal
Συγγραφείς: Aaron Hong, Christina Boucher 0001
Πηγή: J Comput Biol
Θεματικοί όροι: Data Structures, Algorithms and Complexity, Salmonella, Humans, Computational Biology, Computer Science and Mathematics, Review Article, Genomics, Data Compression, Algorithms
Περιγραφή αρχείου: application/pdf
-
10
Συγγραφείς: Jiang, Xinjian
Θεματικοί όροι: Computer science, Computer engineering, Applied mathematics, hierarchical bit vectors, parallel data structures, parallel graph algorithms, priority queues, vertex subsets
Περιγραφή αρχείου: application/pdf
-
11Academic Journal
Συγγραφείς: Ang Li, Shikai Zhuang, Tianyi Yang, Wenran Lu, Jiahao Xu
Πηγή: Applied and Computational Engineering. 69:71-77
Θεματικοί όροι: Data Structures, Algorithms and Complexity, 9. Industry and infrastructure, Computer Science and Mathematics
Περιγραφή αρχείου: application/pdf
-
12Academic Journal
-
13Academic Journal
-
14Academic Journal
Συγγραφείς: Abdelmonem M Ibrahim, Doaa A Fakhry, Fares Al-Shargie
Περιγραφή αρχείου: application/pdf
-
15Academic Journal
-
16Academic Journal
-
17eBook
Συνεισφορές: Abdulla, Parosh Aziz, Kesner, Delia
Θεματικοί όροι: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science
Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/101666
-
18Academic Journal
-
19Academic Journal
-
20Academic Journal