Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030001229 ISBN 13: 9783030001223
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 21,39
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This open access book represents one of the key milestones of DESIGNSCAPES, an H2020 CSA (Coordination and Support Action) research project funded by the European Commission under the Call ¿User-driven innovation: value creation through design-enabled innovation¿. The book demonstrates that adopting design allows us to embed innovation within the city so as to arrive at feasible answers to complex global challenges. In this way, innovation can become disruptive, while also sparking a dynamic of gradual change in the ¿urbanscape¿ it acts within. To explore this potential, the book puts forward the concept of ¿design enabled innovation in urban environments¿ and examines the part that the city can play in promoting and facilitating the adoption of design among public and private sector innovators. This leads to a potential evaluation framework in which a given urbanscape is assessed both in terms of its capacity for generating innovation, and of the nature (more or less design-dependent or design-prone) of the innovative initiatives it hosts. This thread of reasoning holds many promising implications, including a possible ¿third way¿ between those who dream of an alternative economic model where revenues and growth are sacrificed on the altar of social and environmental respect, and the supporters of the traditional market-based view, who feel it is enough to add a touch of responsibility and concern to a system that should continue rewarding the profitability of innovations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.
Verlag: Springer Nature Switzerland, Springer International Publishing Okt 2018, 2018
ISBN 10: 3319972014 ISBN 13: 9783319972015
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 32,09
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -This open access book offers an exploration of delusions¿unusual beliefs that can significantly disrupt people¿s lives. Experts from a range of disciplinary backgrounds, including lived experience, clinical psychiatry, philosophy, clinical psychology, and cognitive neuroscience, discuss how delusions emerge, why it is so difficult to give them up, what their effects are, how they are managed, and what we can do to reduce the stigma associated with them. Taken as a whole, the book proposes that there is continuity between delusions and everyday beliefs. It is essential reading for researchers working on delusions and mental health more generally, and will also appeal to anybody who wants to gain a better understanding of what happens when the way we experience and interpret the world is different from that of the people around us.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3319949195 ISBN 13: 9783319949192
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 35,30
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -Central to the thought of C.B. Macpherson (1911-1987) are his critique of the culture of ¿possessive individualism¿ and his defence of liberal-democratic socialism. Resurgence of interest in his works is in reaction to the rise of neoliberalism and efforts to find an alternative to societies dominated by capitalist markets. Macpherson¿s theories are explained and applied to 21st century challenges.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3319908626 ISBN 13: 9783319908625
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 37,44
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The book thoroughly describes Iceland¿s geological development and its current geological processes, taking into account both geographic and geo-ecological aspects. Furthermore, it includes suggested excursions especially for individual tours. The most popular tourist ¿highlights¿ (e.g. the Golden Circle with þingvellir, Gullfoss and Geyser) should certainly not be excluded. But there is so much more to explore apart from the main tourist routes - and sometimes only a few kilometers away. Examining various regions of the country, each proposed stop is sufficiently described so that it is easily accessible (especially for individual tourists). A wealth of maps, graphics and images illustrate and supplement the coverage. This invaluable guide is aimed in particular at individual tourists to Iceland. It provides those tourists wishing to explore Iceland on their own with a wide range of suggestions for their trip. In addition, numerous excursion suggestions for the west, southwest and south, including the Westman Islands, are described in detail.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3319905384 ISBN 13: 9783319905389
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 37,44
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -Feminism in Play focuses on women as they are depicted in video games, as participants in games culture, and as contributors to the games industry. This volume showcases women¿s resistance to the norms of games culture, as well as women¿s play and creative practices both in and around the games industry. Contributors analyze the interconnections between games and the broader societal and structural issues impeding the successful inclusion of women in games and games culture. In offering this framework, this volume provides a platform to the silenced and marginalized, offering counter-narratives to the post-racial and post-gendered fantasies that so often obscure the violent context of production and consumption of games culture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.
Verlag: Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3319747835 ISBN 13: 9783319747835
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 40,65
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book introduces the reader to the wonders of Mars, covering all aspects from our past perceptions of the planet through to the latest knowledge on its history, its surface processes such as impact cratering, volcano formation, and glaciation, and its atmosphere and climate. In addition, a series of ten intriguing open issues are considered in a more advanced way. These include such thought-provoking questions as What turned off the planet¿s magnetic field , Why are the northern and southern hemispheres so different , What was the fate of the once abundant water , and Is there, or was there, life on Mars Numerous original figures, unavailable elsewhere, reproduce details of images from Viking, CTX, MOC, HiRISE, THEMIS, and HRSC.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3319943421 ISBN 13: 9783319943428
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 42,79
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The book presents recent results and new trends in the theory of fluid mechanics. Each of the four chapters focuses on a different problem in fluid flow accompanied by an overview of available older results.The chapters are extended lecture notes from the ESSAM school 'Mathematical Aspects of Fluid Flows' held in Kácov (Czech Republic) in May/June 2017.The lectures were presented by Dominic Breit (Heriot-Watt University Edinburgh), Yann Brenier (École Polytechnique, Palaiseau), Pierre-Emmanuel Jabin (University of Maryland) and Christian Rohde (Universität Stuttgart), and cover various aspects of mathematical fluid mechanics ¿ from Euler equations, compressible Navier-Stokes equations and stochastic equations in fluid mechanics to equations describing two-phase flow; from the modeling and mathematical analysis of equations to numerical methods. Although the chapters feature relatively recent results, they are presented in a form accessible to PhD students in the field ofmathematical fluid mechanics.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 196 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3319905805 ISBN 13: 9783319905808
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 42,79
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This volume addresses the persistent and frequently toxic associations between masculinity and games. It explores many of the critical issues in contemporary studies of masculinity¿including issues of fatherhood, homoeroticism, eSports, fan cultures, and militarism¿and their intersections with digital games, the contexts of their play, and the social futures associated with sustained involvement in gaming cultures. Unlike much of the research and public discourse that put the onus of ¿fixing¿ games and gaming cultures on those at its margins¿women, LGBTQ, and people of color¿this volume turns attention to men and masculinities, offering vital and productive avenues for both practical and theoretical intervention.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3319991744 ISBN 13: 9783319991740
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 44,94
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This monograph presents the first unified exposition of generalized multiresolution analyses. Expanding on the author¿s pioneering work in the field, these lecture notes provide the tools and framework for using GMRAs to extend results from classical wavelet analysis to a more general setting.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 124 pp. Englisch.
Verlag: Springer Nature Switzerland, Springer International Publishing Okt 2018, 2018
ISBN 10: 3319994824 ISBN 13: 9783319994826
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 48,14
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The aim of this book is to describe Calabi's original work on Kähler immersions of Kähler manifolds into complex space forms, to provide a detailed account of what is known today on the subject and to point out some open problems.Calabi's pioneering work, making use of the powerful tool of the diastasis function, allowed him to obtain necessary and sufficient conditions for a neighbourhood of a point to be locally Kähler immersed into a finite or infinite-dimensional complex space form. This led to a classification of (finite-dimensional) complex space forms admitting a Kähler immersion into another, and to decades of further research on the subject.Each chapter begins with a brief summary of the topics to be discussed and ends with a list of exercises designed to test the reader's understanding. Apart from the section on Kähler immersions of homogeneous bounded domains into the infinite complex projective space, which could be skipped without compromising the understanding of the rest of the book, the prerequisites to read this book are a basic knowledge of complex and Kähler geometry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030021300 ISBN 13: 9783030021306
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed conference proceedings of the 17th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 201, held in Kuwait City, Kuwait, in October/November 2018.The 65 revised full papers presented were carefully reviewed and selected from 99 submissions. Topics of interest include, amongst others, the following: social media; information systems; marketing and communications; management and operations; public administration; economics, sociology, and psychology; e-finance, e-banking, and e-accounting; computer science and computer engineering; and teaching and learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 636 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030004120 ISBN 13: 9783030004125
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This Brief explores the problem of creating organizational change and a culture of lawfulness within police organizations in the developing world. In many countries where police are charged with responding to crime, they are themselves entrenched in histories of corruption, human rights abuses, inefficiency as well as a lack of public trust. While police corruption can happen anywhere, areas of political transition tend to have a more entrenched cultural history of corruption.However, the author argues that even in the most challenged forces, there remains hope for organizational change. This brief demonstrates how understanding the local socio-political context, and applying evidence-based best practices for police integrity training can bring about change. The brief summarizes the current state of knowledge on police integrity training, strategies for rethinking corruption and community policing, as well as two case studies in Bangladesh and Mexico with applications forother regions.This work will be of interest to students and researchers in criminology and criminal justice, particularly with an interest in police studies and corruption, as well as related fields such as political science, international studies and human rights.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 56 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3319788361 ISBN 13: 9783319788364
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -This multi-sited island ethnography illustrates how the embattled politics of (im)mobility, belonging, and patronage among coastal fishing communities in Sri Lankäs militarised northeast have intersected in the wake of civil war. It explores an undertheorized puzzle by asking how the conceptual dualisms between co-operation and contestation simplify the complex lifeworlds of small-scale fishing communities that are often imagined by scholars through allegories of rivalry and resource competition.Drawing on ordinary interpretations and lived practices implicated in the vernacular term sambandam (bearing multiple meanings of intimacy and entanglement), the book traces how intergroup co-operation is both affectively routinised and tactically instrumentalised across coastlines, and at sea. Given its distinct focus on translocal and ethno-religiously plural collectives, the study maps recent historic formations of diverse practices and their contentions, from networked ¿piracy¿ and dynamite fishing, to collective rescue missions and coalitional lobbying.Moreover this work serves as an open invitation to academics, policymakers and activists for re-imagining multiple modes of ethical being and doing, and of everyday sociality among so-called ¿deeply divided¿ societies.A rich ethnography that pays meticulous attention to a complex social fabric made up of locals, settlers and migrants, with multiple linguistic and religious affiliations, sometimes contending fishing practices, and migration and livelihoods patterns as they have been affected by tsunami, war and the aftermaths of both. It draws from and speaks to a range of disciplines ¿ from political science and sociology, to critical geography and cultural studies, and contributes to diverse fields of inquiry, including conflict and its relationship to a ¿cold¿ peace; coastal/maritime livelihoods; identity, cooperation, and collective action.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030036480 ISBN 13: 9783030036485
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the International Conference for Smart Health, ICSH 2018, held in Wuhan, China, in July 2018.The 14 full papers and 21 short papers presented were carefully reviewed and selected from 49 submissions. They focus on studies on the principles, approaches, models, frameworks, new applications, and effects of using novel information technology to address healthcare problems and improve social welfare. The selected papers are organized into the following topics: smart hospital; online health community; mobile health; medical big data and healthcare machine learning; chronic disease management; and health informatics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030036669 ISBN 13: 9783030036669
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 21th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2018, held in Nancy, France, in November 2018. The 36 full papers presented were carefully reviewed and selected from 104 submissions. The papers cover all aspects of eliciting, acquiring, modeling, and managing knowledge, the construction of knowledge-intensive systems and services for the Semantic Web, knowledge management, e-business, natural language processing, intelligent information integration, personal digital assistance systems, and a variety of other related topics. A special focus was on 'Knowledge and AI', i.e. papers describing algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030037118 ISBN 13: 9783030037116
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Conference on Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments, ISDDC 2018, held in Vancouver, BC, Canada, in November 2018. The 10 full papers were carefully reviewed and selected from 28 submissions. This book also contains the abstracts of two keynote talks and one tutorial. The contributions included in this proceedings cover many aspects of theory and application of effective and efficient paradigms, approaches, and tools for building, maintaining, and managing secure and dependable systems and infrastructures, such as botnet detection, secure cloud computing and cryptosystems, IoT security, sensor and social network security, behavioral systems and data science, and mobile computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030034208 ISBN 13: 9783030034207
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030035794 ISBN 13: 9783030035792
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Symposium, SETE 2018, held in conjunction with ICWL 2018, Chiang Mai, Thailand, in August 2018.The 23 full and 3 short papers were carefully reviewed and selected from 51 submissions. The papers have been organized in the following topical sections: Emerging Technologies of Design, Model and Framework of Learning Systems; Emerging Technologies Support for Intelligent Tutoring; Emerging Technologies Support for Game-Based and Joyful Learning; Emerging Technologies of Pedagogical Issues; UMLL (International Symposium on User Modeling and Language Learning); ETLTL (International Workshop on Educational Technology for Language and Translation Learning)Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030033317 ISBN 13: 9783030033316
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The three-volume set of LNCS 11272, 11273, and 11274 constitutes the refereed proceedings of the 24th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2018, held in Brisbane, Australia, in December 2018.The 65 revised full papers were carefully selected from 234 submissions. They are organized in topical sections on Post-Quantum Cryptanalysis; Encrypted Storage; Symmetric-Key Constructions; Lattice Cryptography; Quantum Symmetric Cryptanalysis; Zero-Knowledge; Public Key and Identity-Based Encryption; Side-Channels; Signatures; Leakage-Resilient Cryptography; Functional/Inner Product/Predicate Encryption; Multi-party Computation; ORQM; Real World Protocols; Secret Sharing; Isogeny Cryptography; and Foundations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.
Verlag: Springer Nature Switzerland, Springer International Publishing Okt 2018, 2018
ISBN 10: 3030034267 ISBN 13: 9783030034269
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030034232 ISBN 13: 9783030034238
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030033252 ISBN 13: 9783030033255
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The three-volume set of LNCS 11272, 11273, and 11274 constitutes the refereed proceedings of the 24th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2018, held in Brisbane, Australia, in December 2018.The 65 revised full papers were carefully selected from 234 submissions. They are organized in topical sections on Post-Quantum Cryptanalysis; Encrypted Storage; Symmetric-Key Constructions; Lattice Cryptography; Quantum Symmetric Cryptanalysis; Zero-Knowledge; Public Key and Identity-Based Encryption; Side-Channels; Signatures; Leakage-Resilient Cryptography; Functional/Inner Product/Predicate Encryption; Multi-party Computation; ORQM; Real World Protocols; Secret Sharing; Isogeny Cryptography; and Foundations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 684 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030032310 ISBN 13: 9783030032319
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018. The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical and practical aspects of stabilizing systems; distributed networks and concurrency; and safety in malicious environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030034178 ISBN 13: 9783030034177
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030033287 ISBN 13: 9783030033286
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The three-volume set of LNCS 11272, 11273, and 11274 constitutes the refereed proceedings of the 24th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2018, held in Brisbane, Australia, in December 2018.The 65 revised full papers were carefully selected from 234 submissions. They are organized in topical sections on Post-Quantum Cryptanalysis; Encrypted Storage; Symmetric-Key Constructions; Lattice Cryptography; Quantum Symmetric Cryptanalysis; Zero-Knowledge; Public Key and Identity-Based Encryption; Side-Channels; Signatures; Leakage-Resilient Cryptography; Functional/Inner Product/Predicate Encryption; Multi-party Computation; ORQM; Real World Protocols; Secret Sharing; Isogeny Cryptography; and Foundations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 788 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030031918 ISBN 13: 9783030031916
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Future Data and Security Engineering, FDSE 2018, held in Ho Chi Minh City, Vietnam, in November 2018.The 28 revised full papers and 7 short papers presented together with two papers of keynote speeches were carefully reviewed and selected from 122 submissions. The selected papers are organized into the following topical headings: security and privacy engineering; authentication and access control; big data analytics and applications; advanced studies in machine learning; deep learning and applications; data analytics and recommendation systems; Internet of Things and applications; smart city: data analytics and security; and emerging data management systems and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 303003061X ISBN 13: 9783030030612
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 14th European Conference on Ambient Intelligence, AmI 2018, held in Larnaca, Cyprus, in November 2018.The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 36 submissions. The papers cover topics such as: Ambient Services and Smart Environments; Sensor Networks and Artificial Intelligence; Activity and Situation Recognition; Ambient Intelligence in Education.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 303003013X ISBN 13: 9783030030131
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed conference proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2018, held in Hanoi, Vietnam, in November 2018.The 16 full papers presented together with 9 short papers were carefully reviewed and selected from 65 submissions. They are organized in the following topical sections: control, planning and scheduling, pattern recognition, knowledge mining, software applications, strategy games and others.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.
Verlag: Springer Nature Switzerland, Springer International Publishing Okt 2018, 2018
ISBN 10: 3030030970 ISBN 13: 9783030030971
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2018, held in Tokyo, Japan, in October/November 2018. The 27 full papers presented and 31 short papers were carefully reviewed and selected from 103 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 700 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030029212 ISBN 13: 9783030029210
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The two-volume set LNCS 11233 and LNCS 11234 constitutes the proceedings of the 19th International Conference on Web Information Systems Engineering, WISE 2018, held in Dubai, United Arab Emirates, in November 2018.The 48 full papers and 21 short papers presented were carefully reviewed and selected from 209 submissions. The papers are organized in topical sections on blockchain, security, social network and security, social network, microblog data analysis, graph data, information extraction, text mining, recommender systems, medical data analysis, Web services and cloud computing, data stream and distributed computing, data mining techniques, entity linkage and semantics, Web applications, and data mining applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.