Language:

Results 1 - 20 of 8,834 for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method

Results 1 2 3 4 5

Show only

Peer-reviewed Journals (649)

Refined by: resource type: Book Chapters

Result Number	Material Type	Record Details and Options
1	Material Type: Book Chapter	Innovation Applied Nanotechnology - The Conversion of Research Results to Products, 2018, p.1-4 2018 ;ISBN: 0128133430 ;ISBN: 9780128133439 ;EISBN: 0128133449 ;EISBN: 9780128133446 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
2	Material Type: Book Chapter	Micromixing Within Microfluidic Devices Microfluidics, 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_150 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
3	Material Type: Book Chapter	Algorithmic Statistics: Forty Years Later Computability 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_41 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
4	Material Type: Book Chapter	A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning Mathematics 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_9 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
5	Material Type: Book Chapter	A Decision Tree Abstract Domain for Proving Conditional Termination Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-10936-7_19 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
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 stroke NANOMEDICINE AND NEUROPROTECTION IN BRAIN DISEASES, 2021, p.249 [Peer Reviewed Journal] ISBN: 032390162X ;ISBN: 9780323901628 ;DOI: 10.1016/bs.pbr.2021.06.007 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
7	Material Type: Book Chapter	A Scalable Approximate Model Counter Principles 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_18 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
8	Material Type: Book Chapter	Revisiting Postulates for Inconsistency Measures Logics 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_27 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
9	Material Type: Book Chapter	Nanochemistry by Thermoplasmonic Effects Progress 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_3 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
10	Material Type: Book Chapter	Exploiting pointer analysis in memory models for deductive verification Lecture 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_8 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
11	Material Type: Book Chapter	Refinement Metrics for Quantitative Information Flow The 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_23 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
12	Material Type: Book Chapter	Inductive Learning from State Transitions over Continuous Domains 27th 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_9 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
13	Material Type: Book Chapter	From Propositional to First-Order Monitoring Runtime 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_4 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
14	Material Type: Book Chapter	Drug Delivery by Water-Soluble Organometallic Cages Chemistry 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-999 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
15	Material Type: Book Chapter	Guess Who's Coming: Runtime Inclusion of Participants in Choreographies The 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_8 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
16	Material Type: Book Chapter	Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies Logics 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_25 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
17	Material Type: Book Chapter	On Applicative Similarity, Sequentiality, and Full Abstraction Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-23506-6_7 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
18	Material Type: Book Chapter	Asynchronous Signal Passing for Tile Self-assembly: Fuel Efficient Computation and Efficient Assembly of Shapes Unconventional 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_17 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
19	Material Type: Book Chapter	On Tools for Completeness of Kleene Algebra with Hypotheses Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-88701-8_23 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
20	Material Type: Book Chapter	Compositional Verification of Stigmergic Collective Systems Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-031-24950-1_8 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by

Results 1 - 20 of 8,834 for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method

Results 1 2 3 4 5

Personalize your results

Edit

Add page to My Research

Refine Search Results

Expand My Results

Expand My Results

Show only

Peer-reviewed Journals (649)

on this subject:


INSPIRE LIBRARY - TON DUC THANG UNIVERSITY	(84-028) 37 755 057	Feedback
19 Nguyen Huu Tho St. Dist.7, HCM	thuvien@tdtu.edu.vn	Feedback

Results 1 - 20 of 8,834 for All Library Resources

2018 ;ISBN: 0128133430 ;ISBN: 9780128133439 ;EISBN: 0128133449 ;EISBN: 9780128133446

Springer-Verlag Berlin Heidelberg 2011 ;ISSN: 0340-1022 ;ISBN: 3642230490 ;ISBN: 9783642230493 ;EISSN: 1436-5049 ;EISBN: 9783642230509 ;EISBN: 3642230504 ;DOI: 10.1007/128_2011_150

Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9783319500614 ;ISBN: 3319500619 ;DOI: 10.1007/978-3-319-50062-1_41

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-33636-3_9

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-10936-7_19

ISBN: 032390162X ;ISBN: 9780323901628 ;DOI: 10.1016/bs.pbr.2021.06.007

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_18

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-11558-0_27

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-031-16518-4_3

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-030-11245-5_8

Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 3030311740 ;ISBN: 9783030311742 ;DOI: 10.1007/978-3-030-31175-9_23

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-78090-0_9

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_4

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-999

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-31175-9_8

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-031-43619-2_25

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-23506-6_7

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_17

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-88701-8_23

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-031-24950-1_8

Results 1 - 20 of 8,834 for All Library Resources

Personalize your results

Refine Search Results

Expand My Results

Show only

Refine My Results

Creation Date

Subject

Databases

Language

on this subject:

Searching Remote Databases, Please Wait