13 resultater (7,31054 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Web Services, Formal Methods, and Behavioral Types - - Bog - Springer International Publishing AG - Plusbog.dk

Web Services, Formal Methods, and Behavioral Types - - Bog - Springer International Publishing AG - Plusbog.dk

This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.

DKK 359.00
1

Agile Processes in Software Engineering and Extreme Programming - - Bog - Springer International Publishing AG - Plusbog.dk

Agile Processes in Software Engineering and Extreme Programming - - Bog - Springer International Publishing AG - Plusbog.dk

This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year''s conference was held with the theme "Agile in the Era of Hybrid Work". The 13 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: agile practices; agile processes; and agile in the large.

DKK 349.00
1

Agile Processes in Software Engineering and Extreme Programming – Workshops - - Bog - Springer International Publishing AG - Plusbog.dk

Agile Processes in Software Engineering and Extreme Programming – Workshops - - Bog - Springer International Publishing AG - Plusbog.dk

This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. In 2022, the following workshops took place: ? 3rd International Workshop on Agility with Microservices Programming? 2nd International Workshop on Agile Sustainability? Agile and EducationIn 2023, six workshops were held: ? Workshop on Organisational Debt and Large-Scale Agile? Workshop on Software-Intensive Business? Workshop on Global and Hybrid Work? Workshop on Fear-Based Agile Transformation? Workshop on AI-assisted Agile? Workshop on Agile-Quantum Software EngineeringIn 2022, 6 workshop papers were accepted for publication in these post-proceedings, out of 11 submissions, and in 2023, 15 papers were accepted for publication out of 38 submissions.

DKK 349.00
1

Cybersecurity of Digital Service Chains - - Bog - Springer International Publishing AG - Plusbog.dk

Cybersecurity of Digital Service Chains - - Bog - Springer International Publishing AG - Plusbog.dk

A Reference Architecture for Management of Security Operations in Digital Service Chains.- Efficient flow monitoring in digital services.- Intelligent Transportation Systems -- models, challenges, security aspects.- NAD: Machine Learning based Component for Unknown Attack Detection in Network Traffic.- Detecting unknown attacks through system behavior analysis.- Signature-based detection of botnet DDoS attacks.- Automatic Attack Pattern Mining for Generating Actionable CTI Applying Alert Aggregation.- Blockchain-based task and information management in computational cloud systems.

DKK 349.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 revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

DKK 416.00
1

Intestinal Polyposis Syndromes - - Bog - Springer International Publishing AG - Plusbog.dk

Intestinal Polyposis Syndromes - - Bog - Springer International Publishing AG - Plusbog.dk

This book provides a comprehensive, state-of-the art review of intestinal polyposis syndromes. The book reviews the most up-to-date clinical, management, and genetic information regarding the continually evolving colorectal condition that manifests as a polyposis condition. It provides a reference for clinicians and researchers in understanding the complexity of intestinal polyposis and the importance of utilizing multiple modalities for the diagnosis, management and control of these conditions. It also provides an overview of what should alert a care provider to the possibility of a polyposis syndrome. Written by experts in their fields, Intestinal Polyposis Syndromes: Diagnosis and Management is a valuable resource for physicians and researchers who deal with the challenges of diagnosing and managing colorectal cancer and intestinal polyposis syndromes.

DKK 646.00
1

Socially Just Mining - Andy Fourie - Bog - Springer International Publishing AG - Plusbog.dk

Socially Just Mining - Andy Fourie - Bog - Springer International Publishing AG - Plusbog.dk

In this book we consider ways in which mining companies do and can/should respect the human rights of communities affected by mining operations. We examine what "can and should" means and to whom, in a variety of mostly Peruvian contexts, and how engineers engage in "normative" practices that may interfere with the communities'' best interests. We hope to raise awareness of the complexity of issues at stake and begin the necessary process of critique-of self and of the industry in which an engineer chooses to work. This book aims to alert engineering students to the price paid not only by vulnerable communities but also by the natural environment when mining companies engage in irresponsible and, often, illegal mining practices. If mining is to be in our future, and if we are to have a future which is sustainable, engineering students must learn to mine and support mining, in new ways-ways which are fairer, more equitable, and cleaner than today.

DKK 519.00
1

Chemistry and Food Safety in the EU - Ramesh Kumar Sharma - Bog - Springer International Publishing AG - Plusbog.dk

Chemistry and Food Safety in the EU - Ramesh Kumar Sharma - Bog - Springer International Publishing AG - Plusbog.dk

This Brief provides a general description of the European Rapid Alert System for Food and Feed (RASFF). It describes the RASFF approach on the legal level and with reference to notification procedures, including also new tools, which were launched in 2014: iRASFF and the RASFF Consumer Portal. In an introduction, the present status of the RASFF, which had originally been introduced in 1979, is briefly reviewed. It is described as the main basis of modern food policy in Europe, enabling member countries to take rapid corrective actions on the one hand, and to perform statistically reliable analyses of food-related hazards on the other hand. One chapter contains a statistical evaluation of RASFF notifications in general, and specifically with regard to chemical contaminants, including also allergens. In another chapter, reasons for rejections of food and feed at the European borders are analyzed in selected case studies. The Brief provides an easy description for the chemical dangers and contaminants it is referring to, outlining the names, properties, uses and importance in the food and feed industry, toxicological effects, and contamination sources. The last chapter offers an outlook on the future of the RASFF and possible expectations.

DKK 416.00
1

Greening Water Risks - - Bog - Springer International Publishing AG - Plusbog.dk

Greening Water Risks - - Bog - Springer International Publishing AG - Plusbog.dk

Confronted with an increase in floods, droughts and other natural hazards, cities and regions are alert to find climate proof solutions that overcome the limitations of traditional grey infrastructure. Nature-based solutions are proposed as a valid way to address risk and adapt to climate change while increasing resilience through the multiple benefits they generate. However, in spite of the widespread academic and political support for NBS, their implementation is lacking. As key barriers to implementation there are institutional and regulatory barriers, an absence of clear evaluation of NBS performance, funding/financing barriers and knowledge and acceptance barriers. This Open Access book provides a hands-on guide to overcome these barriers, through the stepwise creation of nature-assurance schemes that operationalize the insurance value of ecosystems. At the basis thereof is an integrated biophysical, economic and social assessment which is integrated with implementation considerations through the generation of business models and blended funding and financing schemes. This book will be of interest to practitioners and researchers who want to better understand how to operationalize the insurance value of ecosystems. The book provides 9 DEMO examples on the application of this method across different scales: urban, medium and large catchments and target both floods and droughts.

DKK 205.00
1

Chemical and Petroleum Industries at Newtown Creek - Peter Spellane - Bog - Springer International Publishing AG - Plusbog.dk

Chemical and Petroleum Industries at Newtown Creek - Peter Spellane - Bog - Springer International Publishing AG - Plusbog.dk

This book constructs a history of Newtown Creek''s industrial expansion during the period that began in the 1840s and continued through the early years of the 20th century. In that period, the production of reagent chemicals and refined materials near the center of modern-day New York City grew steadily, as practitioners, alert to European advances in chemical science, developed and applied increasingly sophisticated technologies. Innovations in methods of production, ready access to domestic and international markets, and sustained growth in volumes of production at Newtown Creek in the late 19th century had profound consequences for the practice of industrial chemistry in the United States and for the economic vitality of the City of New York. Industrial practice progressed from the recovery of animal tissues to the refining of crude petroleum and the production of high-purity copper and other metals from mineral ores. With attention to each company''s technical expertise and principal products, this book examines the interdependence of the chemicals- and materials-producing industries that thrived along Newtown Creek''s shores. The author recounts Newtown Creek''s industrial history alongside the stories of well-known New Yorkers - Peter Cooper, Charles Pratt, John D. and William Rockefeller - and other less celebrated or less notorious characters. This book provides a valuable account of New York''s history in the manufacture of reagent chemicals and refined fuels and metals and will appeal to researchers, scholars and historians interested in the early years of industrial chemistry.

DKK 426.00
1

The New Professional Service Firm - Henk W. Volberda - Bog - Springer International Publishing AG - Plusbog.dk

The New Professional Service Firm - Henk W. Volberda - Bog - Springer International Publishing AG - Plusbog.dk

The authors of this book alert that professional services like law, accountancy, and consultancy firms are set to face major disruption. The most important driver and enabler are the new technologies that help and in part substitute the work done by professionals. The second important disruptor is the new generation of professionals - "NewGen" - who are less interested in building their careers in a hierarchical organization and more interested in entrepreneurial challenges in small teams, with more rapid returns. In the meanwhile, major service conglomerates - the "big four" accounting firms, the "big three" consulting firms to name a few examples - build their network using their brand and substantial resources. All along, the relentless pressure from clients to receive more services at lower cost continues. Medium-sized professional firms as well as one-person independents appear to suffer most from these disruptions and are most anxious to find new ways to conduct their business. But the leaders of large firms also feel that they are increasingly unable to support the innovative entrepreneurship of their most promising professionals while their organizations institutionalize and their overheads continue to grow. This book proposes a new orientation and model of a professional service firm as an answer to these challenges, by creating a Professional Service Community. It is a synergistic team of organizations that share a vision of their role in society and main lines of their mission as well as the quality of their deliverables and their key clients. At the same time, they are independent in designing their internal business models - like recruitment, training, knowledge management, and economics. The Professional Service Community provides a unique and highly attractive level of entrepreneurship, flexibility, and efficiency to the benefit of its clients, partners, staff, and other stakeholders. It is the way of the future.

DKK 326.00
1

The Punters' Guide to Democracy - Peter Emerson - Bog - Springer International Publishing AG - Plusbog.dk

The Punters' Guide to Democracy - Peter Emerson - Bog - Springer International Publishing AG - Plusbog.dk

This book discusses multiple ways of voting in a democratic system and explains the basis of more consensual politics. Without delving into too much technical argument or too many mathematical examples, it aims to - - show that binary decision-making is blunt, primitive, divisive, and sometimes inaccurate; - - prove that other methodologies are more accurate and, therefore, more democratic; - - highlight more inclusive and effective voting procedures; - - discuss electoral reforms for national parliaments and international forums like the UN Security Council and COP26/27. The book is written not just for academia, or for the politicians and journalists, or for other specialists; it is for the general public: for students still at school, for voters in society at large, and for activists in umpteen NGOs. "...the West''s relentless pursuit of binary voting... has been a cause of countless tragedies. This book is brilliant: political controversies should rarely if ever be ''resolved'' by majority vote." Arend Lijphart, Professor Emeritus of Political Science, University of California, San Diego "[for] those who do not believe in a black-or-white world... a very important and extremely timely contribution..." Věra Stojarová, Associate Professor of Political Science, Masaryk University, Brno, Czech Republic "Peter''s challenge to the binary "win-lose" approach is urgently necessary, as is his proposal for an eminently more reasonable, accountable, and participatory system." Dr. Valery Perry, Democratization Policy Council, Sarajevo "...the preferential points vote... would be the more accurate way to make decisions, and the consequences far more peaceful." Lord Boyce, House of Lords "He builds a case for a specific version of preferential procedure, not only for elections, but for decision making as well." Hannu Nurmi, Professor Emeritus of Political Science, University of Turku, Finland "A particularly strong plea in favour of voting procedures... which go far beyond the usual ''yes or no'' ballots. [He uses] an alert prose and a wealth of illuminating and easily graspable examples." Maurice Salles, Emeritus Professor, Université de Caen Normandie

DKK 254.00
1