Results 1 - 20 of 1,505,859 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 (524,209)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book
|
|
The Essence of Software: Why Concepts Matter for Great DesignISBN: 0691230544 ;ISBN: 9780691230542 ;ISBN: 9780691225388 ;ISBN: 0691225389 ;ISBN: 0691230838 ;ISBN: 9780691230832 ;EISBN: 0691230544 ;EISBN: 9780691230542 ;DOI: 10.1515/9780691230542 ;OCLC: 1269624993Full text available |
| 2 |
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 |
| 3 |
Material Type: Conference Proceeding
|
|
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: IEEPADDigital Resources/Online E-Resources |
| 4 |
Material Type: Book
|
|
Software Defined Networks: A Comprehensive ApproachISBN: 012416675X ;ISBN: 9780124166752 ;ISBN: 0124166849 ;ISBN: 9780124166844 ;EISBN: 0124166849 ;EISBN: 9780124166844 ;DOI: 10.1016/C2013-0-00167-3 ;OCLC: 881417269 ;LCCallNum: TK5105.5833 .G67 2014ebFull text available |
| 5 |
Material Type: Conference Proceeding
|
|
Software Ticks Need No Specifications43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021,Virtual,2021-05-23 - 2021-05-29, 2021DOI: 10.1109/ICSE-NIER52604.2021.00021Digital Resources/Online E-Resources |
| 6 |
Material Type: Book
|
|
Case Study Research in Software Engineering: Guidelines and ExamplesELLIIT: the Linköping-Lund initiative on IT and mobile communication, 2012ISBN: 1118104358 ;ISBN: 9781118104354 ;ISBN: 1118181026 ;ISBN: 9781118181027 ;ISBN: 1118181034 ;ISBN: 9781118181034 ;EISBN: 1118181026 ;EISBN: 9781118181027 ;EISBN: 1118104358 ;EISBN: 9781118104354 ;EISBN: 9781118181003 ;EISBN: 111818100X ;DOI: 10.1002/9781118181034 ;OCLC: 787845617Full text available |
| 7 |
Material Type: Conference Proceeding
|
|
A Framework for Evaluating Quality-Driven Self-Adaptive Software SystemsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/1988008.1988020Digital Resources/Online E-Resources |
| 8 |
Material Type: Conference Proceeding
|
|
Using Machine Intelligence to Prioritise Code Review RequestsProceedings of the 2021 International Conference on Software Engineering (ICSE'21), 2021, p.11ISBN: 0738146692 ;ISBN: 9780738146690 ;DOI: 10.1109/ICSE-SEIP52600.2021.00010Digital Resources/Online E-Resources |
| 9 |
Material Type: Book
|
|
Programming Multi-Agent Systems in AgentSpeak using JasonISBN: 0470029005 ;ISBN: 9780470029008 ;ISBN: 0470061839 ;ISBN: 9780470061831 ;ISBN: 0470061847 ;ISBN: 9780470061848 ;EISBN: 0470061839 ;EISBN: 9780470061831 ;DOI: 10.1002/9780470061848 ;OCLC: 935267404Full text available |
| 10 |
Material Type: Book
|
|
Software Engineering for Embedded Systems - Methods, Practical Techniques, and Applications2013 ;ISBN: 9780124159174 ;ISBN: 0124159176 ;ISBN: 9780124159419 ;ISBN: 0124159419 ;EISBN: 9780124159419 ;EISBN: 0124159419 ;OCLC: 840113711 ;LCCallNum: QA76.758 .S64 2013ebFull text available |
| 11 |
Material Type: Conference Proceeding
|
|
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: IEEPADDigital Resources/Online E-Resources |
| 12 |
Material Type: Conference Proceeding
|
|
Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platformsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3404397.3404419Digital Resources/Online E-Resources |
| 13 |
Material Type: Conference Proceeding
|
|
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: IEEPADDigital Resources/Online E-Resources |
| 14 |
Material Type: Conference Proceeding
|
|
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: IEEPADDigital Resources/Online E-Resources |
| 15 |
Material Type: Conference Proceeding
|
|
On the Reliability of Coverage-Based Fuzzer Benchmarking2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1621-1633EISSN: 1558-1225 ;EISBN: 9781450392211 ;EISBN: 1450392210 ;DOI: 10.1145/3510003.3510230 ;CODEN: IEEPADDigital Resources/Online E-Resources |
| 16 |
Material Type: Conference Proceeding
|
|
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: IEEPADDigital Resources/Online E-Resources |
| 17 |
Material Type: Conference Proceeding
|
|
Lazy product discovery in huge configuration spacesDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3377811.3380372Digital Resources/Online E-Resources |
| 18 |
Material Type: Book
|
|
IOS 13 Programming for Beginners: Get Started with Building IOS Apps with Swift 5 and Xcode 11ISBN: 1838821902 ;ISBN: 9781838821906 ;EISBN: 1838820639 ;EISBN: 9781838820633 ;OCLC: 1138679622Full text available |
| 19 |
Material Type: Book
|
|
Refactoring for Software Design Smells: Managing Technical DebtISBN: 0128013974 ;ISBN: 9780128013977 ;ISBN: 9780128016466 ;ISBN: 0128016469 ;EISBN: 9780128016466 ;EISBN: 0128016469 ;DOI: 10.1016/C2013-0-23413-9 ;OCLC: 894791687 ;LCCallNum: QA76.76.R42 S86 2015ebFull text available |
| 20 |
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 |
Results 1 - 20 of 1,505,859 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 (524,209)
Refine My Results
Creation Date
- Before 1958 (327)
- 1958 To 1974 (8,116)
- 1975 To 1991 (64,401)
- 1992 To 2009 (753,080)
- After 2009 (683,671)
-
More options
New Records
- New From Last Week (257)
- New From Last Month (2,596)
- New From Last 3 Month (10,590)
-
More options
Resource Type
- Articles (844,765)
- magazinearticle (404,405)
- Reports (54,261)
- Conference Proceedings (46,461)
- Book Chapters (35,661)
- Newsletter Articles (34,159)
- Reviews (29,966)
- Newspaper Articles (22,614)
- Books (15,776)
- Thesises (postgraduate) (11,596)
- Web Resources (2,842)
- Other (986)
- Text Resources (650)
- References (569)
- Videos (295)
- Datasets (283)
- Images (222)
- Standards (191)
- Government Documents (114)
- Audio (18)
-
More options
Subject
- Software (755,862)
- Science & Technology (443,225)
- Technology (282,607)
- Computer Software Industry (224,254)
- Computer Science (214,442)
- Software Industry (197,669)
- Life Sciences & Biomedicine (175,539)
- Computer Science, Software Engineering (115,052)
- Engineering (92,560)
- Product Introduction (92,070)
- Humans (85,446)
- Algorithms (85,098)
- Exact Sciences And Technology (82,084)
- Physical Sciences (78,743)
- Applied Sciences (76,839)
- Computer Science; Control Theory; Systems (66,809)
- Internet (65,772)
- Computer Science, Theory & Methods (65,155)
- Automation (64,067)
- Computer Programs (62,544)
-
More options
Databases
- ProQuest Central (1,159,084)
- DOAJ Directory of Open Access Journals (234,256)
- ROAD: Directory of Open Access Scholarly Resources (221,673)
- PubMed Central (153,254)
- Geneva Foundation Free Medical Journals at publisher websites (145,696)
- MEDLINE (132,854)
- Open Access: Freely Accessible Journals by multiple vendors (102,101)
- Springer Open Access Journals (47,460)
- DTIC STINET (44,222)
- DTIC Technical Reports (44,222)
- arXiv.org (30,964)
- Hyper Article en Ligne (HAL) (Open Access) (24,243)
- Ebook Central - Academic Complete (19,798)
- ProQuest One Psychology (17,232)
- Open Access: Oxford University Press Open Journals (15,978)
- Journals@Ovid Open Access Journal Collection Rolling (14,314)
- Coronavirus Research Database (14,293)
- Open Access: Wiley-Blackwell Open Access Journals (14,128)
- HighWire Press (Free Journals) (14,079)
- PLoS (13,578)
-
More options
Language
- English (1,485,679)
- Japanese (43,145)
- Spanish (7,790)
- Portuguese (5,891)
- German (5,706)
- French (2,979)
- Catalan (1,942)
- Chinese (955)
- Czech (696)
- Russian (633)
- Norwegian (431)
- Persian (369)
- Turkish (280)
- Ukrainian (201)
- Italian (199)
- Polish (191)
- Hungarian (144)
- Indonesian (127)
- Arabic (124)
- Croatian (116)
-
More options
Journal Title
- arXiv.org (30,036)
- Computer Weekly (16,247)
- Computerworld (38,622)
- Crn (21,629)
- Eweek (29,571)
- Informationweek (28,836)
- Infoworld (29,801)
- Multimedia Tools And Applications (14,024)
- Network World (34,484)
- New York Times (16,803)
-
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 | ||