Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 63.63
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by Springer Berlin Heidelberg, 2014
ISBN 10: 3662452332 ISBN 13: 9783662452332
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 62.63
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 116.06
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 116.44
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 178.51
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 178.51
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 178.51
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by Springer Nature Singapore, 2023
ISBN 10: 9811971838 ISBN 13: 9789811971839
Language: English
Seller: Buchpark, Trebbin, Germany
US$ 184.87
Convert currencyQuantity: 1 available
Add to basketCondition: Hervorragend. Zustand: Hervorragend | Seiten: 752 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from US$ 292.48
Used offers from US$ 236.03
Also find Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 156.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 278.58
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 298.89
Used offers from US$ 316.27
Also find Softcover
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 265.01
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 265.01
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
More buying choices from other sellers on AbeBooks
New offers from US$ 300.01
Used offers from US$ 298.86
Also find Softcover
Published by Springer Nature Singapore, Springer Nature Singapore, 2024
ISBN 10: 9819721431 ISBN 13: 9789819721436
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 261.25
Convert currencyQuantity: 1 available
Add to basketBuch. Condition: 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.
Published by Springer Nature Singapore, Springer Nature Singapore, 2024
ISBN 10: 9819751802 ISBN 13: 9789819751808
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 291.85
Convert currencyQuantity: 1 available
Add to basketBuch. Condition: 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.