Results 1 - 20 of 23,553 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Peer-reviewed Journals (19,914)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Energy Optimized Task Mapping for Reliable and Real-Time Networked SystemsACM transactions on sensor networks, 2023-11, p.1-24 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1550-4859 ;EISSN: 1550-4867 ;DOI: 10.1145/3584985Digital Resources/Online E-Resources |
| 2 |
Material Type: Conference Proceeding
|
|
Positive First-order Logic on WordsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/LICS52264.2021.9470602Digital Resources/Online E-Resources |
| 3 |
Material Type: Conference Proceeding
|
|
Multi-Resource List Scheduling of Moldable Parallel Jobs under Precedence ConstraintsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3472456.3472487Digital Resources/Online E-Resources |
| 4 |
Material Type: Conference Proceeding
|
|
On sequentiality and well-bracketing in the π-calculusDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/LICS52264.2021.9470559Digital Resources/Online E-Resources |
| 5 |
Material Type: Conference Proceeding
|
|
SD-Regular Transducer Expressions for Aperiodic TransformationsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/LICS52264.2021.9470738Digital Resources/Online E-Resources |
| 6 |
Material Type: Conference Proceeding
|
|
A Relational Theory of Monadic Rewriting Systems, Part IDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/LICS52264.2021.9470633Digital Resources/Online E-Resources |
| 7 |
Material Type: Conference Proceeding
|
|
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum MechanicsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3209108.3209131Digital Resources/Online E-Resources |
| 8 |
Material Type: Conference Proceeding
|
|
Bouncing threads for circular and non-wellfounded proofs -- Towards compositionality with circular proofs (Extended version)Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 1450393519 ;ISBN: 9781450393515 ;DOI: 10.1145/3531130.3533375Digital Resources/Online E-Resources |
| 9 |
Material Type: Conference Proceeding
|
|
Linear-time Temporal Logic guided Greybox Fuzzing2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1343-1355EISSN: 1558-1225 ;EISBN: 9781450392211 ;EISBN: 1450392210 ;DOI: 10.1145/3510003.3510082 ;CODEN: IEEPADDigital Resources/Online E-Resources |
| 10 |
Material Type: Article
|
|
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021Formal aspects of computing, 2024-03, Vol.36 (1) [Peer Reviewed Journal]ISSN: 0934-5043 ;ISSN: 1433-299X ;EISSN: 1433-299X ;DOI: 10.1145/3650092Digital Resources/Online E-Resources |
| 11 |
Material Type: Conference Proceeding
|
|
Proving Differential Privacy via Probabilistic CouplingsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/2933575.2934554Digital Resources/Online E-Resources |
| 12 |
Material Type: Conference Proceeding
|
|
Some constructive variants of S4 with the finite model property2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9781665448956 ;ISBN: 1665448954 ;DOI: 10.1109/LICS52264.2021.9470643Digital Resources/Online E-Resources |
| 13 |
Material Type: Conference Proceeding
|
|
Quantum Depth in the Random Oracle Model55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, USA, 2023, p.1111 [Peer Reviewed Journal]ISSN: 0737-8017 ;DOI: 10.1145/3564246.3585153Digital Resources/Online E-Resources |
| 14 |
Material Type: Conference Proceeding
|
|
Deciding Hyperproperties Combined with Functional SpecificationsAttribution ;ISBN: 1450393519 ;ISBN: 9781450393515 ;DOI: 10.1145/3531130.3533369Digital Resources/Online E-Resources |
| 15 |
Material Type: Conference Proceeding
|
|
Diagrammatic Reasoning beyond Clifford+T Quantum MechanicsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3209108.3209139Digital Resources/Online E-Resources |
| 16 |
Material Type: Conference Proceeding
|
|
A Compositional Deadlock Detector for Android Java2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.955-966EISSN: 2643-1572 ;EISBN: 1665403373 ;EISBN: 9781665403375 ;DOI: 10.1109/ASE51524.2021.9678572 ;CODEN: IEEPADDigital Resources/Online E-Resources |
| 17 |
Material Type: Conference Proceeding
|
|
Definable ellipsoid method, sums-of-squares proofs, and the isomorphism probleminfo:eu-repo/semantics/openAccess ;ISBN: 1450355838 ;ISBN: 9781450355834 ;DOI: 10.1145/3209108.3209186Digital Resources/Online E-Resources |
| 18 |
Material Type: Conference Proceeding
|
|
Combinatorial Proofs and Decomposition Theorems for First-order LogicAttribution ;DOI: 10.1109/LICS52264.2021.9470579Digital Resources/Online E-Resources |
| 19 |
Material Type: Article
|
|
Comparison of non-survey techniques for constructing regional input–output tablesAnnals of operations research, 2020-11, Vol.294 (1-2), p.225-266 [Peer Reviewed Journal]Springer Science+Business Media, LLC, part of Springer Nature 2019 ;COPYRIGHT 2020 Springer ;Annals of Operations Research is a copyright of Springer, (2019). All Rights Reserved. ;Springer Science+Business Media, LLC, part of Springer Nature 2019. ;ISSN: 0254-5330 ;EISSN: 1572-9338 ;DOI: 10.1007/s10479-019-03337-5Full text available |
| 20 |
Material Type: Conference Proceeding
|
|
Risk-Aware Scheduling Algorithms for Variable Capacity ResourcesAttribution ;DOI: 10.1145/3624062.3624194Digital Resources/Online E-Resources |
Results 1 - 20 of 23,553 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
- Peer-reviewed Journals (19,914)
Refine My Results
Creation Date
- Before 1979 (23)
- 1979 To 1989 (73)
- 1990 To 2000 (816)
- 2001 To 2012 (9,185)
- After 2012 (14,194)
-
More options
New Records
Resource Type
- Articles (19,273)
- Books (1,623)
- Book Chapters (1,565)
- Conference Proceedings (953)
- Reviews (66)
- Web Resources (29)
- magazinearticle (21)
- Thesises (postgraduate) (19)
- Reports (3)
- Text Resources (1)
-
More options
Subject
- Theory Of Computation (20,769)
- Science & Technology (18,589)
- Technology (15,327)
- Computer Science (12,489)
- Mathematics (9,476)
- Physical Sciences (8,467)
- Operations Research/decision Theory (7,915)
- Operations Research & Management Science (7,094)
- Mathematics, Applied (7,076)
- Algorithms (6,706)
- Studies (6,131)
- Optimization (5,577)
- Mathematics And Statistics (5,404)
- Combinatorics (5,299)
- Business And Management (4,332)
- Mathematical Models (3,567)
- Artificial Intelligence (3,555)
- Computer Science, Theory & Methods (3,477)
- Mathematical Analysis (3,386)
- Engineering (3,339)
-
More options
Databases
- ProQuest Central (15,674)
- Springer Nature OA/Free Journals (2,573)
- Hyper Article en Ligne (HAL) (Open Access) (1,641)
- ProQuest One Psychology (805)
- MEDLINE (681)
- Ebook Central - Academic Complete (659)
- SWEPUB Freely available online (239)
- ScholarVox International (165)
- DOAB: Directory of Open Access Books (146)
- OAPEN (142)
- SpringerLink Fully Open Access Books (83)
- Loughborough University Institutional Repository (81)
- Loughborough University Institutional Repository Open Access (79)
- Recercat (76)
- HAL-SHS: Archive ouverte en Sciences de l'Homme et de la Société (Open Access) (54)
- Cambridge University Library IR - DSpace@Cambridge (45)
- ROAD: Directory of Open Access Scholarly Resources (44)
- Europeana Collections (26)
- NORA - Norwegian Open Research Archives (21)
- DOAJ Directory of Open Access Journals (17)
-
More options
Language
Journal Title
- Algorithmica (1,173)
- Annals Of Operations Research (4,325)
- Journal Of Applied Mathematics & Computing (1,168)
- Journal Of Computational Neuroscience (805)
- Journal Of Computer Science And Technology (1,082)
- Journal Of Optimization Theory And Applications (2,865)
- Natural Computing (864)
- Numerical Algorithms (890)
- Theory Of Computing Systems (1,093)
- 计算机科学技术学报 (865)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||