147 resultater (0,34804 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Pattern Recognition: Applications and Methods - - Bog - Springer International Publishing AG - Plusbog.dk

Pattern Recognition: Applications and Methods - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-conference proceedingsof the 4th International Conference on Pattern Recognition, ICPRAM 2015,held in Lisbon, Portugal, in January 2015. The 20 revised full papers were carefully reviewed and selectedfrom 145 submissions and describe up-to-date applications of patternrecognition techniques to real-world problems, interdisciplinaryresearch, experimental and/or theoretical studies yielding new insightsthat advance pattern recognition methods.

DKK 423.00
1

Applied Cryptography and Network Security - - Bog - Springer International Publishing AG - Plusbog.dk

Applied Cryptography and Network Security - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 15 th International Conference on Applied Cryptology and Network Security, ACNS 2017, held in Kanazawa, Japan, in July 2017. The 34 papers presented in this volume were carefully reviewed and selected from 149 submissions. The topics focus on innovative research and current developments that advance the areas of applied cryptography, security analysis, cyber security and privacy, data and server security.

DKK 426.00
1

Managing Water, Soil and Waste Resources to Achieve Sustainable Development Goals - - Bog - Springer International Publishing AG - Plusbog.dk

Managing Water, Soil and Waste Resources to Achieve Sustainable Development Goals - - Bog - Springer International Publishing AG - Plusbog.dk

This book explores how integrated management of environmental resources via a Nexus Approach can help to achieve Sustainable Development Goals (SDGs). It takes a process-oriented view on what should or needs to be done to implement a Nexus Approach and how this relates to SDGs. After sketching the background and conceptual outline, contributions to the book explore key aspects of monitoring and implementation. Specifically, they: - - focus on the importance of monitoring resource use and how to advance it at the international level to support SDG implementation, - - exemplify the resources perspective on the nexus approach by exploring how to close the nitrogen cycle and stay within planetary boundaries, - - elaborate on proven and emerging strategies for nexus implementation, highlighting means to enhance, monitor and analyse stakeholder participation, - - explain how the horizontal and vertical nexus dimensions interact and can support SDG implementation. - The book sheds new light on key aspects of the interrelation between SDGs and the Nexus Approach and provides specific recommendations how to advance it.

DKK 529.00
1

Engineering Secure Software and Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Engineering Secure Software and Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions. The goal of this symposium is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering.

DKK 426.00
1

Pattern Recognition Applications and Methods - - Bog - Springer International Publishing AG - Plusbog.dk

Pattern Recognition Applications and Methods - - Bog - Springer International Publishing AG - Plusbog.dk

This book contains revised and extended versions of selected papers from the 5th International Conference on Pattern Recognition, ICPRAM 2016, held in Rome, Italy, in February 2016. The 13 full papers were carefully reviewed and selected from 125 initial submissions and describe up-to-date applications of pattern recognition techniques to real-world problems, interdisciplinary research, experimental and/or theoretical studies yielding new insights that advance pattern recognition methods.

DKK 426.00
1

Applied Cryptography and Network Security - - Bog - Springer International Publishing AG - Plusbog.dk

Applied Cryptography and Network Security - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 14th International Conference on Applied Cryptography and Network Security, ACNS 2016, held in Guildford, UK. in June 2016. 5. The 35 revised full papers included in this volume and presented together with 2 invited talks, were carefully reviewed and selected from 183 submissions. ACNS is an annual conference focusing on innovative research and current developments that advance the areas of applied cryptography, cyber security and privacy.

DKK 416.00
1

Hardware and Software: Verification and Testing - - Bog - Springer International Publishing AG - Plusbog.dk

Hardware and Software: Verification and Testing - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

DKK 426.00
1

Brain and Human Body Modelling 2021 - - Bog - Springer International Publishing AG - Plusbog.dk

Brain and Human Body Modelling 2021 - - Bog - Springer International Publishing AG - Plusbog.dk

This open access book describes modern applications of computational human modelling to advance neurology, cancer treatment, and radio-frequency studies including regulatory, safety, and wireless communication fields. Readers working on any application that may expose human subjects to electromagnetic radiation will benefit from this book''s coverage of the latest models and techniques available to assess a given technology''s safety and efficacy in a timely and efficient manner. This is an Open Access book.

DKK 349.00
1

Brain and Human Body Modelling 2021 - - Bog - Springer International Publishing AG - Plusbog.dk

Brain and Human Body Modelling 2021 - - Bog - Springer International Publishing AG - Plusbog.dk

This open access book describes modern applications of computational human modelling to advance neurology, cancer treatment, and radio-frequency studies including regulatory, safety, and wireless communication fields. Readers working on any application that may expose human subjects to electromagnetic radiation will benefit from this book''s coverage of the latest models and techniques available to assess a given technology''s safety and efficacy in a timely and efficient manner. This is an Open Access book.

DKK 434.00
1

Verified Software. Theories, Tools, and Experiments - - Bog - Springer International Publishing AG - Plusbog.dk

Verified Software. Theories, Tools, and Experiments - - Bog - Springer International Publishing AG - Plusbog.dk

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation.

DKK 426.00
1

Hardware and Software: Verification and Testing - - Bog - Springer International Publishing AG - Plusbog.dk

Hardware and Software: Verification and Testing - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017. The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

DKK 426.00
1

Multiscale Multimodal Medical Imaging - - Bog - Springer International Publishing AG - Plusbog.dk

Multiscale Multimodal Medical Imaging - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the Third International Workshop on Multiscale Multimodal Medical Imaging, MMMI 2022, held in conjunction with MICCAI 2022 in singapore, in September 2022. The 12 papers presented were carefully reviewed and selected from 18 submissions. The MMMI workshop aims to advance the state of the art in multi-scale multi-modal medical imaging, including algorithm development, implementation of methodology, and experimental studies. The papers focus on medical image analysis and machine learning, especially on machine learning methods for data fusion and multi-score learning.

DKK 476.00
1

Verified Software: Theories, Tools, and Experiments - - Bog - Springer International Publishing AG - Plusbog.dk

Verified Software: Theories, Tools, and Experiments - - Bog - Springer International Publishing AG - Plusbog.dk

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.

DKK 416.00
1

Higher Education and Disaster Capitalism in the Age of COVID-19 - Marina Vujnovic - Bog - Springer International Publishing AG - Plusbog.dk

Higher Education and Disaster Capitalism in the Age of COVID-19 - Marina Vujnovic - Bog - Springer International Publishing AG - Plusbog.dk

This book reveals the layered effects of the corporatization of higher education, situated within the phenomenon of disaster capitalism. The authors argue that higher education administrators have seized on the Covid-19 pandemic as an opportunity to advance a corporate higher education agenda consistent with the principles of disaster capitalism. This crisis deeply impacts what and how students in the United States learn, who gets to learn, and the very mission of the academy. Chapters also address neoliberalism as a policy statement that has reshaped and continues to shape higher education in the United States and in much of Western societies.

DKK 986.00
1

Software Engineering and Formal Methods - - Bog - Springer International Publishing AG - Plusbog.dk

Software Engineering and Formal Methods - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

DKK 519.00
1

Machine Learning in Medical Imaging - - Bog - Springer International Publishing AG - Plusbog.dk

Machine Learning in Medical Imaging - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 7th International Workshop on Machine Learning in Medical Imaging, MLMI 2016, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016. The 38 full papers presented in this volume were carefully reviewed and selected from 60 submissions. The main aim of this workshop is to help advance scientific research within the broad field of machine learning in medical imaging. The workshop focuses on major trends and challenges in this area, and presents works aimed to identify new cutting-edge techniques and their use in medical imaging.

DKK 426.00
1

Social Robotics - - Bog - Springer International Publishing AG - Plusbog.dk

Social Robotics - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 8th International Conference on Social Robotics, ICSR 2016, held in Kansas City, MO, USA, in November 2016. The 98 revised full papers presented were carefully reviewed and selected from 107 submissions. The theme of the 2016 conference is Sociorobotics: Design and implementation of social behaviors of robots interacting with each other and humans. In addition to technical sessions, ICSR 2016 included three workshops: The Synthetic Method in Social Robotics (SMSR 2016), Social Robots: A Tool to Advance Interventions for Autism, and Using Social Robots to Improve the Quality of Life in the Elderly.

DKK 800.00
1