top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui