Language:

Results 1 - 20 of 853 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 (648)

Refined by: resource type: Conference Proceedings

Result Number	Material Type	Record Details and Options
1	Material Type: Conference Proceeding	Quantum Tanner codes Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/FOCS54457.2022.00117 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
2	Material Type: Conference Proceeding	Statistical Model Checking: An Overview Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-642-16612-9_11 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
3	Material Type: Conference Proceeding	Ramsey vs. Lexicographic Termination Proving Tools and Algorithms for the Construction and Analysis of Systems, p.47-61 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 0302-9743 ;ISBN: 9783642367410 ;ISBN: 3642367410 ;EISSN: 1611-3349 ;EISBN: 9783642367427 ;EISBN: 3642367429 ;DOI: 10.1007/978-3-642-36742-7_4 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
4	Material Type: Conference Proceeding	JayHorn: A framework for verifying Java programs Computer Aided Verification, 2016, p.352 [Peer Reviewed Journal] ISBN: 9783319415277 ;ISBN: 3319415271 ;DOI: 10.1007/978-3-319-41528-4_19 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
5	Material Type: Conference Proceeding	Evaluation of LDPC codes efficiency in channels with fading E3S Web of Conferences, 2023, Vol.376, p.1061 [Peer Reviewed Journal] 2023. This work is licensed under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and conditions, you may use this content in accordance with the terms of the License. ;ISSN: 2267-1242 ;ISSN: 2555-0403 ;EISSN: 2267-1242 ;DOI: 10.1051/e3sconf/202337601061 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
6	Material Type: Conference Proceeding	The CLEF-2024 CheckThat! Lab: check-worthiness, subjectivity, persuasion, roles, authorities, and adversarial robustness 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG info:eu-repo/semantics/embargoedAccess ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-031-56069-9_62 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
7	Material Type: Conference Proceeding	Emotional Response to Different Types of Cakes through Visual Assessment Biology and life sciences forum, 2021, Vol.6 (1), p.69 [Peer Reviewed Journal] EISSN: 2673-9976 ;DOI: 10.3390/Foods2021-10999 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
8	Material Type: Conference Proceeding	The Role of Sustainable Land and Water Conservation Practices in Flood Mitigation Environmental Sciences Proceedings, 2022, Vol.23 (1), p.28 [Peer Reviewed Journal] EISSN: 2673-4931 ;DOI: 10.3390/environsciproc2022023028 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
9	Material Type: Conference Proceeding	The Effect of Brand Awareness and Social Media Marketing on the Intention to Use Medical Check-Up Services at the Universitas Indonesia Hospital Proceedings, 2022, Vol.83 (1), p.27 [Peer Reviewed Journal] EISSN: 2504-3900 ;DOI: 10.3390/proceedings2022083027 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
10	Material Type: Conference Proceeding	On the Power of Statistical Model Checking Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-47169-3_62 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
11	Material Type: Conference Proceeding	A Note on Occur-Check Electronic proceedings in theoretical computer science, 2021, Vol.345, p.54-67 ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.345.17 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
12	Material Type: Conference Proceeding	Optimizing process of check-in and security check at airport terminal open access ;ISSN: 2261-236X ;EISSN: 2261-236X Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
13	Material Type: Conference Proceeding	Bebop: A Symbolic Model Checker for Boolean Programs Lecture notes in computer science, 2000, p.113-130 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2000 ;2001 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540410309 ;ISBN: 9783540410300 ;EISSN: 1611-3349 ;EISBN: 3540452974 ;EISBN: 9783540452973 ;DOI: 10.1007/10722468_7 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
14	Material Type: Conference Proceeding	PCDA™ SLAM-BASED TECHNOLOGY FOR POINT CLOUD AND TRAJECTORY OPTIMIZATION FOR AIRBORNE, LAND, AND INDOOR APPLICATIONS IN GNSS-DENIED ENVIRONMENTS International archives of the photogrammetry, remote sensing and spatial information sciences., 2023, Vol.XLVIII-1/W1-2023, p.333-338 [Peer Reviewed Journal] 2023. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 1682-1750 ;EISSN: 2194-9034 ;DOI: 10.5194/isprs-archives-XLVIII-1-W1-2023-333-2023 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
15	Material Type: Conference Proceeding	A structured irregular repetition slotted ALOHA scheme with low error floors Distribuerad lagring för datalagring och trådlös leverans av data, 2017 ISSN: 1550-3607 ;EISSN: 1938-1883 ;DOI: 10.1109/ICC.2017.7996564 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
16	Material Type: Conference Proceeding	Statistical Abstraction and Model-Checking of Large Heterogeneous Systems Lecture Notes in Computer Science, 2010, Vol.LNCS-6117, p.32-46 [Peer Reviewed Journal] Attribution ;DOI: 10.1007/978-3-642-13464-7_4 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
17	Material Type: Conference Proceeding	An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-662-45231-8_11 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
18	Material Type: Conference Proceeding	SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft Integrated Formal Methods, 2004, p.1-20 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540213772 ;ISBN: 3540213775 ;EISSN: 1611-3349 ;EISBN: 3540247564 ;EISBN: 9783540247562 ;DOI: 10.1007/978-3-540-24756-2_1 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
19	Material Type: Conference Proceeding	Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements Computational Science and Its Applications – ICCSA 2013, p.358-371 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 0302-9743 ;ISBN: 9783642396366 ;ISBN: 3642396364 ;EISSN: 1611-3349 ;EISBN: 9783642396373 ;EISBN: 3642396372 ;DOI: 10.1007/978-3-642-39637-3_29 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
20	Material Type: Conference Proceeding	Model Checking of Message Sequence Charts CONCUR’99 Concurrency Theory, 1999, p.114-129 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 1999 ;1999 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540664254 ;ISBN: 9783540664253 ;EISSN: 1611-3349 ;EISBN: 3540483209 ;EISBN: 9783540483205 ;DOI: 10.1007/3-540-48320-9_10 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by

