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.

Biblioteca

MARC Lista (tabellare)
Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XVIII, 351 p. 74 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer logic
Mathematical logic
Computer simulation
Mathematical statistics
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Simulation and Modeling
Probability and Statistics in Computer Science
ISBN 3-319-69483-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools.
Record Nr. UNISA-996465637303316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XVIII, 351 p. 74 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer logic
Mathematical logic
Computer simulation
Mathematical statistics
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Simulation and Modeling
Probability and Statistics in Computer Science
ISBN 3-319-69483-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools.
Record Nr. UNINA-9910483877403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Piezoelectricity, acoustic waves and device applications [[electronic resource] ] : proceedings of the 2006 Symposium, Zhejiang University, China, 14-16, December 2006 / / editors, Ji Wang, Weiqiu Chen
Piezoelectricity, acoustic waves and device applications [[electronic resource] ] : proceedings of the 2006 Symposium, Zhejiang University, China, 14-16, December 2006 / / editors, Ji Wang, Weiqiu Chen
Pubbl/distr/stampa Hackensack, N.J., : World Scientific, c2007
Descrizione fisica 1 online resource (400 p.)
Disciplina 537/.2446
Altri autori (Persone) ChenWeiqiu
WangJi
Soggetto topico Acoustic surface waves
Piezoelectric devices
Piezoelectric materials
Piezoelectricity
Soggetto genere / forma Electronic books.
ISBN 981-277-016-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ORGANIZERS AND COMMITTEES; FOREWORD; CONTENTS; Piezoelectricity; Acoustic Waves and Vibrations; Device Applications; 声电转换材料的研究进展; 1. 引言; 2. 声电材料的研究现状及分类; 2.1. 压电材料的分类; 2.1.1. 压电陶瓷; 2.1.3. 压电半导体; 2.1.4. 压电高聚物; 2.1.5. 压电复合材料; 2.2. 压磁材料的分类; 2.2.1. 铁磁金属类; 2.2.2. 铁氧体; 2.2.3 稀土超磁致伸缩材料; 3. 压电与压磁材料的性能改进; 3.1. 压电材料(PZT)的性能改进; 3.1.1. 压电陶瓷制备方法的改进; 3.1.2. 压电陶瓷的掺杂改性; 3.2. 压磁材料的性能改进; 3.2.1. 稀土超磁致伸缩材料的制备方法的改进; 3.2.2. 稀土超磁致伸缩材料的掺杂改性; 4. 声电转换材料的应用; 5. 结论; 无铅压电陶瓷材料的研究; 1. 压电陶瓷及压电效应; 1.1. 压电陶瓷及其分类; 1.2. 压电效应; 1.3. 压电陶瓷材料的应用; 2. 开发无铅压电陶瓷材料的研究与发展; 2.1. 新型无铅压电陶瓷研究; 2.1.1. NaNbO3 的研究; 2.1.2. Bi 层状结构化合物
2.1.3. 以碱性金属铌酸盐为基的陶瓷体系2.1.4. 以钛酸铋钠为基的二元或多元陶瓷体系; 2.2. 无铅压电陶瓷的晶格缺陷对压电性的影响; 2.3. 无铅压电陶瓷对电子发射性能的影响; 3. 结束语; 超细粉体技术的发展现状及其应用; 1. 前言; 1.1. 小尺寸效应; 1.2. 表面与界面效应; 1.3. 量子尺寸效应; 2. 超细粉体科学与技术; 2.1. 超细粉体的制备方法; 2.2 超细粉体的分级技术; 2.3. 超细粉体的表面改性与修饰; 3. 超细粉体技术的应用领域; 3.1. 超细粉体在材料领域的应用; 3.2. 超细粉体技术在化工领域的应用; 3.3. 超细粉体在医药、生物及基因工程等领域的应用; 3.4. 超细粒子在新型高灵敏度传感器制造方面的应用; 3.5. 超细粉体技术在保健、日用品等领域的应用; 3.6. 超细粉体技术及产品在军事,航空,航天领域的应用; 4. 结束语; 压电高聚物的研究及应用; 1. 前言; 2. 压电效应及压电材料; 3. 压电高聚物的发现及特性; 3.1. 压电高聚物的发现; 3.2. 压电高聚物的特性; 4. 压电高聚物的种类、应用及制备; 4.1. 聚偏氟乙烯(PVDF); 4.2. 尼龙11(nylon11); 4.3. 压电橡胶(piezoelectric rubber)
4.4. 压电复合材料(piezoelectric composites)5. 展望前景与总结; SUBSONIC SLIP PULSE ALONG A FRICTIONLESS INTERFACE BETWEEN TWO PIEZOELECTRIC SOLIDS IN SLIDING CONTACT WITH LOCAL SEPARATION; 1. Introduction; 2. Problem Formulation; 3. Dual Integral Equations; 4. Singular Integral Equation and Its Solution; 5. Numerical Results and Discussion; 6. Conclusions; Acknowledgments; References; 柔性压电梁结构运动稳定性分析; 1. 引言; 2. 运动方程; 3. 运动稳定性分析; 4. 算例和讨论; EFFECT OF INITIAL STRESSES ON DISPERSION RELATION FOR TRANSVERSE PIEZOELECTRIC WAVES ON A LAYERED CYLINDER; 1. Introduction; 2. General Equations
3. Formulation of the Problem3.1. Governing equations for the core; 3.2. Governing the equations for the overlay; 3.3. Boundary conditions; 4. Solution of the Problem (Dispersion Relation); 5. Numerical Results and Discussion; References; A SIMPLY SUPPORTED CIRCULAR PIEZOTHERMOELASTIC PLATE UNDER UNIFORM LOADING; 1. Introduction; 2. General Solution For Piezothermoelasyic Materials; 3. Final Manuscript; 4. Numerical Results; 5. Conclusions; Acknowledgments; References; 实验研究1-3 型压电复合材料结构参数对其性能的影响; 1. 引言; 2. 1-3 系压电复合材料的制备; 3. 1-3 复合材料性能与陶瓷体积百分比的关系; 3.1. 压电常数d33 和相对介电常数33 0 ε ε 与陶瓷体积百分比的关系
3.2. 厚度机电耦合系数和频率常数随陶瓷体积比变化4. 实验研究1-3 复合材料结构尺寸对厚度振动的影响; 4.1. 复合材料厚度振动频率常数的实验研究; 4.2 复合材料厚度振动与其它振动耦合的实验研究; 5. 结论; References; 节式压电梁的电阻模拟和实验研究; 1. 引言; 2. 并联式双压电晶片夹层梁的阻抗矩阵; 3. 节式压电梁的电阻抗; 4. 节式压电梁的电阻抗实验和讨论; 5. 压电片相关参数对电阻抗的影响; 6. 结论; CEO2 掺杂PB0.99CA0.006NB1.98TI0.01O5.986 高居里温度压电陶瓷的研究; 1. 引言; 2. 实验; 3. 结果分析与讨论; 3.1. X 射线衍射分析; 3.2 陶瓷的介电性能; 3.3 陶瓷的压电性能; 4. 结论; References; THE BENDING SOLUTION OF PIEZOELECTRIC FUNCTIONALLY GRADIENT RECTANGULAR THIN PLATE; 1. Introduction; 2. Statements and Basic Equation; 2.1. The mathematic model of parameter; 2.2. The government equations; 3. Solution; 3.1. Case 1
3.2. Case 2
Record Nr. UNINA-9910451392903321
Hackensack, N.J., : World Scientific, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Piezoelectricity, acoustic waves and device applications [[electronic resource] ] : proceedings of the 2006 Symposium, Zhejiang University, China, 14-16, December 2006 / / editors, Ji Wang, Weiqiu Chen
Piezoelectricity, acoustic waves and device applications [[electronic resource] ] : proceedings of the 2006 Symposium, Zhejiang University, China, 14-16, December 2006 / / editors, Ji Wang, Weiqiu Chen
Pubbl/distr/stampa Hackensack, N.J., : World Scientific, c2007
Descrizione fisica 1 online resource (400 p.)
Disciplina 537/.2446
Altri autori (Persone) ChenWeiqiu
WangJi
Soggetto topico Acoustic surface waves
Piezoelectric devices
Piezoelectric materials
Piezoelectricity
ISBN 981-277-016-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ORGANIZERS AND COMMITTEES; FOREWORD; CONTENTS; Piezoelectricity; Acoustic Waves and Vibrations; Device Applications; 声电转换材料的研究进展; 1. 引言; 2. 声电材料的研究现状及分类; 2.1. 压电材料的分类; 2.1.1. 压电陶瓷; 2.1.3. 压电半导体; 2.1.4. 压电高聚物; 2.1.5. 压电复合材料; 2.2. 压磁材料的分类; 2.2.1. 铁磁金属类; 2.2.2. 铁氧体; 2.2.3 稀土超磁致伸缩材料; 3. 压电与压磁材料的性能改进; 3.1. 压电材料(PZT)的性能改进; 3.1.1. 压电陶瓷制备方法的改进; 3.1.2. 压电陶瓷的掺杂改性; 3.2. 压磁材料的性能改进; 3.2.1. 稀土超磁致伸缩材料的制备方法的改进; 3.2.2. 稀土超磁致伸缩材料的掺杂改性; 4. 声电转换材料的应用; 5. 结论; 无铅压电陶瓷材料的研究; 1. 压电陶瓷及压电效应; 1.1. 压电陶瓷及其分类; 1.2. 压电效应; 1.3. 压电陶瓷材料的应用; 2. 开发无铅压电陶瓷材料的研究与发展; 2.1. 新型无铅压电陶瓷研究; 2.1.1. NaNbO3 的研究; 2.1.2. Bi 层状结构化合物
2.1.3. 以碱性金属铌酸盐为基的陶瓷体系2.1.4. 以钛酸铋钠为基的二元或多元陶瓷体系; 2.2. 无铅压电陶瓷的晶格缺陷对压电性的影响; 2.3. 无铅压电陶瓷对电子发射性能的影响; 3. 结束语; 超细粉体技术的发展现状及其应用; 1. 前言; 1.1. 小尺寸效应; 1.2. 表面与界面效应; 1.3. 量子尺寸效应; 2. 超细粉体科学与技术; 2.1. 超细粉体的制备方法; 2.2 超细粉体的分级技术; 2.3. 超细粉体的表面改性与修饰; 3. 超细粉体技术的应用领域; 3.1. 超细粉体在材料领域的应用; 3.2. 超细粉体技术在化工领域的应用; 3.3. 超细粉体在医药、生物及基因工程等领域的应用; 3.4. 超细粒子在新型高灵敏度传感器制造方面的应用; 3.5. 超细粉体技术在保健、日用品等领域的应用; 3.6. 超细粉体技术及产品在军事,航空,航天领域的应用; 4. 结束语; 压电高聚物的研究及应用; 1. 前言; 2. 压电效应及压电材料; 3. 压电高聚物的发现及特性; 3.1. 压电高聚物的发现; 3.2. 压电高聚物的特性; 4. 压电高聚物的种类、应用及制备; 4.1. 聚偏氟乙烯(PVDF); 4.2. 尼龙11(nylon11); 4.3. 压电橡胶(piezoelectric rubber)
4.4. 压电复合材料(piezoelectric composites)5. 展望前景与总结; SUBSONIC SLIP PULSE ALONG A FRICTIONLESS INTERFACE BETWEEN TWO PIEZOELECTRIC SOLIDS IN SLIDING CONTACT WITH LOCAL SEPARATION; 1. Introduction; 2. Problem Formulation; 3. Dual Integral Equations; 4. Singular Integral Equation and Its Solution; 5. Numerical Results and Discussion; 6. Conclusions; Acknowledgments; References; 柔性压电梁结构运动稳定性分析; 1. 引言; 2. 运动方程; 3. 运动稳定性分析; 4. 算例和讨论; EFFECT OF INITIAL STRESSES ON DISPERSION RELATION FOR TRANSVERSE PIEZOELECTRIC WAVES ON A LAYERED CYLINDER; 1. Introduction; 2. General Equations
3. Formulation of the Problem3.1. Governing equations for the core; 3.2. Governing the equations for the overlay; 3.3. Boundary conditions; 4. Solution of the Problem (Dispersion Relation); 5. Numerical Results and Discussion; References; A SIMPLY SUPPORTED CIRCULAR PIEZOTHERMOELASTIC PLATE UNDER UNIFORM LOADING; 1. Introduction; 2. General Solution For Piezothermoelasyic Materials; 3. Final Manuscript; 4. Numerical Results; 5. Conclusions; Acknowledgments; References; 实验研究1-3 型压电复合材料结构参数对其性能的影响; 1. 引言; 2. 1-3 系压电复合材料的制备; 3. 1-3 复合材料性能与陶瓷体积百分比的关系; 3.1. 压电常数d33 和相对介电常数33 0 ε ε 与陶瓷体积百分比的关系
3.2. 厚度机电耦合系数和频率常数随陶瓷体积比变化4. 实验研究1-3 复合材料结构尺寸对厚度振动的影响; 4.1. 复合材料厚度振动频率常数的实验研究; 4.2 复合材料厚度振动与其它振动耦合的实验研究; 5. 结论; References; 节式压电梁的电阻模拟和实验研究; 1. 引言; 2. 并联式双压电晶片夹层梁的阻抗矩阵; 3. 节式压电梁的电阻抗; 4. 节式压电梁的电阻抗实验和讨论; 5. 压电片相关参数对电阻抗的影响; 6. 结论; CEO2 掺杂PB0.99CA0.006NB1.98TI0.01O5.986 高居里温度压电陶瓷的研究; 1. 引言; 2. 实验; 3. 结果分析与讨论; 3.1. X 射线衍射分析; 3.2 陶瓷的介电性能; 3.3 陶瓷的压电性能; 4. 结论; References; THE BENDING SOLUTION OF PIEZOELECTRIC FUNCTIONALLY GRADIENT RECTANGULAR THIN PLATE; 1. Introduction; 2. Statements and Basic Equation; 2.1. The mathematic model of parameter; 2.2. The government equations; 3. Solution; 3.1. Case 1
3.2. Case 2
Record Nr. UNINA-9910785077103321
Hackensack, N.J., : World Scientific, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Piezoelectricity, acoustic waves and device applications : proceedings of the 2006 Symposium, Zhejiang University, China, 14-16, December 2006 / / editors, Ji Wang, Weiqiu Chen
Piezoelectricity, acoustic waves and device applications : proceedings of the 2006 Symposium, Zhejiang University, China, 14-16, December 2006 / / editors, Ji Wang, Weiqiu Chen
Edizione [1st ed.]
Pubbl/distr/stampa Hackensack, N.J., : World Scientific, c2007
Descrizione fisica 1 online resource (400 p.)
Disciplina 537/.2446
Altri autori (Persone) ChenWeiqiu
WangJi
Soggetto topico Acoustic surface waves
Piezoelectric devices
Piezoelectric materials
Piezoelectricity
ISBN 981-277-016-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ORGANIZERS AND COMMITTEES; FOREWORD; CONTENTS; Piezoelectricity; Acoustic Waves and Vibrations; Device Applications; 声电转换材料的研究进展; 1. 引言; 2. 声电材料的研究现状及分类; 2.1. 压电材料的分类; 2.1.1. 压电陶瓷; 2.1.3. 压电半导体; 2.1.4. 压电高聚物; 2.1.5. 压电复合材料; 2.2. 压磁材料的分类; 2.2.1. 铁磁金属类; 2.2.2. 铁氧体; 2.2.3 稀土超磁致伸缩材料; 3. 压电与压磁材料的性能改进; 3.1. 压电材料(PZT)的性能改进; 3.1.1. 压电陶瓷制备方法的改进; 3.1.2. 压电陶瓷的掺杂改性; 3.2. 压磁材料的性能改进; 3.2.1. 稀土超磁致伸缩材料的制备方法的改进; 3.2.2. 稀土超磁致伸缩材料的掺杂改性; 4. 声电转换材料的应用; 5. 结论; 无铅压电陶瓷材料的研究; 1. 压电陶瓷及压电效应; 1.1. 压电陶瓷及其分类; 1.2. 压电效应; 1.3. 压电陶瓷材料的应用; 2. 开发无铅压电陶瓷材料的研究与发展; 2.1. 新型无铅压电陶瓷研究; 2.1.1. NaNbO3 的研究; 2.1.2. Bi 层状结构化合物
2.1.3. 以碱性金属铌酸盐为基的陶瓷体系2.1.4. 以钛酸铋钠为基的二元或多元陶瓷体系; 2.2. 无铅压电陶瓷的晶格缺陷对压电性的影响; 2.3. 无铅压电陶瓷对电子发射性能的影响; 3. 结束语; 超细粉体技术的发展现状及其应用; 1. 前言; 1.1. 小尺寸效应; 1.2. 表面与界面效应; 1.3. 量子尺寸效应; 2. 超细粉体科学与技术; 2.1. 超细粉体的制备方法; 2.2 超细粉体的分级技术; 2.3. 超细粉体的表面改性与修饰; 3. 超细粉体技术的应用领域; 3.1. 超细粉体在材料领域的应用; 3.2. 超细粉体技术在化工领域的应用; 3.3. 超细粉体在医药、生物及基因工程等领域的应用; 3.4. 超细粒子在新型高灵敏度传感器制造方面的应用; 3.5. 超细粉体技术在保健、日用品等领域的应用; 3.6. 超细粉体技术及产品在军事,航空,航天领域的应用; 4. 结束语; 压电高聚物的研究及应用; 1. 前言; 2. 压电效应及压电材料; 3. 压电高聚物的发现及特性; 3.1. 压电高聚物的发现; 3.2. 压电高聚物的特性; 4. 压电高聚物的种类、应用及制备; 4.1. 聚偏氟乙烯(PVDF); 4.2. 尼龙11(nylon11); 4.3. 压电橡胶(piezoelectric rubber)
4.4. 压电复合材料(piezoelectric composites)5. 展望前景与总结; SUBSONIC SLIP PULSE ALONG A FRICTIONLESS INTERFACE BETWEEN TWO PIEZOELECTRIC SOLIDS IN SLIDING CONTACT WITH LOCAL SEPARATION; 1. Introduction; 2. Problem Formulation; 3. Dual Integral Equations; 4. Singular Integral Equation and Its Solution; 5. Numerical Results and Discussion; 6. Conclusions; Acknowledgments; References; 柔性压电梁结构运动稳定性分析; 1. 引言; 2. 运动方程; 3. 运动稳定性分析; 4. 算例和讨论; EFFECT OF INITIAL STRESSES ON DISPERSION RELATION FOR TRANSVERSE PIEZOELECTRIC WAVES ON A LAYERED CYLINDER; 1. Introduction; 2. General Equations
3. Formulation of the Problem3.1. Governing equations for the core; 3.2. Governing the equations for the overlay; 3.3. Boundary conditions; 4. Solution of the Problem (Dispersion Relation); 5. Numerical Results and Discussion; References; A SIMPLY SUPPORTED CIRCULAR PIEZOTHERMOELASTIC PLATE UNDER UNIFORM LOADING; 1. Introduction; 2. General Solution For Piezothermoelasyic Materials; 3. Final Manuscript; 4. Numerical Results; 5. Conclusions; Acknowledgments; References; 实验研究1-3 型压电复合材料结构参数对其性能的影响; 1. 引言; 2. 1-3 系压电复合材料的制备; 3. 1-3 复合材料性能与陶瓷体积百分比的关系; 3.1. 压电常数d33 和相对介电常数33 0 ε ε 与陶瓷体积百分比的关系
3.2. 厚度机电耦合系数和频率常数随陶瓷体积比变化4. 实验研究1-3 复合材料结构尺寸对厚度振动的影响; 4.1. 复合材料厚度振动频率常数的实验研究; 4.2 复合材料厚度振动与其它振动耦合的实验研究; 5. 结论; References; 节式压电梁的电阻模拟和实验研究; 1. 引言; 2. 并联式双压电晶片夹层梁的阻抗矩阵; 3. 节式压电梁的电阻抗; 4. 节式压电梁的电阻抗实验和讨论; 5. 压电片相关参数对电阻抗的影响; 6. 结论; CEO2 掺杂PB0.99CA0.006NB1.98TI0.01O5.986 高居里温度压电陶瓷的研究; 1. 引言; 2. 实验; 3. 结果分析与讨论; 3.1. X 射线衍射分析; 3.2 陶瓷的介电性能; 3.3 陶瓷的压电性能; 4. 结论; References; THE BENDING SOLUTION OF PIEZOELECTRIC FUNCTIONALLY GRADIENT RECTANGULAR THIN PLATE; 1. Introduction; 2. Statements and Basic Equation; 2.1. The mathematic model of parameter; 2.2. The government equations; 3. Solution; 3.1. Case 1
3.2. Case 2
Record Nr. UNINA-9910826144603321
Hackensack, N.J., : World Scientific, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Symposium on Real-Time and Hybrid Systems [[electronic resource] ] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / / edited by Cliff Jones, Ji Wang, Naijun Zhan
Symposium on Real-Time and Hybrid Systems [[electronic resource] ] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / / edited by Cliff Jones, Ji Wang, Naijun Zhan
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XII, 263 p. 68 illus.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Compilers (Computer programs)
Electronic digital computers—Evaluation
Artificial intelligence
Theory of Computation
Software Engineering
Compilers and Interpreters
System Performance and Evaluation
Artificial Intelligence
ISBN 3-030-01461-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Think Sequential, Run Parallel -- Concurrency: Handling interference Formally -- Decidability of the Initial-state Opacity of Real-time Automata -- Domain Science and Engineering: A Review of 10 Years Work -- HAT: Analyzing Linear Hybrid Automata As Labeled Transition System -- Overview: System Architecture Virtual Integration Based on an AADL Model -- Characterization and Verification of Stuttering Equivalence -- Q-SI: A Quantum Programming Environment -- The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology -- Linking Theories of Probabilistic Programming -- Space for Traffic Manoeuvres: An Overview -- Cloud Robotics: A Distributed Computing View -- Analyzing Interrupt Handlers via Interprocedural Summaries.
Record Nr. UNISA-996466325703316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / / edited by Cliff Jones, Ji Wang, Naijun Zhan
Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / / edited by Cliff Jones, Ji Wang, Naijun Zhan
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XII, 263 p. 68 illus.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Compilers (Computer programs)
Electronic digital computers—Evaluation
Artificial intelligence
Theory of Computation
Software Engineering
Compilers and Interpreters
System Performance and Evaluation
Artificial Intelligence
ISBN 3-030-01461-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Think Sequential, Run Parallel -- Concurrency: Handling interference Formally -- Decidability of the Initial-state Opacity of Real-time Automata -- Domain Science and Engineering: A Review of 10 Years Work -- HAT: Analyzing Linear Hybrid Automata As Labeled Transition System -- Overview: System Architecture Virtual Integration Based on an AADL Model -- Characterization and Verification of Stuttering Equivalence -- Q-SI: A Quantum Programming Environment -- The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology -- Linking Theories of Probabilistic Programming -- Space for Traffic Manoeuvres: An Overview -- Cloud Robotics: A Distributed Computing View -- Analyzing Interrupt Handlers via Interprocedural Summaries.
Record Nr. UNINA-9910349402803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui