Language:

Results 21 - 40 of 47 for All Library Resources

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

1 Results 2 3

Show only

Digital Resources/Online E-Resources (36)
Peer-reviewed Journals (27)

Result Number	Material Type	Record Details and Options
21	Material Type: Article	Nonlinear Double-arm Optical Tweezers for Controlling 3D Microspheres Communications in physics, 2020-10, Vol.30 (4), p.355 ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/30/4/15373 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
22	Material Type: Article	Assessing sub‐seafloor microbial activity by combined stable isotope probing with deuterated water and 13 C‐bicarbonate Environmental microbiology, 2012-06, Vol.14 (6), p.1517-1527 [Peer Reviewed Journal] ISSN: 1462-2912 ;EISSN: 1462-2920 ;DOI: 10.1111/j.1462-2920.2012.02739.x Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
23	Material Type: Article	Polytool: Polynomial interpretations as a basis for termination analysis of logic programs Theory and practice of logic programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal] Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
24	Material Type: Article	Polytool: Polynomial interpretations as a basis for termination analysis of logic programs public 100499 ;ISSN: 1471-0684 ;ISSN: 1475-3081 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
25	Material Type: Article	Polynomial interpretations as a basis for termination analysis of logic programs Theory and practice of logic programming, 2011-01, Vol.11 (1), p.33 [Peer Reviewed Journal] Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
26	Material Type: Article	Appearance of an ensemble solitary pulse train in transient backward stimulated Raman scattering Communications in physics, 2016-03, Vol.25 (3), p.275 ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/25/3/6770 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
27	Material Type: Article	Efficient Generation of Coherent Stokes Field in Hydrogen Gas-Filled Hollow Core Photonic Crystal Fibres Communications in physics, 2020-05, Vol.30 (2), p.143 ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/30/2/14460 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
28	Material Type: Conference Proceeding	Polytool: Proving termination automatically based on polynomial interpretations public 528675 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-71410-1_15 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
29	Material Type: Book Chapter	The Dependency Triple Framework for Termination of Logic Programs Logic-Based Program Synthesis and Transformation, p.37-51 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 0302-9743 ;ISBN: 3642125913 ;ISBN: 9783642125911 ;EISSN: 1611-3349 ;EISBN: 9783642125928 ;EISBN: 3642125921 ;DOI: 10.1007/978-3-642-12592-8_4 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
30	Material Type: Conference Proceeding	Polynomial interpretations as a basis for termination analysis of logic programs public 65589 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/11562931_24 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
31	Material Type: Book Chapter	Termination Analysis of Logic Programs Based on Dependency Graphs Logic-Based Program Synthesis and Transformation, p.8-22 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2008 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;EISBN: 9783540787693 ;EISBN: 3540787690 ;DOI: 10.1007/978-3-540-78769-3_2 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
32	Material Type: Book Chapter	Polytool: Proving Termination Automatically Based on Polynomial Interpretations Logic-Based Program Synthesis and Transformation, p.210-218 [Peer Reviewed Journal] Springer Berlin Heidelberg 2007 ;ISSN: 0302-9743 ;ISBN: 354071409X ;ISBN: 9783540714095 ;EISSN: 1611-3349 ;EISBN: 9783540714101 ;EISBN: 3540714103 ;DOI: 10.1007/978-3-540-71410-1_15 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
33	Material Type: Conference Proceeding	Termination analysis of logic programs based on dependency graphs public 528673 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-78769-3_2 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
34	Material Type: Book Chapter	Influences of Trade Union Activities on Improving Labor Productivities in Enterprises: A Comparative Study Contemporary Economic Issues in Asian Countries: Proceeding of CEIAC 2022, Volume 2, 2023, p.359-387 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2023 ;ISBN: 9819904897 ;ISBN: 9789819904891 ;EISBN: 9789819904907 ;EISBN: 9819904900 ;DOI: 10.1007/978-981-99-0490-7_22 ;OCLC: 1385454398 ;LCCallNum: HC411-495 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
35	Material Type: Reports	Leiomyomatosis peritonealis dissemianata five years after laparoscopic uterine myomectomy: A case report Annals of medicine and surgery (2012), 2021, Vol.66, p.102377-102377 ISSN: 2049-0801 ;EISSN: 2049-0801 ;DOI: 10.1016/j.amsu.2021.102377 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
36	Material Type: Conference Proceeding	The Optical Disdrometer The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2017, p.28 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
37	Material Type: Conference Proceeding	Device for measuring parameters of the meteorological precipitation The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2017, p.1 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
38	Material Type: Conference Proceeding	Inter-Carrier Interference suppression combined with channel estimation for mobile OFDM system The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2016, p.61 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
39	Material Type: Thesises (postgraduate)	Termination Analysis: Crossing Paradigm Borders public 82370 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
40	Material Type: Web Resources	Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sediments Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by

Results 21 - 40 of 47 for All Library Resources

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

1 Results 2 3

Personalize your results

Edit

Add page to My Research

Refine Search Results

Expand My Results

Expand My Results

Show only

Digital Resources/Online E-Resources (36)
Peer-reviewed Journals (27)

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 21 - 40 of 47 for All Library Resources

ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/30/4/15373

ISSN: 1462-2912 ;EISSN: 1462-2920 ;DOI: 10.1111/j.1462-2920.2012.02739.x

Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

public 100499 ;ISSN: 1471-0684 ;ISSN: 1475-3081 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/25/3/6770

ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/30/2/14460

public 528675 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-71410-1_15

Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 0302-9743 ;ISBN: 3642125913 ;ISBN: 9783642125911 ;EISSN: 1611-3349 ;EISBN: 9783642125928 ;EISBN: 3642125921 ;DOI: 10.1007/978-3-642-12592-8_4

public 65589 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/11562931_24

Springer-Verlag Berlin Heidelberg 2008 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;EISBN: 9783540787693 ;EISBN: 3540787690 ;DOI: 10.1007/978-3-540-78769-3_2

Springer Berlin Heidelberg 2007 ;ISSN: 0302-9743 ;ISBN: 354071409X ;ISBN: 9783540714095 ;EISSN: 1611-3349 ;EISBN: 9783540714101 ;EISBN: 3540714103 ;DOI: 10.1007/978-3-540-71410-1_15

public 528673 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-78769-3_2

The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2023 ;ISBN: 9819904897 ;ISBN: 9789819904891 ;EISBN: 9789819904907 ;EISBN: 9819904900 ;DOI: 10.1007/978-981-99-0490-7_22 ;OCLC: 1385454398 ;LCCallNum: HC411-495

ISSN: 2049-0801 ;EISSN: 2049-0801 ;DOI: 10.1016/j.amsu.2021.102377

public 82370

Results 21 - 40 of 47 for All Library Resources

Personalize your results

Refine Search Results

Expand My Results

Show only

Refine My Results

Creation Date

Resource Type

Subject

Databases

Language

Journal Title

on this subject:

Searching Remote Databases, Please Wait