springer berlin heidelberg springer berlin heidelberg sep 2013 (379 resultados)

Taschenbuch. Condición: Neu. Neuware -Die Ordnungstheorie ist ein faszinierendes Teilgebiet der Diskreten Mathematik, das praktischen Nutzen und abstrakte mathematische Theorie, anschauliche Überlegungen und schwierige Forschungsprobleme auf manchmal verblüffende Art miteinander verbindet.Das Buch gibt eine motivierende Einführung in Grundbegriffe und moderne Strömungen der mathematischen Theorie geordneter Mengen, wobei der Autor sich auf besonders interessante Themen konzentriert.Da die Ordnungstheorie einfach und anspruchsvoll zugleich ist, abstrakt und angewandt, anschaulich und unvorstellbar, ist sie gerade für Studenten in der zweiten Hälfte des Bachelorstudiums und zu Beginn des Masterstudiums bestens geeignet.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 192 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Trotz Makrofotografie und digitaler Bildbearbeitung bleibt das Zeichnen von Hand in den Biowissenschaften und der Medizin unerlässlich. Messergebnisse müssen zusammengefasst werden, morphologische Befunden benötigen eine exemplarische Darstellung, mikroskopische Details lassen sich oft nur zeichnerisch wiedergeben. Außerdem lernt man durch das Zeichnen Strukturen besser kennen, weil man genauer hinschauen muss.Dieses Buch ist aus einem Kursprogramm entstanden, wobei an erprobten Beispielen die Zeichentechniken mit Bleistift und Tusche sowie der Umgang mit Pinsel und Farbe beschrieben werden. Die Darstellung räumlicher Objekte, die Nutzung von Rasterfolien und die Vorbereitung von Fotos für den Druck werden erklärt.Studierenden und Wissenschaftlern, aber auch Autoren von Zeitschriften- und Buchbeiträgen sollen die Anleitungen das Zeichnen erleichtern und diese wissenschaftliche Darstellungsform nahebringen.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 96 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Aus welchen Werkstoffen bestehen die Computer der Zukunft Wie wird Stahl maßgeschneidert Warum nutzen wir immer noch Holz als Werkstoff Diese und ähnliche Fragen beantwortet das vorliegende Buch.Bauteile, Maschinen oder medizintechnische Produkte müssen aus geeigneten Werkstoffen gefertigt werden. Nur so ist ihre Funktionalität und Qualität gegeben, nur so sind Sicherheit, Zuverlässigkeit und Umweltverträglichkeit gewährleistet. Ergebnisse der Materialforschung tragen bei zur Lösung drängender Zukunftsfragen in Bedarfsfeldern wie Energie,Kommunikation und Mobilität.Dieses kompakte und allgemein verständliche Buch gibt einen Überblick über die Grundlagen und Anwendungen wichtiger Werkstoffe anhand aktueller Beispiele. Es zeigt auf, dass Werkstoffe unverzichtbare Innovationsmotoren für die Industrie sind.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 6th Euro Symposium on Systems Analysis and Design, SIGSAND/PLAIS 2013, held in Gdäsk, Poland, in September 2013. The objective of this symposium is to promote and develop high-quality research on all issues related to systems analysis and design (SAND). It provides a forum for SAND researchers and practitioners in Europe and beyond to interact, collaborate, and develop their field. The 8 papers were carefully reviewed and selected with an acceptance rate of 40% and reflect the current trends in systems analysis and design. The contributions are organized into topical sections on information systems development, information systems security and information systems learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 108 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains 11 thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. They were originally presented at the Joint Workshop on Trading Agent Design and Analysis (TADA 2012) and Agent-Mediated Electronic Commerce (AMEC 2012) co-located with AAMAS 2012 in Valencia, Spain, in June 2012.The increasing reliance on software agents has created a range of pressing new research challenges, including the design of appropriate agent decision algorithms, approaches for predicting the complex behaviors and interactions of multiple agents, including the computation of equilibria, and the engineering of protocols and mechanisms that ensure electronic markets behave in a stable manner or fulfill other desirable criteria. Drawing upon a diverse range of scientific disciplines, including computer science, economics, artificial intelligence, operations research and game theory, the papers collected in this volume represent a cross-section of recent research and cover topics such as strategies for individual trading agents, the design of markets and interaction protocols between agents, and a variety of applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 6th International Symposium on Algorithmic Game Theory, SAGT 2013, held in Aachen, Germany, in October 2013. The 25 papers presented in this volume were carefully reviewed and selected from 65 submissions. They cover various important aspects of algorithmic game theory, such as solution concepts in game theory, efficiency of equilibria and the price of anarchy, computational aspects of equilibria and game theoretical measures, repeated games and convergence of dynamics, evolution and learning in games, coordination and collective action, network games and graph-theoretic aspects of social networks, voting and social choice, as well as algorithmic mechanism design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This Festschrifthas beenpublished in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st birthday and the 25th Symposium on Implementation and Application of Functional Languages, IFL 2013, held in Nijmegen, The Netherlands, in August 2013. Rinus Plasmeijer was the main designer of the lazy functional programming language 'Clean' and has always been the leader of the associated research team. He has played a decisive role in making the Radboud University of Nijmegen an important center of research in functional programming by organizing and hosting the first few IFL symposia in Nijmegen. This Festschrift contains19 scientific essays written by former PhD students of Rinus Plasmeijer and researchers in the field of functional programming who have collaborated with him. The authors write about the influence the beauty of functional programming has had or still has on their work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasília, Brazil, in September/October 2013. The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming, formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical, program analysis and verification, including type systems, static analysis and abstract interpretation, and programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeReachability for finite state systems.- Rewriting systems, reachability analysis in counter/timed/cellular/communicating automata.- Petri-nets.- Computational aspects of semigroups, groups and rings.- Reachability in dynamical and hybrid systems.- Frontiers between decidable and undecidable reachability problems.- Complexity and decidability aspects, predictability in iterative maps and new computational paradigms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 6th International Information Retrieval Facility Conference, IRFC 2013, held in Limassol, Cyprus, October 2013.The 8 papers presented together with 2 short papers were carefully reviewed and selected from 16 high-quality submissions. IRF conferences wish to bring young researchers into contact with industry at an early stage. This sixth conference aimed to tackle four complementary research areas: information retrieval, machine translations for search solutions, and interactive information access.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Computational Logistics, ICCL 2013, held in Copenhagen, Denmark, in September 2013. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections named: maritime shipping, road transport, vehicle routing problems, aviation applications, and logistics and supply chain management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Haptic and Audio Interaction Design, HAID 2013, held in Daejeon, Korea, in April 2013.The 14 full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on non-intrusive and thermal haptics, new interfaces and interactions, emotion and affect, music, and mobile devices and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeIntroduction.- Measurement-Based Experimental Research Methodology.- Experimental Performance Evaluation of Sensor-Based Networking for Energy Efficiency in Smart Buildings.- Various Detection Techniques and Platforms for Monitoring Interference Condition in a Wireless Testbed.- Methodology and Tools for Measurements on Wireless Test beds: The NITOS Approach.- Scalability Measurements in an Information-Centric Network.- Iterative Research Method Applied to the Design and Evaluation of a Dynamic Multicast Routing Scheme.- Metrics and Measurement Tools in Open Flow and the OFELIA Test bed.- Heterogeneous Test beds, Tools and Experiments - Measurement Requirements Perspective.- Measurements and Measurement Tools in Open Lab: Use Cases with Measurement Data Ontologies.- A Monitoring Framework for Federated Virtualized Infrastructures.- Summary and Conclusions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Security, Privacy and Applied Cryptography Engineering held in Kharagpur, India, in October 2013. The 12 papers presented were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on implementations and protocols, side channel attacks and countermeasures, identity-based identification schemes, and signatures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Workshop on Security and Trust Management, STM 2013, held in Egham, UK, in September 2013 - in conjunction with the 18th European Symposium Research in Computer Security (ESORICS 2013).The 15 revised full papers including two invited talks were carefully reviewed and selected from 47 submissions. The papers are organized into topical sections on policy enforcement and monitoring; access control; trust, reputation, and privacy; distributed systems and physical security; authentication and security policies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book contains extended and revised versions of a set of selected papers from two workshops organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in Liverpool, UK, and Vilnius, Lithuania, in April and July 2012.From a total of 33 submissions, 9 papers were accepted for publication in this edition after being reviewed by at least three internationally known experts from the EWG-DSS Program Committee and external invited reviewers. The selected papers are representative of the current research activities in the area of decision support systems, focusing on topics such as decision analysis for enterprise systems and non-hierarchical networks, integrated solutions for decision support and knowledge management in distributed environments, decision support system evaluation and analysis through social networks, and e-learning and its application to real environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 14 submissions. The papers cover a wide range of topics in the area of global computing and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems and cloud computing, providing frameworks, tools, algorithms and protocols for designing open-ended, large-scale applications and for reasoning about their behavior and properties in a rigorous way.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeProof and Computation in Geometry.- Automation of Geometry:Theorem Proving, Diagram.- Generation, and Knowledge Management.- Improving Angular Speed Uniformity by C1 Piecewise Reparameterization.- Extending the Descartes Circle Theorem for Steiner n-Cycles.- Equation Systems with Free-Coordinates Determinants.- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls.- Realizations of Volume Frameworks.- Rigidity of Origami Universal Molecules.- Algebraic Analysis of Huzita's Origami Operations and Their Extensions.- On the Formal Analysis of Geometrical Optics in HOL.- Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2013, held in Palma de Mallorca, Spain, in September 2013.The 34 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover all the topics of cooperative engineering, basic theories, methods and technologies that support CDVE, cooperative design, visualization and applications. There are special contributions dealing with the cooperative issues brought by the Internet of things - such as the situation in the ambient assisted living systems. Other papers in the volume cover a wide range of cooperative application topics such as cooperative e-learning, cooperative decision making and cooperative simulation etc.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes a collection of selected contributions from the 12th International Conference on Perspectives in Business Informatics Research, BIR 2013, held in Warsaw, Poland, in September 2013. Overall, 54 submissions were rigorously reviewed by 41 members of the Program Committee representing 21 countries. As a result, 19 full and 5 short papers from 12 countries have been selected for publication in this volume. This book also includes the two keynotes by Witold Abramowicz and Bernhard Thalheim. The papers cover many aspects of business information research and have been organized in topical sections on: business process management; enterprise and knowledge architectures; organizations and information systems development; information systems and services; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Buch. Condición: Neu. Neuware -The book covers Oriental management theories as well as their applications; research on positivism; long-term focus; exclusive interviews and accumulating first-hand data, etc. It also addresses the following topics: Chinese family businesses that havesurvived for more than one hundred years(e.g. INFINITUS, Beijing TRT); Chinese enterprises and firms that follow the oriental management culture serve as the dynamic engines to the 2nd largest economic entity in the world (e.g., Huawei Technologies Co., Ltd., Mengniu Dairy Gr., Hainan Airlines and so on); Eastern and western managerial cultures that have been growing within Chinese businesses(e.g., Hainan Airlines, INFINITUS); Varied schools such as Confucianism, Taoism, Buddhism, legalism, Military Strategists, Mohist School remain vital but at the same time Chinese businesses and firms welcome and extract the essence of western managerial civilization rather than reject it, etc. These areas will be of particular interest to readers, and the purpose of the book is not only to acquaint the reader with China by providing information about Chinese businesses and firms, but also to provide a royal road to doing business with China as well as allowing them to learn about Chinese managerial wisdom.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Buch. Condición: Neu. Neuware -Indirect questioning is a crucial topic in surveys of human populations. When the issue is about a stigmatizing characteristic (for example about illegal drug use), standard survey methodologies are destined to fail because, as expected, people are not willing to reveal incriminating information or information violating their privacy. Indirect questioning techniques have been devised so that the privacy of participants in a sample survey is protected and at the same time good estimates of certain parameters (e.g. the percentage of people in a certain community who use illegal drugs) can be delivered. The topic is modern and still under development.Indirect Questioning in Sample Surveys represents a collection of the most important and recent techniques of indirect questioning, including various versions of randomized response, the item count technique, the nominative technique, the three-card method, non-randomized response models and negative surveys, while also exploring the key aspect of protecting privacy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Buch. Condición: Neu. Neuware -Digital government consists in the purposeful use of information and communication technologies (ICT), in particular the internet, to transform the relationship between government and society in a positive manner. This book focuses on the current status, prospects and foundations of digital government. Integrating examples and cases from administrative practice, it covers all important aspects of digital government management. Learning outcomes includeUnderstanding the implications of the internet for government and societyGaining deeper insights into the concept and opportunities of digital democracyUnderstanding the challenges of moving public services onlineSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Buch. Condición: Neu. Neuware -Despite the fact that experts acknowledge the importance of the emerging markets, there is a dearth of real case studies specially focussed on marketing issues.This case study book addresses that need. It is alsoimportant and timely in providing a framework for instructors and researchers (both academic and industry) to understand the dynamics occurring in emerging markets. This book is composed of long and short real cases with varying complexity in different sectors including airlines, hotel, fashion, etc. These will cover issues which are unique to the emerging markets (including the BRIC countries)to understand the dynamics occurring in these countries. With its case studies, collection of questions, and real-life marketing examples, this book offers unique benefits to marketing students and educators across the world. A must-have for every marketing course module.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Buch. Condición: Neu. Neuware -This book is the product of a collaborative effort involving partners from Africa, Asia, Europe and Latin America who were funded by the International Development Research Centre Programme on Women and Migration (2006-2011). The International Institute of Social Studies at Erasmus University Rotterdam spearheaded a project intended to distill and refine the research findings, connecting them to broader literatures and interdisciplinary themes. The book examines commonalities and differences in the operation of various structures of power (gender, class, race/ethnicity, generation) and their interactions within the institutional domains of intra-national and especially inter-national migration that produce context-specific forms of social injustice. Additional contributions have been included so as to cover issues of legal liminality and how the social construction of not only femininity but also masculinity affects all migrants and all women. The resulting set of 19 detailed, interconnected case studies makes a valuable contribution to reorienting our perceptions and values in the discussions and decision-making concerning migration, and to raising awareness of key issues in migrants¿ rights.All chapters were anonymously peer-reviewed. This book resulted from a series of projects funded by the International Development Research Centre (IDRC), Canada.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Buch. Condición: Neu. Neuware -This book is written for business leaders and those that govern organisations. All high performing organisations excel in achieving 7 organisational outcomes: Accountability, Awareness, Adaptability, Agility, Alignment, Action and Achievement. The enterprise governance framework must deliver on these 7 As through penetrating and integrating three organisational governance layers to drive high performance. These include: corporate governance, strategic governance and operational governance. The book unifies traditional corporate governance, leadership, and strategic management processes, whilst seeking to understand what actually happens on the ground to keep the organisation working and delivering ongoing value to its stakeholders. It synthesises these separate streams into a unified enterprise governance framework, posing some challenging questions whilst providing clear insight into how you implement enterprise governance: something that helps deliver on the 7 As and ultimately high performance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Serious Games Development and Applications, SGDA 2013, held in Trondheim, Norway, in September 2013. The 32 papers (23 full papers, 9 short papers/posters and 2 invited keynotes) presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on games for health, games for education and training, games for other purposes, game design and theories, gaming interface, policy matters.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.