Computer and Information Sciences - ISCIS 2006 [[electronic resource] ] : 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings / / edited by Albert Levi, Erkay Savas, Hüsnü Yenigün, Selim Balcisoy, Yücel Saygin |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XXIII, 1088 p.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer networks Computer engineering Software engineering Artificial intelligence Image processing—Digital techniques Computer vision Theory of Computation Computer Communication Networks Computer Engineering and Networks Software Engineering Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-540-47243-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers and Talks -- Invited Talks -- Algorithms and Theory -- Bioinformatics -- Computational Intelligence -- Computer Architecture -- Computer Graphics -- Computer Networks -- Computer Vision -- Data Mining -- Databases -- Embedded Systems -- Information Retrieval -- Mobile Computing -- Parallel and Distributed Computing -- Performance Evaluation -- Security and Cryptography. |
Record Nr. | UNISA-996466257703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Testing Software and Systems [[electronic resource] ] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIII, 341 p. 68 illus.) |
Disciplina | 004.620287 |
Collana | Programming and Software Engineering |
Soggetto topico |
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 |
ISBN | 3-319-67549-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems. |
Record Nr. | UNISA-996465979003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIII, 341 p. 68 illus.) |
Disciplina | 004.620287 |
Collana | Programming and Software Engineering |
Soggetto topico |
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 |
ISBN | 3-319-67549-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems. |
Record Nr. | UNINA-9910483327303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
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 |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 291 p. 84 illus.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
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 |
ISBN | 3-642-41707-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging. . |
Record Nr. | UNISA-996465407903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Testing Software and Systems : 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 |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 291 p. 84 illus.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
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 |
ISBN | 3-642-41707-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging. . |
Record Nr. | UNINA-9910485152503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|