Results 1 - 20 of 49,857 for All Library Resources
Show only
- Digital Resources/Online E-Resources (27,220)
- Peer-reviewed Journals (48,240)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book Chapter
|
|
A Hazards-Based Correctness Statement for Pipelined CircuitsCorrect Hardware Design and Verification Methods, 2003, p.66-80 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2003 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540203636 ;ISBN: 354020363X ;EISSN: 1611-3349 ;EISBN: 9783540397243 ;EISBN: 3540397248 ;DOI: 10.1007/978-3-540-39724-3_8Full text available |
| 2 |
Material Type: Conference Proceeding
|
|
Combining Equivalence Verification and Completion FunctionsFormal Methods in Computer-Aided Design, 2004, p.98-112 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540237380 ;ISBN: 9783540237389 ;EISSN: 1611-3349 ;EISBN: 3540304940 ;EISBN: 9783540304944 ;DOI: 10.1007/978-3-540-30494-4_8Full text available |
| 3 |
Material Type: Conference Proceeding
|
|
Synchronization-at-Retirement for Pipeline VerificationFormal Methods in Computer-Aided Design, 2004, p.113-127 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540237380 ;ISBN: 9783540237389 ;EISSN: 1611-3349 ;EISBN: 3540304940 ;EISBN: 9783540304944 ;DOI: 10.1007/978-3-540-30494-4_9Full text available |
| 4 |
Material Type: Conference Proceeding
|
|
Relating Multi-step and Single-Step Microprocessor Correctness StatementsFormal Methods in Computer-Aided Design, 2002, p.123-141 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540001164 ;ISBN: 3540001166 ;EISSN: 1611-3349 ;EISBN: 9783540361268 ;EISBN: 354036126X ;DOI: 10.1007/3-540-36126-X_8Full text available |
| 5 |
Material Type: Conference Proceeding
|
|
A Process and Tool for the Conversion of MARC Records to a Normalized FRBR ImplementationDigital Libraries: Achievements, Challenges and Opportunities, 2006, p.283-292 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2006 ;2007 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540493751 ;ISBN: 9783540493754 ;EISSN: 1611-3349 ;EISBN: 9783540493778 ;EISBN: 3540493778 ;DOI: 10.1007/11931584_31Digital Resources/Online E-Resources |
| 6 |
Material Type: Conference Proceeding
|
|
A Tool for Converting from MARC to FRBRLecture notes in computer science, 2006, p.453-456 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2006 ;2007 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540446361 ;ISBN: 3540446362 ;EISSN: 1611-3349 ;EISBN: 9783540446385 ;EISBN: 3540446389 ;DOI: 10.1007/11863878_41Digital Resources/Online E-Resources |
| 7 |
Material Type: Conference Proceeding
|
|
Automatic Formal Model Generation and Analysis of SDLLecture notes in computer science, 2003, p.285-299 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2003 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540405399 ;ISBN: 9783540405399 ;EISSN: 1611-3349 ;EISBN: 9783540450757 ;EISBN: 3540450750 ;DOI: 10.1007/3-540-45075-0_17Full text available |
| 8 |
Material Type: Conference Proceeding
|
|
Defining Observation Objectives for Reactive and Distributed SystemsFormal Approaches to Software Testing, 2004, p.101-113 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540208945 ;ISBN: 3540208941 ;EISSN: 1611-3349 ;EISBN: 3540246177 ;EISBN: 9783540246176 ;DOI: 10.1007/978-3-540-24617-6_8Full text available |
| 9 |
Material Type: Conference Proceeding
|
|
Hybrid System Models of Navigation Strategies for Games and AnimationsHybrid Systems: Computation and Control, 2002, p.7-20 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;ISSN: 0302-9743 ;ISBN: 354043321X ;ISBN: 9783540433217 ;EISSN: 1611-3349 ;EISBN: 3540458735 ;EISBN: 9783540458739 ;DOI: 10.1007/3-540-45873-5_4Full text available |
| 10 |
Material Type: Conference Proceeding
|
|
From Hunt the Wumpus to EverQuest: Introduction to Quest TheoryEntertainment Computing - ICEC 2005, 2005, p.496-506 [Peer Reviewed Journal]IFIP International Federation for Information Processing 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540290346 ;ISBN: 3540290346 ;EISSN: 1611-3349 ;EISBN: 9783540320548 ;EISBN: 3540320547 ;DOI: 10.1007/11558651_48Digital Resources/Online E-Resources |
| 11 |
Material Type: Article
|
|
Precedences in specifications and implementations of programming languagesTheoretical computer science, 1995-05, Vol.142 (1), p.3-26 [Peer Reviewed Journal]1995 ;1995 INIST-CNRS ;ISSN: 0304-3975 ;EISSN: 1879-2294 ;DOI: 10.1016/0304-3975(95)90680-J ;CODEN: TCSCDIFull text available |
| 12 |
Material Type: Book Chapter
|
|
Exploring Potential Benefits of 3D FPGA IntegrationField Programmable Logic and Application, 2004, p.874-880 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540229896 ;ISBN: 3540229892 ;EISSN: 1611-3349 ;EISBN: 9783540301172 ;EISBN: 3540301178 ;DOI: 10.1007/978-3-540-30117-2_92Full text available |
| 13 |
Material Type: Conference Proceeding
|
|
Document Interrogation: Architecture, Information Extraction and Approximate AnswersCurrent Trends in Database Technology – EDBT 2006, 2006, p.115-125 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2006 ;2007 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540467882 ;ISBN: 9783540467885 ;EISSN: 1611-3349 ;EISBN: 9783540467908 ;EISBN: 3540467904 ;DOI: 10.1007/11896548_12Digital Resources/Online E-Resources |
| 14 |
Material Type: Book Chapter
|
|
Security Protocols and SpecificationsFoundations of Software Science and Computation Structures, 1999, p.1-13 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1999 ;1999 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540657194 ;ISBN: 3540657193 ;EISSN: 1611-3349 ;EISBN: 9783540490197 ;EISBN: 3540490191 ;DOI: 10.1007/3-540-49019-1_1Full text available |
| 15 |
Material Type: Book Chapter
|
|
Guessing Attacks and the Computational Soundness of Static EquivalenceFoundations of Software Science and Computation Structures, 2006, p.398-412 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2006 ;2007 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540330453 ;ISBN: 9783540330455 ;EISSN: 1611-3349 ;EISBN: 3540330461 ;EISBN: 9783540330462 ;DOI: 10.1007/11690634_27Digital Resources/Online E-Resources |
| 16 |
Material Type: Conference Proceeding
|
|
Computer-assisted verification of a protocol for certified emailLecture notes in computer science, 2003, p.316-335 [Peer Reviewed Journal]2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540403258 ;ISBN: 3540403256 ;EISSN: 1611-3349 ;DOI: 10.5555/1760267.1760290Full text available |
| 17 |
Material Type: Article
|
|
Just fast keying in the Pi calculusLecture notes in computer science, 2004, p.340-354 [Peer Reviewed Journal]2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540213139 ;ISBN: 9783540213130 ;EISSN: 1611-3349Full text available |
| 18 |
Material Type: Conference Proceeding
|
|
A Theory of Secure Control FlowFormal Methods and Software Engineering, 2005, p.111-124 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2005 ;2006 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540297970 ;ISBN: 3540297979 ;EISSN: 1611-3349 ;EISBN: 9783540322504 ;EISBN: 3540322507 ;DOI: 10.1007/11576280_9Digital Resources/Online E-Resources |
| 19 |
Material Type: Conference Proceeding
|
|
Computational Secrecy by Typing for the Pi CalculusLecture notes in computer science, 2006, p.253-269 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2006 ;2008 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540489371 ;ISBN: 9783540489375 ;EISSN: 1611-3349 ;EISBN: 354048938X ;EISBN: 9783540489382 ;DOI: 10.1007/11924661_16Digital Resources/Online E-Resources |
| 20 |
Material Type: Book Chapter
|
|
Choice in Dynamic LinkingFoundations of Software Science and Computation Structures, 2004, p.12-26 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540212981 ;ISBN: 9783540212980 ;EISSN: 1611-3349 ;EISBN: 3540247270 ;EISBN: 9783540247272 ;DOI: 10.1007/978-3-540-24727-2_3Full text available |
Results 1 - 20 of 49,857 for All Library Resources
Personalize your results
Refine Search Results
Expand My Results
Show only
- Digital Resources/Online E-Resources (27,220)
- Peer-reviewed Journals (48,240)
Refine My Results
Creation Date
- Before 1981 (41)
- 1981 To 1991 (1,773)
- 1992 To 2002 (9,342)
- 2003 To 2014 (35,294)
- After 2014 (3,447)
-
More options
New Records
Resource Type
- Conference Proceedings (27,257)
- Articles (13,539)
- Book Chapters (9,012)
- Books (35)
- magazinearticle (14)
-
More options
Subject
- Exact Sciences And Technology (42,974)
- Applied Sciences (42,941)
- Computer Science; Control Theory; Systems (42,789)
- Computer Systems And Distributed Systems. User Interface (20,814)
- Memory Organisation. Data Processing (15,239)
- Computer Science, Information Systems (14,916)
- Computer Science, Software Engineering (12,012)
- Computer Science, Artificial Intelligence (10,133)
- Information Systems. Data Bases (9,130)
- Artificial Intelligence (6,904)
- Software Engineering (6,584)
- Computer Science, Interdisciplinary Applications (5,091)
- Memory And File Management (4,774)
- Engineering (4,517)
- Telecommunications (4,328)
-
More options
Databases
- ProQuest Central (5,009)
- MEDLINE (2,680)
- DOAJ Directory of Open Access Journals (1,175)
- ROAD: Directory of Open Access Scholarly Resources (574)
- Hyper Article en Ligne (HAL) (Open Access) (504)
- Springer Nature OA/Free Journals (254)
- IEEE Open Access Journals (195)
- PubMed Central (159)
- SWEPUB Freely available online (141)
- Wiley-Blackwell Open Access Titles (138)
- GFMER Free Medical Journals (132)
- Recercat (93)
- EDP Open (88)
- Coronavirus Research Database (71)
- IOP Publishing Free Content (62)
- Taylor & Francis Open Access (55)
- Cambridge Wholly Gold Open Access Journals (47)
- ProQuest One Psychology (45)
- DOAB: Directory of Open Access Books (26)
- IOPscience (Open Access) (23)
-
More options
Journal Title
- Cluster Computing (480)
- Computer Methods And Programs In Biomedicine (1,661)
- Ibm Systems Journal (357)
- Ieee Transactions On Neural Networks (382)
- Journal Of Parallel And Distributed Computing (766)
- Lecture Notes In Computer Science (1,811)
- Multimedia Tools And Applications (976)
- Parallel Computing (370)
- The Journal Of Supercomputing (424)
- The Journal Of Systems And Software (819)
-
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 | ||