Results 1 - 20 of 77,859 for All Library Resources
Show only
- Digital Resources/Online E-Resources (44,159)
- Peer-reviewed Journals (76,202)
Refined by:
subject:
Computer Science, Theory & Methods
Applied Sciences
Applied Sciences
| 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 methodology for large-scale hardware verificationLecture notes in computer science, 2000, p.263-282 [Peer Reviewed Journal]2001 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540412199 ;ISBN: 3540412190 ;EISSN: 1611-3349Full text available |
| 6 |
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 |
| 7 |
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 |
| 8 |
Material Type: Article
|
|
Characterizations of the decidability of some problems for regular trace languagesMathematical Systems Theory, 1989-12, Vol.22 (1), p.1-19 [Peer Reviewed Journal]1991 INIST-CNRS ;ISSN: 0025-5661 ;EISSN: 1433-0490 ;DOI: 10.1007/BF02088289 ;CODEN: MASTBAFull text available |
| 9 |
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 |
| 10 |
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 |
| 11 |
Material Type: Book Chapter
|
|
Overlapping Constraint for Variational Surface ReconstructionImage Analysis, 2005, p.551-556 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540263203 ;ISBN: 3540263209 ;EISSN: 1611-3349 ;EISBN: 3540315667 ;EISBN: 9783540315667 ;DOI: 10.1007/11499145_56Digital Resources/Online E-Resources |
| 12 |
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 |
| 13 |
Material Type: Article
|
|
Algorithms for Boolean function query propertiesSIAM journal on computing, 2003-01, Vol.32 (5), p.1140-1157 [Peer Reviewed Journal]2004 INIST-CNRS ;[Copyright] © 2003 Society for Industrial and Applied Mathematics ;ISSN: 0097-5397 ;EISSN: 1095-7111 ;DOI: 10.1137/S0097539700379644Full text available |
| 14 |
Material Type: Article
|
|
Lower bounds for local search by quantum argumentsSIAM journal on computing, 2006, Vol.35 (4), p.804-824 [Peer Reviewed Journal]2006 INIST-CNRS ;[Copyright] © 2006 Society for Industrial and Applied Mathematics ;ISSN: 0097-5397 ;EISSN: 1095-7111 ;DOI: 10.1137/S0097539704447237Full text available |
| 15 |
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 |
| 16 |
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 |
| 17 |
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 |
| 18 |
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 |
| 19 |
Material Type: Article
|
|
Designing a generic payment serviceIBM systems journal, 1998, Vol.37 (1), p.72-88 [Peer Reviewed Journal]1998 INIST-CNRS ;Copyright International Business Machines Corporation 1998 ;ISSN: 0018-8670 ;DOI: 10.1147/sj.371.0072 ;CODEN: IBMSA7Full text available |
| 20 |
Material Type: Book Chapter
|
|
Taming the AdversaryAdvances in Cryptology — CRYPTO 2000, 2000, p.353-358 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2000 ;2000 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540679073 ;ISBN: 3540679073 ;EISSN: 1611-3349 ;EISBN: 9783540445982 ;EISBN: 3540445986 ;DOI: 10.1007/3-540-44598-6_22Full text available |
Results 1 - 20 of 77,859 for All Library Resources
Personalize your results
Refine Search Results
Expand My Results
Show only
- Digital Resources/Online E-Resources (44,159)
- Peer-reviewed Journals (76,202)
Refine My Results
Creation Date
- Before 1989 (1,413)
- 1989 To 1995 (4,146)
- 1996 To 2002 (18,459)
- 2003 To 2010 (51,693)
- After 2010 (2,158)
-
More options
Resource Type
- Conference Proceedings (45,829)
- Articles (16,534)
- Book Chapters (15,490)
- magazinearticle (6)
-
More options
Subject
- Exact Sciences And Technology (77,798)
- Computer Science; Control Theory; Systems (70,382)
- Software (42,941)
- Computer Science, Artificial Intelligence (21,608)
- Computer Systems And Distributed Systems. User Interface (20,814)
- Artificial Intelligence (20,710)
- Computer Science, Information Systems (17,186)
- Theoretical Computing (15,804)
- Memory Organisation. Data Processing (15,239)
- Computer Science, Software Engineering (14,958)
- Information Systems. Data Bases (9,130)
- Algorithmics. Computability. Computer Arithmetics (9,090)
- Pattern Recognition. Digital Image Processing. Computational Geometry (9,031)
- Mathematics (8,600)
- Physical Sciences (7,916)
-
More options
Databases
- ProQuest Central (4,536)
- MEDLINE (1,452)
- Hyper Article en Ligne (HAL) (Open Access) (629)
- DOAJ Directory of Open Access Journals (448)
- Wiley-Blackwell Open Access Titles (355)
- Taylor & Francis Open Access (80)
- SWEPUB Freely available online (79)
- ProQuest One Psychology (79)
- Recercat (62)
- Ebook Central - Academic Complete (38)
- NASA Technical Reports Server (36)
- IEEE Open Access Journals (22)
- Springer Nature OA/Free Journals (20)
- ScholarVox International (16)
- ROAD: Directory of Open Access Scholarly Resources (13)
- HAL-SHS: Archive ouverte en Sciences de l'Homme et de la Société (Open Access) (9)
- NORA - Norwegian Open Research Archives (2)
- SAGE Open Access Journals (2)
- tidsskrift.dk (1)
-
More options
Journal Title
- Computing (485)
- Fuzzy Sets And Systems (788)
- Ieee Transactions On Neural Networks (948)
- Journal Of Algorithms (623)
- Journal Of Parallel And Distributed Computing (965)
- Lecture Notes In Computer Science (2,773)
- Parallel Computing (576)
- Siam Journal On Computing (1,474)
- The Journal Of Systems And Software (619)
- Theoretical Computer Science (948)
-
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 | ||