Results 1 - 20 of 853 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 (648)

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 853 for All Library Resources

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/FOCS54457.2022.00117

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-642-16612-9_11

Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 0302-9743 ;ISBN: 9783642367410 ;ISBN: 3642367410 ;EISSN: 1611-3349 ;EISBN: 9783642367427 ;EISBN: 3642367429 ;DOI: 10.1007/978-3-642-36742-7_4

ISBN: 9783319415277 ;ISBN: 3319415271 ;DOI: 10.1007/978-3-319-41528-4_19

2024 The Author(s), under exclusive license to Springer Nature Switzerland AG info:eu-repo/semantics/embargoedAccess ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-031-56069-9_62

EISSN: 2673-9976 ;DOI: 10.3390/Foods2021-10999

EISSN: 2673-4931 ;DOI: 10.3390/environsciproc2022023028

EISSN: 2504-3900 ;DOI: 10.3390/proceedings2022083027

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-47169-3_62

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.345.17

open access ;ISSN: 2261-236X ;EISSN: 2261-236X

Springer-Verlag Berlin Heidelberg 2000 ;2001 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540410309 ;ISBN: 9783540410300 ;EISSN: 1611-3349 ;EISBN: 3540452974 ;EISBN: 9783540452973 ;DOI: 10.1007/10722468_7

ISSN: 1550-3607 ;EISSN: 1938-1883 ;DOI: 10.1109/ICC.2017.7996564

Attribution ;DOI: 10.1007/978-3-642-13464-7_4

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-662-45231-8_11

Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540213772 ;ISBN: 3540213775 ;EISSN: 1611-3349 ;EISBN: 3540247564 ;EISBN: 9783540247562 ;DOI: 10.1007/978-3-540-24756-2_1

Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 0302-9743 ;ISBN: 9783642396366 ;ISBN: 3642396364 ;EISSN: 1611-3349 ;EISBN: 9783642396373 ;EISBN: 3642396372 ;DOI: 10.1007/978-3-642-39637-3_29

Springer-Verlag Berlin Heidelberg 1999 ;1999 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540664254 ;ISBN: 9783540664253 ;EISSN: 1611-3349 ;EISBN: 3540483209 ;EISBN: 9783540483205 ;DOI: 10.1007/3-540-48320-9_10

Results 1 - 20 of 853 for All Library Resources

Personalize your results

Refine Search Results

Expand My Results

Show only

Refine My Results

Creation Date

New Records

Subject

Databases

Language

on this subject:

Searching Remote Databases, Please Wait