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.
Iconographie du quotidien dans l’art provincial romain : modèles régionaux / / Sabine Lefebvre
| Iconographie du quotidien dans l’art provincial romain : modèles régionaux / / Sabine Lefebvre |
| Autore | Alexandrescu Cristina-Georgeta |
| Pubbl/distr/stampa | Dijon, : ARTEHIS Éditions, 2017 |
| Descrizione fisica | 1 online resource (360 pages) |
| Altri autori (Persone) |
Alonso AlonsoMaria Ángeles
BedonRobert BianchiLuca Brunet-GastonVéronique CappellettoErika DemarolleJeanne-Marie Dobruna-SalihuExhlale DrissiHatem DyczekPiotr EdmeAnne-Laure Gaggadis-RobinVassiliki GastonChristophe JonaschMélanie KleinMichael Johannes KlöcknerAnja KremerGabrielle LabauneYannick LamyPierre-Antoine LapuentePilar LefebvreSabine LockauJuergen NemetiIrina NemetiSorin NogalesTrinidad OboussierAgnès PalmentieriAngela PerrodinFrançois RiboletMathieu RodàIsabel SanaderMirjana Skupinska-LovsetIlona StarkMichaela ToncinicDomagoj VernouChristian |
| Collana | Suppléments à la Revue archéologique de l'Est |
| Soggetto topico |
Archaeology
Europe art provincial romain iconographie art province |
| Soggetto non controllato |
art
art provincial romain Europe iconographie province |
| ISBN | 2-915544-79-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910495978703321 |
Alexandrescu Cristina-Georgeta
|
||
| Dijon, : ARTEHIS Éditions, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Testing Software and Systems [[electronic resource] ] : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings / / edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
| Testing Software and Systems [[electronic resource] ] : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings / / edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 297 p. 247 illus., 41 illus. in color.) |
| Disciplina | 005.30287 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Computer logic Artificial intelligence Computers Software Engineering Computer Systems Organization and Communication Networks Logics and Meanings of Programs Artificial Intelligence Computing Milieux |
| ISBN | 3-030-31280-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Test and Artificial Intelligence -- Learning a Behavior Model of Hybrid Systems through Combining Model-Based Testing and Machine Learning -- Regular expression learning with evolutionary testing and repair -- Testing Chatbots using Metamorphic Relations -- Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs -- Test Case Generation -- Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol using Abstract State Machines -- Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs -- Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts -- Empirical Approaches -- An Empirical Evaluation of Search Algorithms for App Testing -- Performance comparison of two search-based testing strategies for ADAS System Validation -- Testing and Verification Techniques -- Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs -- A Mechanised Proof of an Adaptive State Counting Algorithm -- A Model Checking based Approach for Detecting SDN Races -- Security and Performance Testing -- Towards an Efficient Performance Testing through Dynamic Workload Adaptation -- DYNAMOJM: A JMeter Tool for Performance Testing using Dynamic Workload Adaptation -- Attack tolerance for service-based applications in the Cloud -- Industrial Applications -- Automatic generation of test oracles from component based software architectures -- Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms -- TestDCat: Catalog of Test Debt Subtypes and Management Activities. |
| Record Nr. | UNISA-996466440303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings / / edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
| Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings / / edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 297 p. 247 illus., 41 illus. in color.) |
| Disciplina |
005.30287
005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Computer logic Artificial intelligence Computers Software Engineering Computer Systems Organization and Communication Networks Logics and Meanings of Programs Artificial Intelligence Computing Milieux |
| ISBN | 3-030-31280-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Test and Artificial Intelligence -- Learning a Behavior Model of Hybrid Systems through Combining Model-Based Testing and Machine Learning -- Regular expression learning with evolutionary testing and repair -- Testing Chatbots using Metamorphic Relations -- Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs -- Test Case Generation -- Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol using Abstract State Machines -- Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs -- Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts -- Empirical Approaches -- An Empirical Evaluation of Search Algorithms for App Testing -- Performance comparison of two search-based testing strategies for ADAS System Validation -- Testing and Verification Techniques -- Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs -- A Mechanised Proof of an Adaptive State Counting Algorithm -- A Model Checking based Approach for Detecting SDN Races -- Security and Performance Testing -- Towards an Efficient Performance Testing through Dynamic Workload Adaptation -- DYNAMOJM: A JMeter Tool for Performance Testing using Dynamic Workload Adaptation -- Attack tolerance for service-based applications in the Cloud -- Industrial Applications -- Automatic generation of test oracles from component based software architectures -- Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms -- TestDCat: Catalog of Test Debt Subtypes and Management Activities. |
| Record Nr. | UNINA-9910349275703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||