Results 1 - 20 of 8,841 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 (647)
Refined by:
resource type:
Book Chapters
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book Chapter
|
|
InnovationApplied Nanotechnology - The Conversion of Research Results to Products, 2018, p.1-42018 ;ISBN: 0128133430 ;ISBN: 9780128133439 ;EISBN: 0128133449 ;EISBN: 9780128133446Full text available |
| 2 |
Material Type: Book Chapter
|
|
Micromixing Within Microfluidic DevicesMicrofluidics, 2011, p.27-68 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2011 ;ISSN: 0340-1022 ;ISBN: 3642230490 ;ISBN: 9783642230493 ;EISSN: 1436-5049 ;EISBN: 9783642230509 ;EISBN: 3642230504 ;DOI: 10.1007/128_2011_150Full text available |
| 3 |
Material Type: Book Chapter
|
|
Algorithmic Statistics: Forty Years LaterComputability and Complexity. Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, 2017, Vol.10010, p.669-737 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9783319500614 ;ISBN: 3319500619 ;DOI: 10.1007/978-3-319-50062-1_41Digital Resources/Online E-Resources |
| 4 |
Material Type: Book Chapter
|
|
A Hierarchy of Monadic Effects for Program Verification Using Equational ReasoningMathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, 2019, p.226-254 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-33636-3_9Digital Resources/Online E-Resources |
| 5 |
Material Type: Book Chapter
|
|
A Decision Tree Abstract Domain for Proving Conditional TerminationDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-10936-7_19Digital Resources/Online E-Resources |
| 6 |
Material Type: Book Chapter
|
|
Nanodelivery of traditional Chinese Gingko Biloba extract EGb-761 and bilobalide BN-52021 induces superior neuroprotective effects on pathophysiology of heat strokeNANOMEDICINE AND NEUROPROTECTION IN BRAIN DISEASES, 2021, p.249 [Peer Reviewed Journal]ISBN: 032390162X ;ISBN: 9780323901628 ;DOI: 10.1016/bs.pbr.2021.06.007Digital Resources/Online E-Resources |
| 7 |
Material Type: Book Chapter
|
|
A Scalable Approximate Model CounterPrinciples and Practice of Constraint Programming, p.200-216 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 0302-9743 ;ISBN: 9783642406263 ;ISBN: 3642406262 ;EISSN: 1611-3349 ;EISBN: 9783642406270 ;EISBN: 3642406270 ;DOI: 10.1007/978-3-642-40627-0_18Full text available |
| 8 |
Material Type: Book Chapter
|
|
Revisiting Postulates for Inconsistency MeasuresLogics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings ; ISBN: 978-3-319-11557-3, 2014, Vol.8761, p.383-396 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-11558-0_27Digital Resources/Online E-Resources |
| 9 |
Material Type: Book Chapter
|
|
Nanochemistry by Thermoplasmonic EffectsProgress in Nanophotonics 7, 2022, Vol.147, p.71-91 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-031-16518-4_3Digital Resources/Online E-Resources |
| 10 |
Material Type: Book Chapter
|
|
Exploiting pointer analysis in memory models for deductive verificationLecture notes in computer science, 2019, Vol.11388 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-030-11245-5_8Digital Resources/Online E-Resources |
| 11 |
Material Type: Book Chapter
|
|
Refinement Metrics for Quantitative Information FlowThe Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 2019, Vol.11760, p.397-416 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 3030311740 ;ISBN: 9783030311742 ;DOI: 10.1007/978-3-030-31175-9_23Digital Resources/Online E-Resources |
| 12 |
Material Type: Book Chapter
|
|
Inductive Learning from State Transitions over Continuous Domains27th International Conference on Inductive Logic Programming, 2018, Vol.LNCS, volume 10759, p.124-139 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-78090-0_9Digital Resources/Online E-Resources |
| 13 |
Material Type: Book Chapter
|
|
From Propositional to First-Order MonitoringRuntime Verification, p.59-75 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 0302-9743 ;ISBN: 3642407862 ;ISBN: 9783642407864 ;EISSN: 1611-3349 ;EISBN: 3642407870 ;EISBN: 9783642407871 ;DOI: 10.1007/978-3-642-40787-1_4Full text available |
| 14 |
Material Type: Book Chapter
|
|
Drug Delivery by Water-Soluble Organometallic CagesChemistry of Nanocontainers, 2012, Vol.319, p.35-55 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2011 ;ISSN: 0340-1022 ;ISBN: 3642280587 ;ISBN: 9783642280580 ;EISSN: 1436-5049 ;EISBN: 9783642280597 ;EISBN: 3642280595 ;DOI: 10.1007/128_2011_272 ;OCLC: 776088927 ;LCCallNum: QD1-999Full text available |
| 15 |
Material Type: Book Chapter
|
|
Guess Who's Coming: Runtime Inclusion of Participants in ChoreographiesThe Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-31175-9_8Digital Resources/Online E-Resources |
| 16 |
Material Type: Book Chapter
|
|
Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite OntologiesLogics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings, 2023, Vol.14281, p.353-368 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-031-43619-2_25Digital Resources/Online E-Resources |
| 17 |
Material Type: Book Chapter
|
|
On Applicative Similarity, Sequentiality, and Full AbstractionDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-23506-6_7Digital Resources/Online E-Resources |
| 18 |
Material Type: Book Chapter
|
|
Asynchronous Signal Passing for Tile Self-assembly: Fuel Efficient Computation and Efficient Assembly of ShapesUnconventional Computation and Natural Computation, p.174-185 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 0302-9743 ;ISBN: 3642390730 ;ISBN: 9783642390739 ;EISSN: 1611-3349 ;EISBN: 3642390749 ;EISBN: 9783642390746 ;DOI: 10.1007/978-3-642-39074-6_17Full text available |
| 19 |
Material Type: Book Chapter
|
|
On Tools for Completeness of Kleene Algebra with HypothesesDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-88701-8_23Digital Resources/Online E-Resources |
| 20 |
Material Type: Book Chapter
|
|
Sound Symbolic Execution via Abstract Interpretation and its Application to SecurityLecture Notes in Computer Science, 2023, Vol.13881, p.267-295 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-031-24950-1_13Digital Resources/Online E-Resources |
Results 1 - 20 of 8,841 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 (647)
Refine My Results
Subject
- Nanoscience & Nanotechnology (5,869)
- Technology (5,144)
- Physical Sciences (2,814)
- Materials Science (2,711)
- Green & Sustainable Science & Technology (2,043)
- Engineering (1,968)
- Life Sciences & Biomedicine (1,896)
- Materials Science, Multidisciplinary (1,572)
- Nanotechnology (1,487)
- Physics (1,404)
- Chemistry (1,007)
- Engineering, Electrical & Electronic (898)
- Social Sciences (883)
- Energy & Fuels (696)
- Physics, Applied (647)
- Environmental Sciences & Ecology (646)
- Computer Science (610)
- Science (610)
-
More options
Databases
- Ebook Central - Academic Complete (4,029)
- DOAB: Directory of Open Access Books (1,350)
- ScholarVox International (1,173)
- OAPEN (428)
- SpringerLink Fully Open Access Books (192)
- Taylor & Francis eBooks Open Access (160)
- Hyper Article en Ligne (HAL) (Open Access) (155)
- Cambridge Open Access Books and Elements (58)
- SWEPUB Freely available online (48)
- JSTOR eBooks: Open Access (36)
- De Gruyter Open Access Books (32)
- MEDLINE (26)
- Springer Nature OA/Free Journals (24)
- Recercat (16)
- HAL-SHS: Archive ouverte en Sciences de l'Homme et de la Société (Open Access) (14)
- MIT Press Direct OA (12)
- Project MUSE Open Access Books (11)
- Canada Commons: Books & Documents (10)
- Canada Commons: Documents (8)
- Scholars Portal Books: Canadian Public Documents Collection xxxx-2015 (8)
-
More options
Language
- Japanese (110)
- Norwegian (1)
-
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 | ||