| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465407903316 |
|
|
Titolo |
Testing Software and Systems [[electronic resource] ] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 291 p. 84 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 8254 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer communication systems |
Programming languages (Electronic computers) |
Special purpose computers |
Computer logic |
Management information systems |
Computer science |
Software Engineering |
Computer Communication Networks |
Programming Languages, Compilers, Interpreters |
Special Purpose and Application-Based Systems |
Logics and Meanings of Programs |
Management of Computing and Information Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Model-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 |
|
|
|
|
|
|
|
|
|
|
|
|
|
submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996464422503316 |
|
|
Titolo |
Pattern Recognition and Artificial Intelligence [[electronic resource] ] : 4th Mediterranean Conference, MedPRAI 2020, Hammamet, Tunisia, December 20–22, 2020, Proceedings / / edited by Chawki Djeddi, Yousri Kessentini, Imran Siddiqi, Mohamed Jmaiel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (350 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 1322 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer engineering |
Computer networks |
Computers |
Social sciences—Data processing |
Image processing—Digital techniques |
Computer vision |
Artificial Intelligence |
Computer Engineering and Networks |
Computing Milieux |
Computer Application in Social and Behavioral Sciences |
Computer Imaging, Vision, Pattern Recognition and Graphics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Computer Vision and Image Processing -- Document and Media Analysis -- Artificial Intelligence and Intelligent Systems. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 4th Mediterranean Conference on Pattern Recognition and Artificial Intelligence, MedPRAI 2020, held in Hammamet, Tunisia, in December 2020. Due to the COVID-19 pandemic the conference was held online. The 24 revised papers presented were thoroughly reviewed and selected from 72 submissions. The papers are covering the topics of recent advancements in different areas of pattern recognition and artificial intelligence, such as statistical, structural and syntactic pattern recognition, machine learning, data mining, neural networks, computer vision, multimedia systems, information retrieval, etc. |
|
|
|
|
|
|
|
| |