springer springer berlin heidelberg sep 2013 (224 risultati)

Taschenbuch. Condizione: Neu. Neuware.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the refereed proceedings of the international workshops, Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS and SOMOCO 2013, held as part of OTM 2013 in Graz, Austria, in September 2013. The 75 revised full papers presented together with 12 posters and 5 keynotes were carefully reviewed and selected from a total of 131 submissions. The papers are organized in topical sections on: On The Move Academy; Industry Case Studies Program; Adaptive Case Management and other non-workflow approaches to BPM; Enterprise Integration, Interoperability and Networking; Information Systems in Distributed Environment; Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society; Fact-Oriented Modeling; Semantics and Decision Making; Social Media Semantics; Social and Mobile Computing for collaborative environments; cooperative information systems; Ontologies, Data Bases and Applications of Semantics.

Taschenbuch. Condizione: Neu. Neuware -Dieses Buch bietet eine fundierte Einführung in die Technologien, die Java (JDK 1.2) sowie den Erweiterungen dieser Sprache zugrundeliegen. Um ein tiefgehendes Verständnis zu ermöglichen, werden die Paradigmen des objektorientierten Programmierens sowie die Wiederverwendbarkeit von Softwarekomponenten erläutert. Ein besonderes Anliegen des Buchs ist die Erklärung der Zusammenhänge der verschiedenen Komponenten. Die Autoren zeigen an Beispielen, wie Java verwendet werden kann, und wie verschiedene Komponenten kombiniert werden müssen, um eine Gesamtanwendung zu implementieren. Das Buch behandelt daher neben allgemeinen Aspekten der Sprache Java (AWT, Networking und Security, Internationalisierung) auch Swing, JavaBeans, JDBC, RMI, Corba und Servlets. Dem Buch liegt eine CD-ROM bei, die eine HTML-Version des Texts, Applets und die Quelldateien aller Beispiele enthält. 804 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Dieses Grundlagenwerk der Thermodynamik erscheint bereits in der 19. Auflage. Es wurde durch viele Beispiele und Übungsaufgaben ergänzt, die nun am Ende der Kapitel zu finden sind.Die Theorie der Thermodynamik wird systematisch entwickelt, wobei die zentrale Bedeutung der Bilanzierungen von Masse, Energie und Entropie in besonderer Weise herausgestellt wird. Bilanzen und allgemein gültige Zusammenhänge zwischen thermodynamischen Zustandsgrößen werden zunächst für beliebige thermodynamische Systeme abgeleitet und danach auf eine Vielzahl technisch bedeutsamer Spezialfälle angewandt. Der Stoff wird einerseits wissenschaftlich streng, andererseits sehr anschaulich dargestellt.Band 1 des zweibändigen Werkes enthält u. a. eine Einführung in die Wärmeübertragung, ein Kapitel über Stoffeigenschaften, ein Kapitel über die wichtigsten thermodynamischen Prozesse, Berechnungsbeispiele mit ausführlichen Lösungen sowie Übungsaufgaben. Das Buch eignet sich hervorragend als Lehrbuch und als Nachschlagewerk. Band 2 behandelt Mehrstoffsysteme und chemische Reaktionen. 580 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -¿Neuro-Organisationskultur¿ oder kurz ¿Neurokultur¿ baut auf die Erfahrungen auf, die in den letzten 30 Jahren mit Organisationskultur gemacht wurden und ergänzt sie um neueste Erkenntnisse aus Hirn- und Emotionsforschung sowie um wichtige Einsichten aus Soziologie und Psychologie.Die aktuelle Konzeptlandschaft zum Thema Organisationskultur ist im Kern 20-30 Jahre alt und weist für praktische Operationalisierungen gravierende Unzulänglichkeiten auf. Mit dem Konzept ¿Neurokultur¿ wird ein neuartiges Kulturmodell vorgestellt, das im Kern die drei Bausteine Reflexivität, Vorstellungen und Emotionen aufweist. Dazu führt der Autor in die neurowissenschaftlichen Grundlagen z. B. von Wahrnehmung, Gedächtnis und Lernen ein und macht mit Konstrukten, wie etwa Emotion, Stress, kognitiver Dissonanz, Intelligenz, Aufmerksamkeit und Kreativität vertraut. Neuartig ist auch, dass Gruppen und Individuen konsistent unter einem Dach konzeptualisiert wurden. Insgesamt ergibt sich ein signifikant belastbareres Verständnis von kulturellen Phänomenen und menschlichem Verhalten, wodurch sich neue Möglichkeiten der Operationalisierung eröffnen. Dazu wird ein struktureller Rahmen nebst Begriffsinventar sowie konkrete Methoden und Vorlagen zur Analyse, kontinuierlichen Pflege und gezielten Veränderung von Organisationskultur dargeboten.Schließlich werden wichtige Megatrends skizziert, auf deren Basis Anforderungen an das kulturelle Profil von Organisationen des 21. Jahrhunderts abgeleitet werden. Das praxisorientierte Buch enthält zahlreiche Beispiele aus Unternehmen und Exkurse zu aktuellen Themen aus Gesellschaft, Politik und allgemeiner Lebensführung.

