springer berlin jul 2012 (485 risultati)

Taschenbuch. Condizione: Neu. Neuware -Die Verallgemeinerte Technische Biegetheorie (VTB) beschreibt das Verhalten prismatischer Tragwerke auf neuer Grundlage; dieses Buch stellt diese Theorie erstmalig geschlossen dar. Der systematische Ansatz geht von natürlichen Verformungen aus und gestattet eine einheitliche Betrachtungsweise der wichtigsten Vorgänge, die in den verschiedenen Teilgebieten der Mechanik behandelt werden; die Verallgemeinerte Technische Biegetheorie bringt durch verallgemeinerte Begriffe gleichzeitig Ordnung und Durchsichtigkeit in das gesamte Gebiet. Die Theorie kann auf die unterschiedlichsten Probleme in Statik und Dynamik angewendet werden. Die mathematischen Formulierungen werden programmierfertig angeboten; die Verallgemeinerte Technische Biegetheorie zeichnet sich gegenüber anderen Verfahren durch die Transparenz der Betrachtung und den reduzierten numerischen Aufwand aus. Das Buch eignet sich sowohl für den Gebrauch neben Vorlesungen als auch für das Selbststudium, um das neue Verfahren auf Fragestellungen der Praxis anzuwenden.

Taschenbuch. Condizione: Neu. Neuware -Die aktuelle Kommunikationspraxis der Ernährungswirtschaft erzeugt in weiten Teilen der Bevölkerung eine erhebliche Verunsicherung. Eine wirkungsvolle unternehmerische Öffentlichkeitsarbeit in der industriellen Lebensmittelerzeugung benötigt ein neues Konzept für die Kommunikation zwischen Erzeugern, Verarbeitern, Händlern und Endverbrauchern von Lebensmitteln. Die Autorin erklärt, ohne zu pauschalisieren, was Verbraucher verunsichert und welche Konsequenzen Verbraucherverunsicherung für das Ernährungsverhalten hat. Das Buch bietet - basierend auf neuen empirischen Daten und einer repräsentativen Verbraucherbefragung - praxisbezogene Ansätze für eine neue unternehmerische Öffentlichkeitsarbeit, die darauf abzielt, mit informierten Konsumenten anstelle verunsicherter Verbraucher zu kommunizieren. 268 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Das wachsende Bedürfnis nach Mobilität in der Bevölkerung lässt sich auf Dauer nur durch den Einsatz elektrischer Klein- und Lieferfahrzeuge für Kurzstrecken befriedigen. Mobilitätsanbieter und Kunden müssen dabei gut vernetzt sein. Die allmähliche Marktdurchdringung der Elektromobilität ist eine große Herausforderung für die Automobilindustrie. Gewinner sind einige gut aufgestellte Automobilhersteller und ein Überraschungssieger.Da die Ölreserven der Erde endlich sind und der Ölpreis in Zukunft steigen dürfte, soll Strom als alternativer Kraftstoff eine Lösung des Problems liefern. Der Autor skizziert aus der Sicht eines Insiders, weshalb ein Wandel unabdingbar ist und beschreibt die notwendigen Schritte.

