Ngôn ngữ:
Kết quả 1 - 10 của 158.542 trong Tất cả tài nguyên
Chỉ hiển thị
- Tạp chí có bình duyệt (47.117)
Lọc theo:
Dạng tài nguyên:
Kỷ yếu hội nghị
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Kỷ yếu hội nghị
|
|
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: IEEPADTài liệu số/Tài liệu điện tử |
| 2 |
Material Type: Kỷ yếu hội nghị
|
|
Assessing and Restoring Reproducibility of Jupyter Notebooks2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.138-149EISSN: 2643-1572 ;EISBN: 9781450367684 ;EISBN: 1450367682 ;DOI: 10.1145/3324884.3416585 ;CODEN: IEEPADTài liệu số/Tài liệu điện tử |
| 3 |
Material Type: Kỷ yếu hội nghị
|
|
|
| 4 |
Material Type: Kỷ yếu hội nghị
|
|
CoVeriTeam Service: Verification as a Service2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.21-25EISSN: 2574-1934 ;EISBN: 9798350322637 ;DOI: 10.1109/ICSE-Companion58688.2023.00017 ;CODEN: IEEPADTài liệu số/Tài liệu điện tử |
| 5 |
Material Type: Kỷ yếu hội nghị
|
|
BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.722-733EISSN: 2643-1572 ;EISBN: 9781450367684 ;EISBN: 1450367682 ;DOI: 10.1145/3324884.3416641 ;CODEN: IEEPADTài liệu số/Tài liệu điện tử |
| 6 |
Material Type: Kỷ yếu hội nghị
|
|
Reusing IEEE 1687-Compatible Instruments and Sub-Networks over a System BusProceedings - International Test Conference, 2022, p.219ISBN: 1665462701 ;ISBN: 9781665462709 ;DOI: 10.1109/ITC50671.2022.00030Tài liệu số/Tài liệu điện tử |
| 7 |
Material Type: Kỷ yếu hội nghị
|
|
Scaling Client-Specific Equivalence Checking via Impact Boundary Search2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.734-745EISSN: 2643-1572 ;EISBN: 9781450367684 ;EISBN: 1450367682 ;DOI: 10.1145/3324884.3416634 ;CODEN: IEEPADTài liệu số/Tài liệu điện tử |
| 8 |
Material Type: Kỷ yếu hội nghị
|
|
Neural Program Repair with Execution-based Backpropagation2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1506-1518EISSN: 1558-1225 ;EISBN: 9781450392211 ;EISBN: 1450392210 ;DOI: 10.1145/3510003.3510222 ;CODEN: IEEPADTài liệu số/Tài liệu điện tử |
| 9 |
Material Type: Kỷ yếu hội nghị
|
|
The Effect of Ignition Procedure on Flashback of Hydrogen-Enriched FlamesJournal of engineering for gas turbines and power, 2024, Vol.146 (1) [Tạp chí có phản biện]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0742-4795 ;EISSN: 1528-8919 ;DOI: 10.1115/GT2023-101785Tài liệu số/Tài liệu điện tử |
| 10 |
Material Type: Kỷ yếu hội nghị
|
|
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.1377-1381EISSN: 2643-1572 ;EISBN: 1665403373 ;EISBN: 9781665403375 ;DOI: 10.1109/ASE51524.2021.9678706 ;CODEN: IEEPADTài liệu số/Tài liệu điện tử |
Chủ đề của tôi
Refine Search Results
Mở rộng kết quả tìm kiếm
Chỉ hiển thị
- Tạp chí có bình duyệt (47.117)
Chủ đề
- Science & Technology (83.645)
- Technology (82.074)
- Engineering (63.735)
- Engineering Sciences (50.084)
- Computer Science (46.034)
- Engineering, Electrical & Electronic (22.903)
- Computer Science, Theory & Methods (16.677)
- Exact Sciences And Technology (16.336)
- Mechanics (15.963)
- Computer Science, Software Engineering (15.024)
- Engineering, Mechanical (14.727)
- Physical Sciences (13.631)
- Physics (13.380)
- Applied Sciences (12.569)
- Materials Science (12.515)
- Materials Science, Multidisciplinary (11.422)
- Computer Science, Artificial Intelligence (8.873)
- Signal And Image Processing (8.797)
- Computer Science, Information Systems (8.268)
- Computer Science; Control Theory; Systems (8.213)
-
Lựa chọn khác
Cơ sở dữ liệu
- Hyper Article en Ligne (HAL) (Open Access) (68.787)
- ProQuest Central (33.126)
- DOAJ Directory of Open Access Journals (16.533)
- ROAD: Directory of Open Access Scholarly Resources (16.359)
- Open Access: EDP Open (14.271)
- SWEPUB Freely available online (9.920)
- NASA Technical Reports Server (4.289)
- Loughborough University Institutional Repository (2.364)
- Loughborough University Institutional Repository Open Access (2.327)
- Recercat (2.235)
- Geneva Foundation Free Medical Journals at publisher websites (2.170)
- Universidade do Porto Institutional Repository Open Access (1.608)
- HAL-SHS: Archive ouverte en Sciences de l'Homme et de la Société (Open Access) (1.488)
- IEEE Open Access Journals (1.398)
- Ebook Central - Academic Complete (1.332)
- Open Access: IOP Publishing Free Content (821)
- Spiral (723)
- MEDLINE (692)
- ScholarVox International (411)
- UCL Discovery (352)
-
Lựa chọn khác
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||