Language:

Results 1 - 20 of 6,584 for All Library Resources

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

Results 1 2 3 4 5

Show only

Digital Resources/Online E-Resources (4,004)
Peer-reviewed Journals (6,418)

Refined by: subject: Computer Science, Theory & Methods

subject: Software

subject: Software Engineering

Result Number	Material Type	Record Details and Options
1	Material Type: Article	Multi-input CNN-GRU based human activity recognition using wearable sensors Computing, 2021-07, Vol.103 (7), p.1461-1478 [Peer Reviewed Journal] The Author(s), under exclusive licence to Springer-Verlag GmbH Austria, part of Springer Nature 2021 ;The Author(s), under exclusive licence to Springer-Verlag GmbH Austria, part of Springer Nature 2021. ;ISSN: 0010-485X ;EISSN: 1436-5057 ;DOI: 10.1007/s00607-021-00928-8 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
2	Material Type: Article	Genetic Improvement of Software: A Comprehensive Survey IEEE transactions on evolutionary computation, 2018-06, Vol.22 (3), p.415-432 [Peer Reviewed Journal] ISSN: 1089-778X ;EISSN: 1941-0026 ;DOI: 10.1109/TEVC.2017.2693219 ;CODEN: ITEVF5 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
3	Material Type: Conference Proceeding	Feature Models, Grammars, and Propositional Formulas Lecture notes in computer science, 2005, p.7-20 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540289364 ;ISBN: 3540289364 ;EISSN: 1611-3349 ;EISBN: 3540320644 ;EISBN: 9783540320647 ;DOI: 10.1007/11554844_3 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
4	Material Type: Conference Proceeding	CUTE and jCUTE : Concolic unit testing and explicit path model-checking tools Lecture notes in computer science, 2006, p.419-423 [Peer Reviewed Journal] 2007 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 354037406X ;ISBN: 9783540374060 ;EISSN: 1611-3349 ;DOI: 10.1007/11817963_38 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
5	Material Type: Article	Balanced multi-perspective checking of process conformance Computing, 2016-04, Vol.98 (4), p.407-437 [Peer Reviewed Journal] The Author(s) 2015 ;Springer-Verlag Wien 2016 ;ISSN: 0010-485X ;EISSN: 1436-5057 ;DOI: 10.1007/s00607-015-0441-1 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
6	Material Type: Conference Proceeding	The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications Lecture notes in computer science, 2004, p.229-243 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540237984 ;ISBN: 9783540237983 ;EISSN: 1611-3349 ;EISBN: 9783540304753 ;EISBN: 3540304754 ;DOI: 10.1007/978-3-540-30475-3_17 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
7	Material Type: Conference Proceeding	Synthesis of reactive(1) designs Lecture notes in computer science, 2006, p.364-380 [Peer Reviewed Journal] 2006 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540311394 ;ISBN: 9783540311393 ;EISSN: 1611-3349 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
8	Material Type: Article	Feature-based survey of model transformation approaches IBM systems journal, 2006-07, Vol.45 (3), p.621-645 [Peer Reviewed Journal] Copyright International Business Machines Corporation Jul-Sep 2006 ;ISSN: 0018-8670 ;DOI: 10.1147/sj.453.0621 ;CODEN: IBMSA7 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
9	Material Type: Article	Enabling high-level application development for the Internet of Things The Journal of systems and software, 2015-05, Vol.103, p.62-84 [Peer Reviewed Journal] Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0164-1212 ;EISSN: 1873-1228 ;DOI: 10.1016/j.jss.2015.01.027 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
10	Material Type: Conference Proceeding	Mapping features to models: a template approach based on superimposed variants Generative Programming and Component Engineering, 2005, p.422-437 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540291385 ;ISBN: 9783540291381 ;EISSN: 1611-3349 ;EISBN: 9783540319771 ;EISBN: 3540319778 ;DOI: 10.1007/11561347_28 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
11	Material Type: Conference Proceeding	Smallfoot: Modular Automatic Assertion Checking with Separation Logic Formal Methods for Components and Objects, 2006, p.115-137 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2006 ;2008 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540367499 ;ISBN: 3540367497 ;EISSN: 1611-3349 ;EISBN: 3540367500 ;EISBN: 9783540367505 ;DOI: 10.1007/11804192_6 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
12	Material Type: Article	Biomechanical ToolKit: Open-source framework to visualize and process biomechanical data Computer methods and programs in biomedicine, 2014-04, Vol.114 (1), p.80 [Peer Reviewed Journal] Copyright © 2014 Elsevier Ireland Ltd. All rights reserved. ;EISSN: 1872-7565 ;DOI: 10.1016/j.cmpb.2014.01.012 ;PMID: 24548899 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
13	Material Type: Article	The N-intertwined SIS epidemic network model Computing, 2011-12, Vol.93 (2-4), p.147-169 [Peer Reviewed Journal] The Author(s) 2011 ;Springer-Verlag 2011 ;ISSN: 0010-485X ;EISSN: 1436-5057 ;DOI: 10.1007/s00607-011-0155-y Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
14	Material Type: Conference Proceeding	PSL Model Checking and Run-Time Verification Via Testers FM 2006: Formal Methods, 2006, p.573-586 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2006 ;2007 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540372156 ;ISBN: 9783540372158 ;EISSN: 1611-3349 ;EISBN: 3540372164 ;EISBN: 9783540372165 ;DOI: 10.1007/11813040_38 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
15	Material Type: Article	Energy-efficient migration and consolidation algorithm of virtual machines in data centers for cloud computing Computing, 2016-03, Vol.98 (3), p.303-317 [Peer Reviewed Journal] Springer-Verlag Wien 2015 ;Springer-Verlag Wien 2016 ;ISSN: 0010-485X ;EISSN: 1436-5057 ;DOI: 10.1007/s00607-015-0467-4 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
16	Material Type: Conference Proceeding	Weaving executability into object-oriented meta-languages Lecture notes in computer science, 2005, p.264-278 [Peer Reviewed Journal] Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540290100 ;ISBN: 3540290109 ;EISSN: 1611-3349 ;EISBN: 9783540320579 ;EISBN: 3540320571 ;DOI: 10.1007/11557432_19 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
17	Material Type: Article	HRLSim: a high performance spiking neural network simulator for GPGPU clusters IEEE transaction on neural networks and learning systems, 2014-02, Vol.25 (2), p.316 EISSN: 2162-2388 ;DOI: 10.1109/TNNLS.2013.2276056 ;PMID: 24807031 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
18	Material Type: Conference Proceeding	What's decidable about arrays? Lecture notes in computer science, 2006, p.427-442 [Peer Reviewed Journal] 2006 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540311394 ;ISBN: 9783540311393 ;EISSN: 1611-3349 Digital Resources/Online E-Resources Services Details Recommendations Reviews Times Cited Citations Cited by
19	Material Type: Article	Foundations of Session Types and Behavioural Contracts ACM computing surveys, 2016-07, Vol.49 (1) [Peer Reviewed Journal] Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0360-0300 ;EISSN: 1557-7341 ;DOI: 10.1145/2873052 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
20	Material Type: Article	SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions J.UCS (Annual print and CD-ROM archive ed.), 2022-01, Vol.28 (1), p.27-53 [Peer Reviewed Journal] COPYRIGHT 2022 Pensoft Publishers ;2022. This work is licensed under https://creativecommons.org/licenses/by-nd/4.0/ (the “License”). Notwithstanding the ProQuest Terms and conditions, you may use this content in accordance with the terms of the License. ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0948-695X ;EISSN: 0948-6968 ;DOI: 10.3897/jucs.66857 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by

Results 1 - 20 of 6,584 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

Digital Resources/Online E-Resources (4,004)
Peer-reviewed Journals (6,418)

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 6,584 for All Library Resources

The Author(s), under exclusive licence to Springer-Verlag GmbH Austria, part of Springer Nature 2021 ;The Author(s), under exclusive licence to Springer-Verlag GmbH Austria, part of Springer Nature 2021. ;ISSN: 0010-485X ;EISSN: 1436-5057 ;DOI: 10.1007/s00607-021-00928-8

ISSN: 1089-778X ;EISSN: 1941-0026 ;DOI: 10.1109/TEVC.2017.2693219 ;CODEN: ITEVF5

Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540289364 ;ISBN: 3540289364 ;EISSN: 1611-3349 ;EISBN: 3540320644 ;EISBN: 9783540320647 ;DOI: 10.1007/11554844_3

2007 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 354037406X ;ISBN: 9783540374060 ;EISSN: 1611-3349 ;DOI: 10.1007/11817963_38

The Author(s) 2015 ;Springer-Verlag Wien 2016 ;ISSN: 0010-485X ;EISSN: 1436-5057 ;DOI: 10.1007/s00607-015-0441-1

Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540237984 ;ISBN: 9783540237983 ;EISSN: 1611-3349 ;EISBN: 9783540304753 ;EISBN: 3540304754 ;DOI: 10.1007/978-3-540-30475-3_17

