Methods applications technologies proceedings (20 Ergebnisse)

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session. …

Taschenbuch. Zustand: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change | 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I | Tiziana Margaria (u. a.) | Taschenbuch | xviii | Englisch | 2014 | Springer | EAN 9783662452332 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 752 | Sprache: Englisch | Produktart: Bücher | This book features a collection of high-quality, peer-reviewed research papers presented at first ¿World Conference on Intelligent and 3-D Technologies¿ (WCI3DT 2022), held in China during May 24¿26, 2022. The book provides an opportunity for the researchers and academia as well as practitioners from industry to publish their ideas and recent research development work on all aspects of 3D imaging technologies and artificial intelligence, their applications, and other related areas. The book presents ideas and the works of scientists, engineers, educators, and students from all over the world from institutions and industries.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 2011 edition. 180 pages. 9.26x6.11x0.55 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book features a collection of high-quality, peer-reviewed research papers presented at Second 'World Conference on Intelligent and 3D Technologies' (WCI3DT 2023), held in China during 26-28 May 2023. The book provides an opportunity to researchers and academia as well as practitioners from industry to publish their ideas and recent research development work on all aspects of 3D imaging technologies and artificial intelligence, their applications, and other related areas. The book presents ideas and the works of scientists, engineers, educators, and students from all over the world from institutions and industries.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book features a collection of high-quality, peer-reviewed research papers presented at Second 'World Conference on Intelligent and 3D Technologies' (WCI3DT 2023), held in China during 26-28 May 2023. The book provides an opportunity to researchers and academia as well as practitioners from industry to publish their ideas and recent research development work on all aspects of 3D imaging technologies and artificial intelligence, their applications, and other related areas. The book presents ideas and the works of scientists, engineers, educators, and students from all over the world from institutions and industries.…

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book features a collection of high-quality, peer-reviewed research papers presented at first 'World Conference on Intelligent and 3-D Technologies' (WCI3DT 2022), held in China during May 24-26, 2022. The book provides an opportunity for the researchers and academia as well as practitioners from industry to publish their ideas and recent research development work on all aspects of 3D imaging technologies and artificial intelligence, their applications, and other related areas. The book presents ideas and the works of scientists, engineers, educators, and students from all over the world from institutions and industries.…

Hardcover. Zustand: Brand New. 415 pages. 9.25x6.10x8.90 inches. In Stock.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book features a collection of high-quality, peer-reviewed research papers presented at first 'World Conference on Intelligent and 3-D Technologies' (WCI3DT 2022), held in China during May 24-26, 2022. The book provides an opportunity for the researchers and academia as well as practitioners from industry to publish their ideas and recent research development work on all aspects of 3D imaging technologies and artificial intelligence, their applications, and other related areas. The book presents ideas and the works of scientists, engineers, educators, and students from all over the world from institutions and industries.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents high-quality research in the field of 3D imaging technology. The fifth edition of International Conference on 3D Imaging Technology (3DDIT-MSP&DL) continues the good traditions already established by the first four editions of the conference to provide a wide scientific forum for researchers, academia, and practitioners to exchange newest ideas and recent achievements in all aspects of image processing and analysis, together with their contemporary applications. The conference proceedings are published in two volumes. The main topics of the papers comprise famous trends such as: 3D image representation, 3D image technology, 3D images and graphics, and computing and 3D information technology. In these proceedings, special attention is paid at the 3D tensor image representation, the 3D content generation technologies, big data analysis, and also deep learning, artificial intelligence, the 3D image analysis and video understanding, the 3D virtual and augmented reality, and many related areas. The first volume contains papers in 3D image processing, transforms, and technologies. The second volume is about computing and information technologies, computer images, and graphics and related applications. The two volumes of the book cover a wide area of the aspects of the contemporary multidimensional imaging and the related future trends from data acquisition to real-world applications based on various techniques and theoretical approaches.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents high-quality research in the field of 3D imaging technology. The fifth edition of International Conference on 3D Imaging Technology (3DDIT-MSP&DL) continues the good traditions already established by the first four editions of the conference to provide a wide scientific forum for researchers, academia, and practitioners to exchange newest ideas and recent achievements in all aspects of image processing and analysis, together with their contemporary applications. The conference proceedings are published in two volumes. The main topics of the papers comprise famous trends such as: 3D image representation, 3D image technology, 3D images and graphics, and computing and 3D information technology. In these proceedings, special attention is paid at the 3D tensor image representation, the 3D content generation technologies, big data analysis, and also deep learning, artificial intelligence, the 3D image analysis and video understanding, the 3D virtual and augmented reality, and many related areas. The first volume contains papers in 3D image processing, transforms, and technologies. The second volume is about computing and information technologies, computer images, and graphics and related applications. The two volumes of the book cover a wide area of the aspects of the contemporary multidimensional imaging and the related future trends from data acquisition to real-world applications based on various techniques and theoretical approaches.…

Paperback. Zustand: Brand New. 748 pages. 9.25x6.10x1.50 inches. In Stock.

Hardcover. Zustand: Brand New. 748 pages. 9.25x6.10x1.57 inches. In Stock.