springer berlin heidelberg mrz 2010 (115 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch behandelt die Optimierungsphase von Übersetzern - die Phase, in der Programme zur Effizienzsteigerung transformiert werden. Damit die Semantik erhalten bleibt, müssen die jeweiligen Anwendbarkeitsbedingungen erfüllt sein. Diese werden mittels statischer Analyse überprüft. In dem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Daneben bietet es eine Einführung in die Konzepte und Methoden zur operationalen Semantik, zu vollständigen Verbänden und Fixpunktalgorithmen. 188 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In den Niederlanden erscheint seit ca. zehn Jahren die erfolgreiche Zebra-Buchreihe, die durch eine einzigartige Kooperation von Schulpraktikern, Mathematikdidaktikern und Fachwissenschaftlern entstanden ist. Ausgewählt für eine Übersetzung ins Deutsche wurde der Band mit dem Schwerpunktthema Geometrie. Die zahlreichen Facetten der Geometrie und ihre Querverbindungen innerhalb und außerhalb der Mathematik werden in dieser Sammlung erfahrbar. Leser werden zudem angeregt, selbst mehr herauszufinden. Im Internet stehen dafür weitere Materialien bereit. 316 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -RFID bietet Unternehmen eine Vielzahl von Vorteilen im Bereich der Automatisierung und Prozesstransparenz. Gleichzeitig stellt die Technologie die Unternehmen vor technische, organisatorische, ökonomische, rechtliche und sozioökonomische Herausforderungen. In diesem Buch werden die grundlegenden Funktionen der RFID-Technologie und Lösungskonzepte zur Integration in die betrieblichen Informationssysteme vorgestellt. Insbesondere die Standards des Internet der Dinge' werden maßgeblich den Erfolg der RFID-Technologie beeinflussen. Für die RFID-Einführung in Unternehmen wird in diesem Buch ein methodisch fundiertes Vorgehensmodell präsentiert. Die während des Vorgehensmodells eingesetzten Entscheidungsmethoden zur Potential- und Wirtschaftlichkeitsanalyse werden ausführlich beschrieben und es wird auf unterstützende Softwarewerkzeuge verwiesen. 160 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Im vorliegenden Buch werden neue Erkenntnisse der Lebensversicherungsmathematik aus dem Gebiet der Markovmodelle und der stochastischen Zinsen behandelt. Besonderes Gewicht wird auf die Anwendbarkeit der Modelle in der Praxis gelegt, so daß die Aussagen direkt angewendet werden können. Die dargestellten Modelle sind in besonderer Weise geeignet, eine schnelle Tarifierung neuer Lebensversicherungsprodukte zu ermöglichen. Gleichzeitig geben diese Modelle einen tieferen Einblick in das Wesen der Lebensversicherungsmathematik. Der besondere Nutzen dieses Buches liegt einerseits in der parallelen Behandlung der Theorie in stetiger und in diskreter Zeit. Zusätzlich wird das für die Behandlung der Theorie nötige Vorwissen im Buch dargestellt. Durch die vielen Beispiele können die entsprechenden Aussagen direkt in die Praxis umgesetzt werden. 208 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Leserinnen und Leser werden in einer mathematisch orientierten, didaktisch ausgefeilten Weise an die Analyse und den Entwurf elektronischer Schaltungen herangeführt. Ausgehend von Schaltungen mit lösbaren Gleichungssystemen wird schrittweise ein pragmatischer Werkzeugkasten entwickelt, um unbekannte kompliziertere Schaltungen oder Betriebsarten auf bereits eingeführte einfachere Modelle zurückzuführen. Begriffsdefinitionen, die Hervorhebung von Kernaussagen, 356 Abbildungen und 77 Übungsaufgaben mit Musterlösungen unterstützen den Lernprozess. 404 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Didaktisch ansprechend werden die Grundlagen vermittelt, illustriert durchzahlreiche Beispiele. Bei der Auswahl des Lehrstoffs wurde besonderer Wert auf die Praxisrelevanz der behandelten quantitativen Methoden gelegt. Themen sind dieManagementaufgaben bei der Konzeption und Durchführung von Projekten, deterministische und stochastische Netzplantechniken, grundlegende Modelle und Verfahren zur Projektplanung unter Zeit- und Ressourcenrestriktionen, Methoden zur Kostenplanung von Projekten, Einsatz von Softwaresystemen zur Unterstützung des Projektplaners. 368 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die Kostenrechnung stellt ein bedeutendes Instrument der Unternehmensführung und daher ein unverzichtbares Element eines wirtschaftswissenschaftlichen Studiums dar. In diesem Buch werden die Grundlagen der Kostenrechnung sowie deren unterschiedliche Bereiche und die dort einsetzbaren Verfahren behandelt. Zudem wird auf Systeme der Deckungsbeitragsrechnung, Plankostenrechnung sowie Prozeßkostenrechnung eingegangen. Ein weiterer wesentlicher Gegenstand des Buches sind die eng mit der Kostenrechnung verbundenen und zum Teil aus dieser hervorgegangenen Ansätze des Kostenmanagement, von denen das Target Costing, das Life Cycle Costing sowie das Benchmarking intensiv erörtert werden. Die einzelnen Verfahren und Systeme werden jeweils in allgemeiner Form dargestellt, anhand eines Beispiels veranschaulicht sowie hinsichtlich ihrer Anwendbarkeit und Realitätsnähe beurteilt. Zahlreiche Übungsaufgaben und Lösungen bieten dem Leser die Möglichkeit, seinen Wissensstand zu überprüfen und zu vertiefen. 480 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Lehrbuch schafft einen ersten Zugang zu den Grundgesetzen der Mechanik. Gestützt auf dem Begriff des starren Körpers und der unabhängig eingeführten Lasten Kraft und Moment werden die beiden eigenständigen Bilanzen der Kräfte und Momente im Fall des Gleichgewichts eines Körpers und beliebiger Teile desselben postuliert. Diese hauptsächlich von Euler vorgenommene Ergänzung der Newtonschen Mechanik eröffnet einen Weg, der die weiterführenden Teile Festigkeitslehre und Kinetik mit der Statik in einem einheitlichen Konzept verbindet. Damit werden günstige Voraussetzungen für ein erleichtertes Verständnis der gesamten Technischen Mechanik und anschließender, insbesondere der Computermechanik zugrunde liegender Gebiete geschaffen.Das Buch behandelt in bewährter Anordnung ebene einfache und zusammengesetzte Tragwerke einschließlich der Schnittreaktionen sowie in geringerem Umfang auch räumliche Tragwerke. Reibungsphänomene werden beschrieben. Das Buch schließt mit den Berechnungsmethoden für den Schwerpunkt und die Flächenmomente zweiter Ordnung, welche in der Festigkeitslehre benötigt werden.Die knappe Darstellung lehnt sich stark an den Inhalt verschiedener Kursvorlesungen an. Die mathematischen Hilfsmittel werden so gering wie möglich gehalten. Zahlreiche Aufgaben mit vollständig durchgerechneten Lösungen unterstützen die Erarbeitung des Stoffs. Daher ist das Buch neben der Vorlesung auch zum Selbststudium bestens geeignet. 164 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Band behandelt im ersten Teil Funktionen, Struktur und Arbeitsweise von MATLAB kurz und übersichtlich, so dass auch Einsteiger MATLAB problemlos einsetzen können. Teil 2 bietet eine kompakte Einführung in Grundgebiete und wichtige Spezialgebiete der Ingenieurmathematik wie z. B. Differentialgleichungen, Optimierung, Transformationen, Wahrscheinlichkeitsrechnung und Statistik. Aufgrund ausführlicher Beispielrechnungen mit MATLAB eignet sich das Buch hervorragend als Nachschlagewerk zur Lösung konkreter Probleme der Ingenieurmathematik. 288 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume collects the expanded notes of four series of lectures given on the occasion of the CIME course on Nonlinear Optimization held in Cetraro, Italy, from July 1 to 7, 2007. The Nonlinear Optimization problem of main concern here is the problem n of determining a vector of decision variables x R that minimizes (ma- n mizes) an objective function f( ): R R,when x is restricted to belong n to some feasible setF R , usually described by a set of equality and - n n m equality constraints: F = {x R : h(x)=0,h( ): R R ; g(x) 0, n p g( ): R R }; of course it is intended that at least one of the functions f,h,g is nonlinear. Although the problem canbe stated in verysimpleterms, its solution may result very di cult due to the analytical properties of the functions involved and/or to the number n,m,p of variables and constraints. On the other hand, the problem has been recognized to be of main relevance in engineering, economics, and other applied sciences, so that a great lot of e ort has been devoted to develop methods and algorithms able to solve the problem even in its more di cult and large instances. The lectures have been given by eminent scholars, who contributed to a great extent to the development of Nonlinear Optimization theory, methods and algorithms. Namely, they are: - Professor Immanuel M. 279 pp. Englisch.

Buch. Condizione: Neu. Neuware -Part of Tsinghua University Texts, Financial Strategies for the Manager includes a range of financial management issues such as financial statement analysis, a systematic approach to financial performance appraisal, liquidity management and sales growth, working capital management, budgeting, foreign exchange and interest rate risk management, and a most useful tool not normally understood - EVA. The book is written in a concise and accessible style, minimizing the use of the technical jargon and complicated mathematical formulae. Included exercises enhance student learning and examples bolster ability to understand and use concepts in day-to-day situations. The material was originally developed for a large corporate client in the telecommunications business to assist non-financial managers in understanding financial theories in a practical way. It was expanded and revised into a text for a post-graduate course of the Asia/Pacific Management Co-operative Program, Capilano University, BC, Canada. Charles Priester is a professor at Capilano University of Canada; Jincheng Wang is a professor at the International Business School of Tianjin Foreign Studies University of China. 232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 2010 Asian Conference on Intelligent Information and Database Systems (ACIIDS) was the second event of the series of international scientific conferences for research and applications in the field of intelligent information and database systems. The aim of ACIIDS 2010 was to provide an international forum for scientific research in the technologies and applications of intelligent information, database systems and their applications. ACIIDS 2010 was co-organized by Hue University (Vietnam) and Wroclaw University of Technology (Poland) and took place in Hue city (Vietnam) during March 24-26, 2010. We received almost 330 papers from 35 countries. Each paper was peer reviewed by at least two members of the International Program Committee and International Reviewer Board. Only 96 best papers were selected for oral presentation and publi- tion in the two volumes of the ACIIDS 2010 proceedings. The papers included in the proceedings cover the following topics: artificial social systems, case studies and reports on deployments, collaborative learning, collaborative systems and applications, data warehousing and data mining, database management technologies, database models and query languages, database security and integrity,- business, e-commerce, e-finance, e-learning systems, information modeling and - quirements engineering, information retrieval systems, intelligent agents and mul- agent systems, intelligent information systems, intelligent internet systems, intelligent optimization techniques, object-relational DBMS, ontologies and information sharing, semi-structured and XML database systems, unified modeling language and unified processes, Web services and Semantic Web, computer networks and communication systems. 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci c to the satellite events). The ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rate of 26%, with most of the conferences at around 24%. Congratulations thereforetoalltheauthorswhomadeittothe nalprogramme!Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented,withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. 400 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu ebec,during February22 25,2010,midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. ABZcoversrecentadvancesinfourequallyrigorousmethodsforsoftwareand hardware development: Abstract State Machines (ASM), Alloy, B and Z. They shareacommonconceptualframework,centeredaroundthe notionsofstateand operation,andpromotemathematicalprecisioninthemodeling,veri cation,and construction of highly dependable systems. These methods have continuously matured over the past decade, reaching a stage where they have been successfully integrated into industrial practice in various areas like trains, automobiles, aerospace, smart cards, virtual machines, and business processes. Their development is in uenced by both research and practice, which mutually nurture each other. ABZ has both a long and a short history. With the aim of stimulating cro- fertilization between these four methods, it has merged their individual conf- ence and workshopseries which started in 1986 for Z, 1994 for ASM, 1996 for B, and 2006 for Alloy. The rst ABZ conference was held in London in 2008; ABZ 2010 is the second edition. The conference remains organized as four separate Program Committees. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisbookpresentsselectedandrevisedpapersoftheSecondWorkshoponAd- tive and Learning Agents 2009 (ALA-09), held at the AAMAS 2009 conference in Budapest, Hungary, May 12. The goalof ALA is to provide an interdisciplinaryforum for scientists from a variety of elds such as computer science, biology, game theory and economics. This year's edition of ALA was the second after the merger of the former wo- shops ALAMAS and ALAg. In 2008 this joint workshop was organized for the rst time under the ag of both events. ALAMAS was a yearly returning Eu- pean workshop on adaptive and learning agents and multi-agent systems (held eight times). ALAg was the international workshop on adaptive and learning agents, which was usually held at AAMAS. To increase the strength, visibility and quality of the workshop it was decided to merge both workshops under the ag of ALA and to set up a Steering Committee as an organizational backbone. This book contains six papers presented during the workshop, which were carefully selected after an additional review round in the summer of 2009. We therefore wish to explicitly thank the members of the Program Committee for the quality and sincerity of their e orts and service. Furthermore we would like to thank all the members of the senior Steering Committee for making this workshop possible and supporting it with sound advice. We also thank the AAMAS conference for providing us a platform for holding this event. Finally we also wish to thank all authors who responded to our call-for-papers with interesting contributions. 152 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In its lucky 12+1 edition, during April 7 9, 2010, the European Conference on Genetic Programming (EuroGP) travelled to its most easterly location so far, theEuropeanCityof Culture2010,Istanbul,Turkey.EuroGPisthe onlyconf- enceworldwideexclusivelydevotedtogeneticprogrammingandtheevolutionar y generation of computer programs. For over a decade, genetic programming (GP) has been considered the new form of evolutionary computation. With nearly 7,000 articles in the online GP bibliography maintained by William B. Langdon, we can say that it is now a mature eld. EuroGP has contributed to the success of the eld substantially, by being a unique forum for expressing new ideas, meeting, and starting up collaborations. The wide rangeoftopics in this volume re ectthecurrentstateof researchin the eld, including representations, theory, operators and analysis, novel m- els, performance enhancements, extensions of genetic programming,and various applications. The volume contains contributions in the following areas: Understanding GP behavior andGP analysis include articles on cro- over operators and a new way of analyzing results. GPperformance presents work on performance enhancements through phenotypic diversity, simpli cation, tness and parallelism. Novel models and their application present innovative approaches with arti cial biochemical networks, genetic regulatory networks and geometric di erential evolution. Grammatical evolution introduces advances in crossover, mutation and phenotype genotype maps in this relatively new area. Machine learning and data mining include articles that present data miningormachinelearningsolutionsusingGPandalsocombinedatamining and machine learning with GP. Applications rangefromsolvingdi erentialequations,routingproblems to le type detection, object-oriented testing, agents. This year we received 48 submissions, of which 47 were sent to the reviewers. 352 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci c to the satellite events). The ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rate of 26%, with most of the conferences at around 24%. Congratulations thereforetoalltheauthorswhomadeittothe nalprogramme!Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented,withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. 408 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -One of the major contemporary challenges in both physical and social sciences is modeling, analyzing, and understanding the self-organization, evolution, behavior, and eventual decay of complex dynamical systems ranging from cell assemblies to the human brain to animal societies. The multi-faceted problems in this domain require a wide range of methods from various scienti c disciplines. There is no question that the inclusion of time delays in complex system models considerably enriches the challenges presented by the problems. Although this inclusion often becomes inevitable as real-world applications demand more and more realistic m- els, the role of time delays in the context of complex systems so far has not attracted the interest it deserves. The present volume is an attempt toward lling this gap. There exist various useful tools for the study of complex time-delay systems. At the forefront is the mathematical theory of delay equations, a relatively mature eld in many aspects, which provides some powerful techniques for analytical inquiries, along with some other tools from statistical physics, graph theory, computer science, dynamical systems theory, probability theory, simulation and optimization software, and so on. Nevertheless, the use of these methods requires a certain synergy to address complex systems problems, especially in the presence of time delays. 340 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 17th International Symposium on Graph Drawing (GD 2009) was held in Chicago, USA, September 22 25, 2009, and was attended by 91 participants from 19 countries. In response to the call for papers, the Program Committee received 79 s- missions. Each submission was reviewed by at least three Program Committee members. Following substantial discussions, the committee accepted 31 long - pers and 4 short papers. All authors received detailed reviewers comments. In a separate submission process, 10 posters were accepted. These were described during the conference,and displayedatthe conferencesite. Eachposter was also granted a two-page description in the conference proceedings. Two invited speakers, J anos Pach from EPFL Lausanne and R eny Institute, and Martin Wattenberg from IBM Research, gave absorbing talks during the conference. Prof. Pach looked at the class of string graphs, and tantalized us to consider why their properties are so mathematically beautiful. Dr. Watt- berg showed how sometimes twisting the standard rules of graph drawing can illuminate unexpected information contained in graphs. Keepingwithtradition,the symposiumhostedthe 15thAnnualGraphDr- ingContest,including aGraphDrawingChallengeforconferenceattendees.The contest elicited robust participation from the community with 27 submissions. These proceedings end with a detailed report of the contest. As always, the success of a conference such as this relies on the help of many people. Our thanks to the Program Committee and all of the external referees who worked so hard to sift for the best among the submitted papers. The OrganizingCommittee providedus with admirablefacilities,a ne banquet, andtookcareofsomanyotherdetailsthatitwashardtobelievetherewereonly threemembers:Jennifer McClelland,MichaelJ.PelsmajerandMarcusSchaefer. 448 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2008, held in Tønsberg, Norway, in June/July 2008.The 28 revised full papers presented were carefully reviewed and selected from 129 talks presented at the conference. The topics addressed by the papers range from mathematical analysis of various methods to practical implementation on modern graphics processing units. 456 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Making the most ef cient use of computer systems has rapidly become a leading topic of interest for the computer industry and its customers alike. However, the focus of these discussions is often on single, isolated, and speci c architectural and technological improvements for power reduction and conservation, while ignoring the fact that power ef ciency as a ratio of performance to power consumption is equally in uenced by performance improvements and architectural power red- tion. Furthermore, ef ciency can be in uenced on all levels of today's system hi- archies from single cores all the way to distributed Grid environments. To improve execution and power ef ciency requires progress in such diverse elds as program optimization, optimization of program scheduling, and power reduction of idling system components for all levels of the system hierarchy. Improving computer system ef ciency requires improving system performance and reducing system power consumption. To research and reach reasonable conc- sions about system performance we need to not only understand the architectures of our computer systems and the available array of code transformations for p- formance optimizations, but we also need to be able to express this understanding in performance models good enough to guide decisions about code optimizations for speci c systems. This understanding is necessary on all levels of the system hierarchy from single cores to nodes to full high performance computing (HPC) systems, and eventually to Grid environments with multiple systems and resources. 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is our great pleasure to present the proceedings of the European Conference on Wireless Sensor Networks 2010 (EWSN 2010). As the field of wireless sensor networks matures, new design concepts, experim- tal and theoretical findings, and applications have continued to emerge at a rapid pace. As one of the leading international conferences in this area, EWSN has played a s- stantial role in the dissemination of innovative research ideas from researchers all over the globe. EWSN 2010 was organized by the University of Coimbra, Portugal, during February 17-19, 2010 and it was the seventh meeting in this series. Previous events were held in Berlin (Germany) in 2004, Istanbul (Turkey) in 2005, Zurich (Switz- land) in 2006, Delft (The Netherlands) in 2007, and Cork (Ireland) in 2009. A high-quality selection of papers made up EWSN 2010. Based on the reviews and the recommendations from the four live TPC discussions, we selected a total of 21 papers from 109 submissions (19.26% acceptance rate) for EWSN 2010. Topics of interest included hardware design and implementation, operating systems and so- ware, middleware and macroprogramming, communication and network protocols, information and signal processing, fundamental theoretical limits and algorithms, prototypes, field experiments, testbeds, novel applications, including urban sensing, security and fault-tolerance. Putting together EWSN 2010 was a team effort. We would like to thank the P- gram Committee members, the reviewers, our sponsors, all authors, and the Organ- ing Committee for their respective contributions. 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 2009 International Conference on High-Performance Networking, Computing and Communication Systems and the 2009 International Conference on Theoretical and Mathematical Foundations of Computer Science (ICHCC -ICTMF 2009) were held during December 13-14, 2009, in Sanya, Hainan Island, China. ICHCC -ICTMF 2009 was a comprehensive conference focused on the various aspects of advances in high-performance networking, computing, communication systems and mathematical foundations. The conferences provided a chance for academic and industry profe- ionals to discuss recent progress in the area of high-performance networking, com- ting, communication systems and mathematical foundations. The conferences were co-sponsored by the Intelligent Information Technology Application Research Association, Hong Kong and Wuhan Institute of Technology, China. The goal was to bring together researchers from academia and industry as well as practitioners to share ideas, problems and solutions relating to the multifaceted aspects of this area. We received 60 submissions. Every paper was reviewed by three Program C- mittee members, and 15 were selected as regular papers for ICHCC -ICTMF 2009, representing a 25% acceptance rate for regular papers. The participants of the conference had the chance to hear from renowned keynote speakers Jun Wang from The Chinese University of Hong Kong, Hong Kong and Chin-Chen Chang from Feng Chia University, Taiwan. We thank Springer, who enthusiastically supported our conference. Thanks also go to Leonie Kunz for her wonderful editorial assistance. We would also like to thank the Program Chairs, - ganization staff, and the members of the Program Committees for their hard work. 128 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are pleased to present the proceedings of the Second International Conf- ence on Software LanguageEngineering (SLE 2009). The conference was held in Denver, Colorado (USA) during October 5 6, 2009 and was co-located with the th 12 IEEE/ACM International Conference on Model-Driven Engineering L- th guages and Systems (MODELS 2009) and the 8 ACM International Conf- ence on Generative Programming and Component Engineering (GPCE 2009). TheSLEconferenceseriesisdevotedtoawiderangeoftopicsrelatedtoarti cial languages in software engineering. SLE is an international research forum that brings together researchers and practitioners from both industry and academia to expand the frontiers of software language engineering. SLE sforemostmissionis to encourageand organizecommunicationbetween communities that have traditionally looked at software languagesfrom di erent, more specialized, and yet complementary perspectives. SLE emphasizes the f- damental notion of languages, as opposed to any realization in speci c technical spaces. In this context, the term software language comprises all sorts of - ti cial languages used in software development, including general-purpose p- gramming languages, domain-speci c languages, modeling and meta-modeling languages, data models, and ontologies. Software language engineering is the application of a systematic, disciplined, quanti able approach to the devel- ment,use,andmaintenanceoftheselanguages. TheSLEconferenceisconcerned with all phases of the lifecycle of software languages; these include the design, implementation, documentation, testing, deployment, evolution, recovery, and retirement of languages. Of special interest are tools, techniques, methods, and formalisms that support these activities. In particular, tools are often based on, or automatically generated from, a formal description of the language. 400 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware. ETAPSisanannualfederatedconferencethatwas establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci c to the satellite events). The ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rateof 26%, with most of the conferencesat around24%. Congratulations thereforetoalltheauthorswhomadeittothe nalprogramme!Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopmentprocess,including speci cation,design, implementation, analysisand improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented,withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardwaresystems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -At the end of 2009 the World Bank and the IMF published new figures for gross domestic product adjusted for purchasing power. In addition to the new assessment of various developing and emerging nations, the considerable downgrading of the mean purchasing power of China and India is of particular significance. The present English edition of the book takes this into account. Con- quently it is not simply a translation of the German edition, but is also an update, in both the introduction and the main report. Biel, January 2010 Valentin Crastan Preface to the German edition Climate change is becoming more and more evident to everybody and there is an urgent need for action. The resonance resulting from the forthcoming conference in Copenhagen can be taken as a sign that even international po- tics is taking the subject seriously. The need for a worldwide reduction of CO emissions is only sporadically doubted. The required extent of this re- 2 duction is also largely clear. However, there is continuing argument over how much contribution to this should be made by the individual countries and regions of the world. The following report is an attempt to provide a basis for rational discussion, with an analysis of the worldwide energy economy and the associated em- sions. Measurable indicators based on the two main aspects, namely energy efficiency and CO intensity, should enable the efforts to be judged equitably. 100 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci c to the satellite events). The ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rate of 26%, with most of the conferences at around 24%. Congratulations thereforetoalltheauthorswhomadeittothe nalprogramme!Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented,withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. 344 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Large-scale information systems in public utility services depend on computing infrastructure. Many research e orts are being made in related areas, such as mobile computing, cloud computing, sensor networks, high-level user interfaces and information accesses by Web users. Government agencies in many countries plan to launch facilities in education, health-care and information support as a part of e-government initiative. In this context, information interchange m- agement has become an active research eld. A number of new opportunities have evolved in design and modeling based on the new computing needs of the users. Database systems play a centralrole in supporting networkedinformation systems for access and storage management aspects. The 6thinternationalworkshoponDatabasesin NetworkedInformationS- tems (DNIS) 2010 was held during March 29 31, 2010 at University of Aizu in Japan. The workshop program included research contributions and invited c- tributions. A view of research activity in information interchange management and related research issues was provided by the sessions on related topics. The keynoteaddresswascontributedbyDivyakantAgrawal. Theworkshopsessionon NetworkedInformationSystems:Infrastructure had invitedpapersbyHarumi KunoandMaluCastellanos. Thesessionon AccessestoInformationResources had an invited contribution from Joachim Biskup. The following section on Information and Knowledge Management Systems included invited contri- tions from Toyoaki Nishida and Tetsuo Kinoshita. The session on Information Extraction from Data Resources included the invited contribution of Polepalli Krishna Reddy. The section on Geospatial Decision Making comprised c- tributions by Cyrus Shahabi and Yoshiharu Ishikawa. We would like to thank the members of the Program Committee for their support and all authors who contributed to DNIS 2010. 352 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So a, Bulgaria during February 15 19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational aspects of information and knowledge systems. This included submissions that apply ideas, theories or methods from speci c disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization. Previous FoIKS symposia were held in Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002,and Burg/Spreewaldnear Berlin (Germany) in 2000.FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East West collaboration in the eld of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers are given su cient time to present their ideas and results within the larger context of their research. Furthermore, participants are asked in advance to prepare a rst response to a contribution of another author. 376 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Metaheuristicscontinuetodemonstratetheire ectivenessforanever-broadening range of di cult combinatorial optimization problems appearing in a wide - riety of industrial, economic, and scienti c domains. Prominent examples of metaheuristics are evolutionary algorithms, tabu search, simulated annealing, scatter search, memetic algorithms, variable neighborhood search, iterated local search, greedy randomized adaptive search procedures, ant colony optimization and estimation of distribution algorithms. Problems solved successfully include scheduling,timetabling,networkdesign,transportationanddistribution,vehicle routing, the travelling salesman problem, packing and cutting, satis ability and general mixed integer programming. EvoCOP began in 2001 and has been held annually since then. It is the rst event speci cally dedicated to the application of evolutionary computation and related methods to combinatorial optimization problems. Originally held as a workshop,EvoCOPbecameaconferencein2004.Theeventsgaveresearchersan excellent opportunity to present their latest research and to discuss current - velopments and applications. Following the general trend of hybrid metaheur- tics and diminishing boundaries between the di erent classes of metaheuristics, EvoCOPhas broadenedits scope in recent years and invited submissions on any kind of metaheuristic for combinatorial optimization. 312 pp. Englisch.