sun meng (45 Ergebnisse)

Zustand: Muy bueno. : Este libro presenta las actas de la 20ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2024, celebrada en Milán, Italia, del 9 al 10 de septiembre de 2024. Los 7 artículos completos y 1 artículo corto incluidos en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Están organizados en secciones temáticas de la siguiente manera: verificación y pruebas, modelos formales y seguridad y blockchain. Este libro es un recurso valioso para investigadores y profesionales interesados en los aspectos formales del software de componentes. EAN: 9783031712609 Tipo: Libros Categoría: Tecnología Título: Formal Aspects of Component Software Autor: Diego Marmsoler| Meng Sun Editorial: Springer Idioma: en Páginas: 138 Formato: tapa blanda.

Zustand: Como nuevo. : Este libro presenta las actas de la 20ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2024, celebrada en Milán, Italia, del 9 al 10 de septiembre de 2024. Los 7 artículos completos y 1 artículo corto incluidos en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Están organizados en secciones temáticas de la siguiente manera: verificación y pruebas, modelos formales y seguridad y blockchain. Este libro es un recurso valioso para investigadores y profesionales interesados en los aspectos formales del software de componentes. EAN: 9783031712609 Tipo: Libros Categoría: Tecnología Título: Formal Aspects of Component Software Autor: Diego Marmsoler| Meng Sun Editorial: Springer Idioma: en Páginas: 138 Formato: tapa blanda.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: new.

Zustand: New.

Paperback. Zustand: Brand New. 164 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Zustand: Brand New. 496 pages. 9.25x6.10x0.98 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 491 pages. 9.30x6.10x1.00 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 241 pages. 9.25x6.10x0.71 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 908 | Sprache: Englisch | Produktart: Bücher | This two-volume set constitutes the refereed proceedings of the workshops which complemented the 21th Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD, held in September 2021. Due to the COVID-19 pandemic the conference and workshops were held online. The 104 papers were thoroughly reviewed and selected from 180 papers submited for the workshops. This two-volume set includes the proceedings of the following workshops:Workshop on Advances in Interpretable Machine Learning and Artificial Intelligence (AIMLAI 2021)Workshop on Parallel, Distributed and Federated Learning (PDFL 2021)Workshop on Graph Embedding and Mining (GEM 2021)Workshop on Machine Learning for Irregular Time-series (ML4ITS 2021)Workshop on IoT, Edge, and Mobile for Embedded Machine Learning (ITEM 2021)Workshop on eXplainable Knowledge Discovery in Data Mining (XKDD 2021)Workshop on Bias and Fairness in AI (BIAS 2021)Workshop on Workshop on Active Inference (IWAI 2021)Workshop on Machine Learning for Cybersecurity (MLCS 2021)Workshop on Machine Learning in Software Engineering (MLiSE 2021)Workshop on MIning Data for financial applications (MIDAS 2021)Sixth Workshop on Data Science for Social Good (SoGood 2021)Workshop on Machine Learning for Pharma and Healthcare Applications (PharML 2021)Second Workshop on Evaluation and Experimental Design in Data Mining and Machine Learning (EDML 2020)Workshop on Machine Learning for Buildings Energy Management (MLBEM 2021).

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018,held in Gold Coast, QLD, Australia, in November 2018.The 22 revised full papers presented together with 14 short papers were carefully reviewed andselected from 66 submissions.The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

Zustand: New. This book highlights principles and applications of electromagnetic compatibility (EMC). After introducing the basic concepts, research progress, standardizations and limitations of EMC, the book puts emphasis on presenting the generation mechanisms and sup.

Zustand: New.

Paperback. Zustand: Brand New. 312 pages. 9.26x6.10x0.66 inches. In Stock.

Paperback. Zustand: Brand New. 376 pages. 9.25x6.10x0.78 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Neuware -This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methodsSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions.The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.

Paperback. Zustand: Brand New. 208 pages. 10.00x7.00x10.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions.They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; andAI for formal methods.

Taschenbuch. Zustand: Neu. Neuware -The two-volume set CCIS 1918 and 1919 constitutes the refereed post-conference proceedings of the 8th International Conference on Cognitive Systems and Information Processing, ICCSIP 2023, held in Luoyang, China, during August 10¿12, 2023.The 52 full papers presented in these proceedings were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections:Volume I : Award; Algorithm & Control; and Application.Volume II: Robotics & Bioinformatics; and Vision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4¿6, 2023.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - Database Systems for Advanced Applications (DASFAA) is an international - rum for academic exchanges and technical discussions among researchers,dev- opers, and users of databases from academia, business, and industry. DASFAA has been a leading conference in the areas of databases, large-scale data m- agement, data mining, and the Web. Workshops of the 15th DASFAA were held in Tsukuba, Japan on April 4, 2010. These proceedings contain papers of DASFAA2010 workshops. Among the proposals submitted in response to the call-for-workshops, we decided to hold the following six workshops: First International Workshop on Graph Data Management: Techniques and Applications (GDM 2010) Second International Workshop on Benchmarking of Database Management Systems and Data-Oriented Web Technologies (BenchmarX 2010) Third International Workshop on Managing Data Quality in Collaborative Information Systems (MCIS 2010) Workshop on Social Networks and Social Media Mining on the Web (SNSMW 2010) Data-Intensive eScience Workshop (DIEW 2010) Second International Workshop on Ubiquitous Data Management (UDM 2010) TheresearchareaofDASFAAisgrowingrapidly. Thetopicsofeachworkshop cover speci c area of DASFAA and complement topics of the main conference. Wearegratefultotheworkshoporganizersfortheire ortinsolicitingpapers, selecting papers by peer review, and preparing attractive programs. We would like to express our appreciation to Qiang Ma, Lifeng Sun and Takayuki Yumoto for their dedicated work. Our thanks also goes to Chiemi Watanabe for her hard work in preparing this proceedings volume.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set CCIS 1918 and 1919 constitutes the refereed post-conference proceedings of the 8th International Conference on Cognitive Systems and Information Processing, ICCSIP 2023, held in Luoyang, China, during August 10-12, 2023.The 52 full papers presented in these proceedings were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections:Volume I :Award;Algorithm & Control; andApplication.VolumeII:Robotics & Bioinformatics; andVision.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 316 | Sprache: Englisch | Produktart: Bücher | The two-volume set CCIS 1918 and 1919 constitutes the refereed post-conference proceedings of the 8th International Conference on Cognitive Systems and Information Processing, ICCSIP 2023, held in Luoyang, China, during August 10¿12, 2023. The 52 full papers presented in these proceedings were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections: Volume I : Award; Algorithm & Control; and Application.Volume II: Robotics & Bioinformatics; and Vision.

Paperback. Zustand: Brand New. 450 pages. 9.26x6.10x0.91 inches. In Stock.