Machine Learning for Dynamic Software Analysis: Potentials and Limits (Record no. 203508)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03570nam a22005295i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783319965628 |
-- | 978-3-319-96562-8 |
040 ## - CATALOGING SOURCE | |
Transcribing agency | CUS |
245 10 - TITLE STATEMENT | |
Title | Machine Learning for Dynamic Software Analysis: Potentials and Limits |
Sub title | International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / |
Statement of responsibility, etc. | edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 2018. |
300 ## - DESCRIPTION | |
Extent | IX, 257 p. 38 illus. |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Introduction -- Testing and Learning -- Extensions of Automata Learning -- Integrative Approaches. |
650 #0 - SUBJECT | |
Keyword | Software engineering. |
650 #0 - SUBJECT | |
Keyword | Artificial intelligence. |
650 #0 - SUBJECT | |
Keyword | Computers. |
650 14 - SUBJECT | |
Keyword | Software Engineering/Programming and Operating Systems. |
650 24 - SUBJECT | |
Keyword | Artificial Intelligence. |
650 24 - SUBJECT | |
Keyword | Theory of Computation. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Bennaceur, Amel. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Hähnle, Reiner. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Meinke, Karl. |
856 40 - ONLINE RESOURCES | |
url | https://doi.org/10.1007/978-3-319-96562-8 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | e-Books |
700 1# - ADDED ENTRY--PERSONAL NAME | |
-- | https://orcid.org/0000-0002-6124-9622 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
-- | https://orcid.org/0000-0001-8000-7613 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
-- | https://orcid.org/0000-0002-9706-5008 |
912 ## - | |
-- | ZDB-2-SCS |
912 ## - | |
-- | ZDB-2-SXCS |
912 ## - | |
-- | ZDB-2-LNC |
Home library | Current library | Full call number | Accession number | Koha item type |
---|---|---|---|---|
Central Library, Sikkim University | Central Library, Sikkim University | 005.1 | E-3006 | e-Books |