Results 1 - 20 of 7,996 for All Library Resources
Sorted by:
Sorted by:
Date-oldestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Peer-reviewed Journals (205)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
TENSE IN FORMAL LANGUAGE SYNTAX AND CO-OPERATING SEQUENTIAL PROCESSESKybernetes, 1975-02, Vol.4 (2), p.49-55 [Peer Reviewed Journal]MCB UP Limited ;ISSN: 0368-492X ;DOI: 10.1108/eb005382Full text available |
| 2 |
Material Type: Article
|
|
Information System Design MethodologyJournal of the American Society for Information Science, 1980-01, Vol.31 (1), p.5-5Copyright Wiley Periodicals Inc. Jan 1980 ;ISSN: 0002-8231 ;EISSN: 1097-4571Full text available |
| 3 |
Material Type: Article
|
|
Guest Editorial: Programming EnvironmentsIEEE transactions on software engineering, 1981-09, Vol.SE-7 (5), p.449-450 [Peer Reviewed Journal]Copyright IEEE Computer Society Sep 1981 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/TSE.1981.230852 ;CODEN: IESEDJFull text available |
| 4 |
Material Type: Article
|
|
Ordering Actions for VisibilityIEEE transactions on software engineering, 1985-06, Vol.SE-11 (6), p.509-519 [Peer Reviewed Journal]1986 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jun 1985 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/TSE.1985.232243 ;CODEN: IESEDJFull text available |
| 5 |
Material Type: Article
|
|
Mini-indexes for literate programsDOI: 10.48550/arxiv.cs/9401102Digital Resources/Online E-Resources |
| 6 |
Material Type: Conference Proceeding
|
|
On the design of a generic object adaptorinfo:eu-repo/semantics/openAccessDigital Resources/Online E-Resources |
| 7 |
Material Type: Article
|
|
Documentation of computer programs that extend the SEEM model and provide a link to the RAINS modelDigital Resources/Online E-Resources |
| 8 |
Material Type: Article
|
|
Comparing the expressive power of the Synchronous and the Asynchronous pi-calculusDOI: 10.48550/arxiv.cs/9809008Digital Resources/Online E-Resources |
| 9 |
Material Type: Article
|
|
Scoping Constructs in Logic Programming: Implementation Problems and their SolutionDOI: 10.48550/arxiv.cs/9809016Digital Resources/Online E-Resources |
| 10 |
Material Type: Article
|
|
On Dart-Zobel Algorithm for Testing Regular Type InclusionDOI: 10.48550/arxiv.cs/9810001Digital Resources/Online E-Resources |
| 11 |
Material Type: Article
|
|
Active Libraries: Rethinking the roles of compilers and librariesDOI: 10.48550/arxiv.math/9810022Digital Resources/Online E-Resources |
| 12 |
Material Type: Article
|
|
C++ Templates as Partial EvaluationDOI: 10.48550/arxiv.cs/9810010Digital Resources/Online E-Resources |
| 13 |
Material Type: Article
|
|
Early Experience with ASDL in lccDOI: 10.48550/arxiv.cs/9810013Digital Resources/Online E-Resources |
| 14 |
Material Type: Article
|
|
A Proof Theoretic View of Constraint ProgrammingDOI: 10.48550/arxiv.cs/9810018Digital Resources/Online E-Resources |
| 15 |
Material Type: Article
|
|
|
| 16 |
Material Type: Article
|
|
A Polymorphic Groundness Analysis of Logic ProgramsDOI: 10.48550/arxiv.cs/9811001Digital Resources/Online E-Resources |
| 17 |
Material Type: Article
|
|
Deriving Abstract Semantics for Forward Analysis of Normal Logic ProgramsDOI: 10.48550/arxiv.cs/9811012Digital Resources/Online E-Resources |
| 18 |
Material Type: Article
|
|
An Emptiness Algorithm for Regular Types with Set OperatorsDOI: 10.48550/arxiv.cs/9811015Digital Resources/Online E-Resources |
| 19 |
Material Type: Article
|
|
Automatic Hardware Synthesis for a Hybrid Reconfigurable CPU Featuring Philips CPLDsDOI: 10.48550/arxiv.cs/9811021Digital Resources/Online E-Resources |
| 20 |
Material Type: Book
|
|
Programming Languages and Systems: 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99 Amsterdam, The Netherlands, March 22-28, 1999 ProceedingsSpringer-Verlag Berlin Heidelberg 1999 ;ISSN: 0302-9743 ;ISBN: 3540656995 ;ISBN: 9783540656999 ;ISBN: 9783662161913 ;ISBN: 3662161915 ;EISSN: 1611-3349 ;EISBN: 354049099X ;EISBN: 9783540490999 ;DOI: 10.1007/3-540-49099-X ;OCLC: 958521468 ;OCLC: 851761322Full text available |
Results 1 - 20 of 7,996 for All Library Resources
Sorted by:
Sorted by:
Date-oldestOr 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 (205)
Refine My Results
Creation Date
- Before 1996 (7)
- 1996 To 2003 (203)
- 2004 To 2010 (678)
- 2011 To 2018 (2,896)
- After 2018 (4,218)
-
More options
New Records
- New From Last Month (64)
- New From Last 3 Month (220)
-
More options
Resource Type
- Articles (7,938)
- Thesises (postgraduate) (22)
- Books (12)
- Conference Proceedings (11)
- Book Chapters (8)
- Newspaper Articles (2)
- Reviews (2)
- Reports (1)
-
More options
Subject
- Computer Science - Programming Languages (7,903)
- Computer Science - Logic In Computer Science (2,004)
- Programming Languages (1,554)
- Semantics (1,493)
- Algorithms (1,234)
- Computer Science - Software Engineering (1,221)
- Computer Science - Learning (635)
- Computer Science - Artificial Intelligence (599)
- Computer Science - Distributed, Parallel, And Cluster Computing (480)
- Optimization (474)
- Compilers (425)
- Program Verification (417)
- Machine Learning (387)
- Java (381)
- Source Code (376)
- Logic Programming (373)
- Data Structures (348)
- Computer Science - Cryptography And Security (343)
- Mathematical Analysis (334)
- Synthesis (318)
-
More options
Databases
- arXiv.org (7,739)
- ROAD: Directory of Open Access Scholarly Resources (7,274)
- ProQuest Central (7,129)
- Open Access: Freely Accessible Journals by multiple vendors (7,096)
- DOAJ Directory of Open Access Journals (180)
- Hyper Article en Ligne (HAL) (Open Access) (23)
- NORA - Norwegian Open Research Archives (19)
- Brage Consortium Repository (11)
- Coronavirus Research Database (9)
- Ebook Central - Academic Complete (7)
- Geneva Foundation Free Medical Journals (4)
- DOAB: Directory of Open Access Books (4)
- SWEPUB Freely available online (4)
- PubMed Central (3)
- Bergen Open Research Archive (BORA) (3)
- ERIC - Full Text Only (Discovery) (2)
- ProQuest One Psychology (2)
- Taylor & Francis eBooks Open Access (2)
- OAPEN (2)
- MIT Press Direct OA (1)
-
More options
Language
- English (7,988)
- Japanese (11)
- Norwegian (8)
- Bokmål, Norwegian (4)
- German (1)
-
More options
Journal Title
- Applied Sciences (1)
- Archivio Istituzionale Della Ricerca (1)
- Arxiv (2,664)
- arXiv.org (7,087)
- Booklist (1)
- Doaj (7)
- Hal (8)
- Ieee Transactions On Software Engineering (2)
- Logical Methods In Computer Science (164)
- Oxford University Research Archive (2)
-
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 | ||