Taschenbuch. Condizione: Neu. Neuware -Dieses Grundlagenwerk der Thermodynamik erscheintbereits in der 19. Auflage. Es wurde durch viele Beispiele und Übungsaufgaben ergänzt, die nun am Ende der Kapitel zu finden sind.Die Theorie der Thermodynamik wird systematisch entwickelt, wobei die zentrale Bedeutung der Bilanzierungen von Masse, Energie und Entropie in besonderer Weise herausgestellt wird. Bilanzen und allgemein gültige Zusammenhänge zwischen thermodynamischen Zustandsgrößen werden zunächst für beliebige thermodynamische Systeme abgeleitet und danach auf eine Vielzahl technisch bedeutsamer Spezialfälle angewandt. Der Stoff wird einerseits wissenschaftlich streng, andererseitssehr anschaulich dargestellt.Band 1 des zweibändigen Werkes enthält u. a. eine Einführung in die Wärmeübertragung, ein Kapitel über Stoffeigenschaften, ein Kapitel über die wichtigsten thermodynamischen Prozesse, Berechnungsbeispiele mit ausführlichen Lösungen sowie Übungsaufgaben. Das Buch eignet sich hervorragendals Lehrbuch und alsNachschlagewerk.Band 2 behandelt Mehrstoffsysteme und chemische Reaktionen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Deutsch.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Grundlagenwerk der Thermodynamik erscheint bereits in der 19. Auflage. Es wurde durch viele Beispiele und Übungsaufgaben ergänzt, die nun am Ende der Kapitel zu finden sind.Die Theorie der Thermodynamik wird systematisch entwickelt, wobei die zentrale Bedeutung der Bilanzierungen von Masse, Energie und Entropie in besonderer Weise herausgestellt wird. Bilanzen und allgemein gültige Zusammenhänge zwischen thermodynamischen Zustandsgrößen werden zunächst für beliebige thermodynamische Systeme abgeleitet und danach auf eine Vielzahl technisch bedeutsamer Spezialfälle angewandt. Der Stoff wird einerseits wissenschaftlich streng, andererseits sehr anschaulich dargestellt.Band 1 des zweibändigen Werkes enthält u. a. eine Einführung in die Wärmeübertragung, ein Kapitel über Stoffeigenschaften, ein Kapitel über die wichtigsten thermodynamischen Prozesse, Berechnungsbeispiele mit ausführlichen Lösungen sowie Übungsaufgaben. Das Buch eignet sich hervorragend als Lehrbuch und als Nachschlagewerk. Band 2 behandelt Mehrstoffsysteme und chemische Reaktionen.