2006 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540311394 ;ISBN: 9783540311393 ;EISSN: 1611-3349

Copyright International Business Machines Corporation Jul-Sep 2006 ;ISSN: 0018-8670 ;DOI: 10.1147/sj.453.0621 ;CODEN: IBMSA7

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0164-1212 ;EISSN: 1873-1228 ;DOI: 10.1016/j.jss.2015.01.027

Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540291385 ;ISBN: 9783540291381 ;EISSN: 1611-3349 ;EISBN: 9783540319771 ;EISBN: 3540319778 ;DOI: 10.1007/11561347_28

Springer-Verlag Berlin Heidelberg 2006 ;2008 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540367499 ;ISBN: 3540367497 ;EISSN: 1611-3349 ;EISBN: 3540367500 ;EISBN: 9783540367505 ;DOI: 10.1007/11804192_6

Copyright © 2014 Elsevier Ireland Ltd. All rights reserved. ;EISSN: 1872-7565 ;DOI: 10.1016/j.cmpb.2014.01.012 ;PMID: 24548899

The Author(s) 2011 ;Springer-Verlag 2011 ;ISSN: 0010-485X ;EISSN: 1436-5057 ;DOI: 10.1007/s00607-011-0155-y

Springer-Verlag Berlin Heidelberg 2006 ;2007 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540372156 ;ISBN: 9783540372158 ;EISSN: 1611-3349 ;EISBN: 3540372164 ;EISBN: 9783540372165 ;DOI: 10.1007/11813040_38

Springer-Verlag Wien 2015 ;Springer-Verlag Wien 2016 ;ISSN: 0010-485X ;EISSN: 1436-5057 ;DOI: 10.1007/s00607-015-0467-4

Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540290100 ;ISBN: 3540290109 ;EISSN: 1611-3349 ;EISBN: 9783540320579 ;EISBN: 3540320571 ;DOI: 10.1007/11557432_19

EISSN: 2162-2388 ;DOI: 10.1109/TNNLS.2013.2276056 ;PMID: 24807031

2006 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540311394 ;ISBN: 9783540311393 ;EISSN: 1611-3349

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0360-0300 ;EISSN: 1557-7341 ;DOI: 10.1145/2873052

Results 1 - 20 of 6,584 for All Library Resources

Personalize your results

Refine Search Results

Expand My Results

Show only

Refine My Results

Creation Date

New Records

Resource Type

Subject

Databases

Language

Journal Title

on this subject:

Searching Remote Databases, Please Wait