Taschenbuch. Condizione: Neu. Neuware 304 pp. Deutsch.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Es ist philosophische Aufgabe gewesen, eine Weltanschaung zu gleich als wissenschaftliche Erkenntnis und als Lebenslehre zu ent wickeln. Die rationale Einsicht sollte der Halt sein. Statt dessen wird in diesem Buch der Versuch gemacht, nur zu verstehen, welche letzten Positionen die Seele einnimmt, welche Kräfte sie bewegen. Die faktische Weltanschauung dagegen bleibt Sache des Lebens. Statt einer Mitteilung dessen, worauf es im Leben ankomme, sollen nur Klärungen und Möglichkeiten als Mittel zur Selbstbesinnung gegeben werden. Wer direkte Antwort auf die Frage will, wie er leben solle, sucht sie in diesem Buche vergebens. Das Wesentliche, das in den konkreten Entscheidungen persönlichen Schicksals liegt, bleibt ver schlossen. Das Buch hat nur Sinn für Menschen, die beginnen, sich zu verwundern, auf sich selbst zu reflektieren, Fragwürdigkeiten des Daseins zu sehen, und auch nur Sinn für solche, die das Leben als persönliche, irrationale, durch nichts aufhebbare Verantwortung er fahren. Es appelliert an die freie Geistigkeit und Aktivität des Lebens durch Darbietung von Orientierungsmitteln, aber es versucht nicht, Leben zu schaffen und zu lehren. Heidelberg. Kar! Jaspers. VORWORT ZUR VIERTEN AUFLAGE. Dies Buch meiner Jugend aus der Zeit, als ich von der Psychiatrie her zum Philosophieren kam, aus der Zeit des ersten Weltkriegs und der Er schütterung unserer überlieferung, ist das Ergebnis der Selbstbesinnung jener Tage. Es erscheint jetzt, nachdem es fast zwei Jahrzehnte vergriffen war, unverändert in neuer Auflage.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Neuromedia is an innovative examination of shared territories in neurobiological anatomy, physiology and media art. It reveals how scientists investigate perception and behaviour at the molecular, cellular and systems level. It demonstrates how interpretative forms of media art can help to demystify these complexities for diverse audiences. Under the reflective headings of inspiration, construction, challenges and reactions, it offers deep insights into the processes of art and science production. Assisted by essays from a museum director and an art historian, Neuromedia provides the background for readers about an exhibition of the same name at KULTURAMA in Zurich (2012), and suggests an alternative approach to scientific communication. Authors: Robert Atkins, Oliver Biehlmaier, Mitchel Paul Levesque, Stephan Neuhauss, Rolf Pfeifer, Claudia Rütsche, Jill Scott and Esther Stoeckli 172 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is intended for advanced students and young researchers interested in the analysis of partial differential equations and differential geometry. It discusses elementary concepts of surface geometry in higher-dimensional Euclidean spaces, in particular the differential equations of Gauss-Weingarten together with various integrability conditions and corresponding surface curvatures. It includes a chapter on curvature estimates for such surfaces, and, using results from potential theory and harmonic analysis, it addresses geometric and analytic methods to establish the existence and regularity of Coulomb frames in their normal bundles, which arise as critical points for a functional of total torsion. 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -If the European Union and its Member States are to compete successfully in an increasingly aggressive global market, whilst many other economies continue to get stronger, all parts of the European Union, Member States and the EU institutions, have to regulate smarter. The answer therefore is not to give up on rules, but rather to develop and implement good quality rules. Presenting both timely and relevant forms of European policy instruments in the field of financial services, public administration, transport, working conditions and social protection, this volume shows which kind of policy instruments work and under what circumstances. This will help all to overcome many of the impediments to using alternative policy instruments at the European level as appropriate responses to pressing European and global governance challenges, such as efficiency, accountability, transparency and legitimacy. 173 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This collection of original papers related to the Israeli GAFA seminar (on Geometric Aspects of Functional Analysis) from the years 2006 to 2011 continues the long tradition of the previous volumes, which reflect the general trends of Asymptotic Geometric Analysis, understood in a broad sense, and are a source of inspiration for new research. Most of the papers deal with various aspects of the theory, including classical topics in the geometry of convex bodies, inequalities involving volumes of such bodies or more generally, logarithmically-concave measures, valuation theory, probabilistic and isoperimetric problems in the combinatorial setting, volume distribution on high-dimensional spaces and characterization of classical constructions in Geometry and Analysis (like the Legendre and Fourier transforms, derivation and others). All the papers here are original research papers. 460 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis. 156 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 Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, held in Vienna, Austria, in September 2012, in conjunction with DEXA 2012. The 27 revised full papers presented were carefully reviewed and selected from numerous submissions. They cover topics from recent research fields such as open data, cloud applications, interoperability and e-government architectures, Web 2.0 and Web 3.0 solutions and public dialogies. The papers are organized in the following topical sections: e-government country studies; e-government processes; identy management in e-government; e-government: process management; e-participation; social networks; and open data. 296 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations. 272 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 Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2012, held in Vienna, Austria, in September 2012 in conjunction with DEXA 2012.The 9 revised full papers presented were carefully reviewed and selected from 15 submissions. The papers are organized in topical sections on data management in the cloud, cloud MapReduce and performance evaluation, and data stream systems and distributed data mining. 124 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 International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012.The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications. 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraicstructures, strategies, computational paradigms, and so on. Indexed programming is a lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on.The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality. The 5 lectures included in this book stem from the Spring School on Generic and Indexed Programming, held in Oxford, UK, in March 2010 as a closing activity of the generic and indexed programming project at Oxford which took place in the years 2006-2010. 268 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-proceedings of the 8th International Symposium on Computer Music Modeling and Retrieval, CMMR 2011 and the 20th International Symposium on Frontiers of Research in Speech and Music, FRSM 2011. This year the 2 conferences merged for the first time and were held in Bhubanes, India, in March 2011. The 17 revised full papers presented were specially reviewed and revised for inclusion in this proceedings volume. The book is divided in four main chapters which reflect the high quality of the sessions of CMMR 2011, the collaboration with FRSM 2011 and the Indian influence, in the topics of Indian Music, Music Information Retrieval, Sound analysis synthesis and perception and Speech processing of Indian languages. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book consists mainly of revised papers that were presented at the Agents for Educational Games and Simulation (AEGS) workshop held on May 2, 2011, as part of the Autonomous Agents and MultiAgent Systems (AAMAS) conference in Taipei, Taiwan. The 12 full papers presented were carefully reviewed and selected from various submissions. The papers are organized topical sections on middleware applications, dialogues and learning, adaption and convergence, and agent applications. 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 9th VLDB Workshop on Secure Data Management held in Istanbul, Turkey, in August 27, 2012.The 12 revised full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on privacy protection, access control, secure storage on the cloud, and trust on the Web. 188 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 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. 228 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 7th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2008, held in Estoril, Portugal, in May 2008 and the 8th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2009, held in Budapest, Hungary, May 2009, co-located with the International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions. The volume is organized in topical sections on social welfare, distributed information sharing, and network organization and efficiency. 168 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The next generation of Business Process Management (BPM) methods and tools will support the development of a new generation of service-enabled applications that change and evolve over time. The trend is moving from relatively stable, organization-specific applications to dynamic ones supporting business processes. This book is an outcome of the International Workshop on Business System Management and Engineering (BSME 2010), held in Malaga, Spain, in June/July 2010, in conjunction with the TOOLS 2010 federated conferences and under the aegis of the EU Network of Excellence on Service Software and Systems (S-Cube). The goal of the workshop was to bring together experts in the fields of business process management, service-oriented architectures, and service security to discuss the current state of research and identify new issues, challenges, and research directions. The results of these discussions are reflected in this book. 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 7th Brazilian Symposium on Bioinformatics, BSB 2012, held in Campo Grande, Brazil, in August 2012.The 16 regular papers presented were carefully reviewed and selected for inclusion in this book. It also contains a joint paper from two of the guest speakers. The Brazilian Symposium on Bioinformatics covers all aspects of bioinformatics and computational biology, including sequence analysis; motifs, and pattern matching; biological databases, data management, data integration, and data mining; biomedical text mining; structural, comparative, and functional genomics; personal genomics; protein structure, modeling, and simulation; gene identification, regulation and expression analysis; gene and protein interaction and networks; molecular docking; molecular evolution and phylogenetics; computational systems biology; computational proteomics; statistical analysis of molecular sequences; algorithms for problems in computational biology; applications in molecular biology, biochemistry, genetics, medicine, microbiology and associated subjects. 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 Trust and Privacy in Digital Business, TrustBus 2012, held in Vienna, Austria, in September 2012 in conjunction with DEXA 2012.The 18 revised full papers presented together with 12 presentations of EU projects were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: Web security; secure management processes and procedures; access control; intrusion detection - trust; applied cryptography; secure services, databases, and data warehouses; and presentations of EU projects. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Fast-track conference proceedingsState-of-the-art researchUp-to-date results 232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C sharp. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area. 264 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-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011.The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows: types, compiling, paralelelism and distribution, data structures, and miscellaneous. 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 4th International Workshop on the Arithmetic of Finite Field, WAIFI 2012, held in Bochum, Germany, in July 2012. The 13 revised full papers and 4 invited talks presented were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on coding theory and code-based cryptography, Boolean functions, finite field arithmetic, equations and functions, and polynomial factorization and permutation polynomial. 260 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints. 228 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 Workshop on Controlled Natural Language, CNL 2012, held in Zurich, Switzerland, in August 2012.The 12 revised papers presented in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on CNL for knowledge representation, CNL for interactive systems, CNL applications, CNL grammars and lexica, CNL in the context of the Semantic Web and Linked Open Data and CNL use cases. 196 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 Conference on Haptic and Audio Interaction Design, HAID 2012, held in Lund, Sweden, in August 2012. The 15 full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on haptics and audio in navigation, supporting experiences and activities, object and interface, test and evaluation. 164 pp. Englisch.