Taschenbuch. Condizione: Neu. Neuware - 'Neuro-Organisationskultur' oder kurz 'Neurokultur' baut auf die Erfahrungen auf, die in den letzten 30 Jahren mit Organisationskultur gemacht wurden und ergänzt sie um neueste Erkenntnisse aus Hirn- und Emotionsforschung sowie um wichtige Einsichten aus Soziologie und Psychologie.Die aktuelle Konzeptlandschaft zum Thema Organisationskultur ist im Kern 20-30 Jahre alt und weist für praktische Operationalisierungen gravierende Unzulänglichkeiten auf. Mit dem Konzept 'Neurokultur' wird ein neuartiges Kulturmodell vorgestellt, das im Kern die drei Bausteine Reflexivität, Vorstellungen und Emotionen aufweist. Dazu führt der Autor in die neurowissenschaftlichen Grundlagen z. B. von Wahrnehmung, Gedächtnis und Lernen ein und macht mit Konstrukten, wie etwa Emotion, Stress, kognitiver Dissonanz, Intelligenz, Aufmerksamkeit und Kreativität vertraut. Neuartig ist auch, dass Gruppen und Individuen konsistent unter einem Dach konzeptualisiert wurden. Insgesamt ergibt sich ein signifikant belastbareres Verständnis von kulturellen Phänomenen und menschlichem Verhalten, wodurch sich neue Möglichkeiten der Operationalisierung eröffnen. Dazu wird ein struktureller Rahmen nebst Begriffsinventar sowie konkrete Methoden und Vorlagen zur Analyse, kontinuierlichen Pflege und gezielten Veränderung von Organisationskultur dargeboten.Schließlich werden wichtige Megatrends skizziert, auf deren Basis Anforderungen an das kulturelle Profil von Organisationen des 21. Jahrhunderts abgeleitet werden. Das praxisorientierte Buch enthält zahlreiche Beispiele aus Unternehmen und Exkurse zu aktuellen Themen aus Gesellschaft, Politik und allgemeiner Lebensführung.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Arzneimittel-Atlas - für einen realistischen Blick auf den ArzneimittelmarktValide Informationen über den Verbrauch von Arzneimitteln sind für gesundheits- und wirtschaftspolitische Entscheidungen unabdingbar. Der Arzneimittel-Atlas liefert für 31 Indikationsgruppen transparente und strukturierte Informationen über die Entwicklung der Verordnungen zu Lasten der gesetzlichen Krankenversicherung. Alle Analysen basieren auf dem Konzept der Tagesdosen und auf Erstattungspreisen. Für das Jahr 2012 werden im Vergleich zu 2011 die Änderungen von Verbrauch und Preis sowie strukturelle Verschiebungen betrachtet und regionale Unterschiede dargestellt. Ergänzt wurde außerdem eine zusammenfassende Darstellung zu Wirkstoffen, bei denen der Patentablauf zur Einführung von Generika geführt hat. Schließlich wird der Arzneimittelverbrauch in Beziehung zur Prävalenz verschiedener Erkrankungen gesetzt. Im Fokus des Arzneimittel-Atlas 2013 stehen erneut die Auswirkungen des Gesetzes zur Neuordnung des Arzneimittelmarktes (AMNOG) sowie in diesem Jahr die rheumatoide Arthritis. 458 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 224 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 6th Euro Symposium on Systems Analysis and Design, SIGSAND/PLAIS 2013, held in Gdansk, 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. 108 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 176 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the outcome of the Workshop on Measurement and Measurement Tools which was held as part of the Future Internet Research Experimentation (FIRE) initiative during the Future Internet Assembly conference (FIA) in May 2012. The 10 contributions included in this volume are invited extended versions of the presentations at the workshop. The book closes with a summary and conclusions of the findings in these papers. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 124 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry. 204 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 284 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift has been published 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 contains 19 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. 300 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 144 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability 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. 236 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 168 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 152 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First International Conference on Wireless Sensor Networks for Developing Countries, WSN4DC 2013, held in Jamshoro, Pakistan, in April 2013. The 10 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on WSN applications/services for developing countries; mobile WSN; underwater WSN; VANETS; body area networks; energy harvesting in WSN; WSN and cloud integration; WSN and IoT; QoS and Qot; WSN MAC, network and transport protocols; cross layer approaches; security aspects in WSN; WSN applications in smart grid and energy management; WSN in structural health monitoring. 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 820 pp. Englisch.