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.
Automatic Generation of Combinatorial Test Data [[electronic resource] /] / by Jian Zhang, Zhiqiang Zhang, Feifei Ma
Automatic Generation of Combinatorial Test Data [[electronic resource] /] / by Jian Zhang, Zhiqiang Zhang, Feifei Ma
Autore Zhang Jian
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (97 p.)
Disciplina 004
004.0151
005.1
006.3
Collana SpringerBriefs in Computer Science
Soggetto topico Software engineering
Computer science—Mathematics
Artificial intelligence
Software Engineering
Math Applications in Computer Science
Artificial Intelligence
ISBN 3-662-43429-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction to Combinatorial Testing -- Mathematical Construction Methods -- One Test at a Time -- The IPO Family -- Evolutionary Computation and Metaheuristics -- Evolutionary Computation and Metaheuristics -- Tools and Benchmarks -- Other Related Topics.
Record Nr. UNINA-9910298983803321
Zhang Jian  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proceedings of the 51st ACM Technical Symposium on Computer Science Education / / Jian Zhang [and three others]
Proceedings of the 51st ACM Technical Symposium on Computer Science Education / / Jian Zhang [and three others]
Autore Zhang Jian
Pubbl/distr/stampa New York, New York : , : Association for Computing Machinery, , 2020
Descrizione fisica 1 online resource (1552 pages) : illustrations
Disciplina 004
Collana ACM Conferences
Soggetto topico Electronic data processing - Study and teaching (Higher)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910412353903321
Zhang Jian  
New York, New York : , : Association for Computing Machinery, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Robust Observer-Based Fault Diagnosis for Nonlinear Systems Using MATLAB® [[electronic resource] /] / by Jian Zhang, Akshya Kumar Swain, Sing Kiong Nguang
Robust Observer-Based Fault Diagnosis for Nonlinear Systems Using MATLAB® [[electronic resource] /] / by Jian Zhang, Akshya Kumar Swain, Sing Kiong Nguang
Autore Zhang Jian
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XIII, 224 p. 44 illus., 42 illus. in color.)
Disciplina 620.0044
Collana Advances in Industrial Control
Soggetto topico Control engineering
Chemical engineering
Aerospace engineering
Astronautics
Robotics
Automation
Control and Systems Theory
Industrial Chemistry/Chemical Engineering
Aerospace Technology and Astronautics
Robotics and Automation
ISBN 3-319-32324-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Detection and Isolation of Actuator Faults -- Detection and Isolation of Sensor Faults -- Robust Estimation of Actuator Faults -- Robust Estimation of Sensor Faults -- Simultaneous Estimation of Actuator and Sensor Faults Using SMO and AO -- Simultaneous Estimation of Actuator and Sensor Faults Using SMO and UIO -- Simultaneous Estimation of Actuator and Sensor Faults for Descriptor Systems -- Conclusions and Future Work -- Appendices: Solving Linear Matrix Inequality (LMI) Problems; Proof of Lemma 3.1.
Record Nr. UNINA-9910254226403321
Zhang Jian  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui