springer berlin heidelberg springer berlin heidelberg okt 2007 (245 risultati)

Taschenbuch. Condizione: Neu. Neuware -In den letzen Jahren entwickelte sich das World Wide Web (WWW) stetig weiter. Jüngst geprägte Begriffe, wie Web 2.0 und AJAX, haben sich in der Welt der modernen Webentwicklung etabliert und werden von interessierten Webentwicklern und Webbenutzern mit Begeisterung aufgenommen. Das erhöhte Interesse, welches AJAX aktuell genießt, ist auf visuell attraktive und hochinteraktive Web-Applikationen zurückzuführen, die in ihrem Verhalten Desktop-Anwendungen ähneln.Doch was genau steckt hinter diesem neuen Schlagwort Dieser Frage wird in diesem Buch nachgegangen. Dabei wird auf einfache und nachvollvollziehbare Weise untersucht, ob es sich tatsächlich um eine neuartige und ¿revolutionäre' Webtechnologie handelt, oder ob AJAX vielmehr ein Produkt bereits bestehender und bekannter Technologien darstellt, welches bloß unter einer neuen Bezeichnung eingeführt wurde. Ferner sind die Motive für das aktuelle Interesse an AJAX ausführlich dargestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Have you ever felt frustrated with Microeconomics texts If so, this book is your answer. Don¿t Worry About Micro is not simply an addition to the long list of first year texts - it constitutes a new type of text altogether. It combines the academic rigour of standard textbooks with the applied nature of study guides and the user-friendly approach of 'popular' publications. Co-written by a recent London School of Economics graduate and his then lecturer, a student-focused approach is adopted while the highest standard of teaching quality is maintained throughout. Every chapter is structured like a seminar, with the clear aim of teaching skills, developing intuition, and discussing all areas of possible misunderstanding. Don¿t Worry About Micro not only has the potential to save you a lot of time and help you achieve better results in your examinations, you are also likely to enjoy your studies much more! The text can either be read on its own or be used as a revision tool.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Buch. Condizione: Neu. Neuware -Direct marketing is a fast-growing and dominant domestic marketing instrument in many countries. Direct marketing follows the path of the rapid advances of globalization: international direct marketing (IDM) is already a multi-billion dollar business and an attractive instrument for foreign market entry and international customer communication.This book is the first to focus exclusively on IDM, combining state-of-the-art knowledge, best practice and unique data: The first part is a comprehensive, well-structured review, covering relevant sources ranging from academic journals to practitioner magazines. The second part consists of best practice examples of various aspects of IDM. The third part contains a summary of a proprietary consumer study on direct marketing attitudes and affinities across 24 countries in North America, Europe and Asia. The book provides the reader with a comprehensive and easy-to-understand guide to international direct marketing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -SEAFOOD for Thought Headline-grabbing though it may be, the software industry¿s large-scale allo- tion of work to developing countries has not so far generated much technical analysis. Attention is usually limited to the possible political and economic c- sequences, in particular the fears of loss of employment in the West. The aim of the present volume is di erent. We recognize that o shore development is here to stay, and not just a result of cost considerations. It is ¿ more accurately ¿ a form of distributed development, relying on advances in communications to let the software industry, in our globalizedworld,bene t from the wide distribution of human talent. But it is also the source of a new set of challenges, to which accepted software engineering principles and techniques have not completely prepared us. Producing high-quality software on time and within budget is hard enough when the QA team is across the aisle from the core developers, and the customers across the street; what then when the bulk of the development team is across an ocean or two The rst SEAFOOD ¿ Software Engineering Advances For Outsourced and 1 O shore Development ¿ conference (prompted by an earlier article ) was an - tempt not only to bring software engineering to outsourcing but also to bring outsourcing into the collective consciousness of the software engineering c- munity. This is bene cial to both sides: successful outsourcing requires strong softwareengineering guidance, but researchin the eld must for its part account forthenewworldofsoftwaredevelopment. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Computers and Games, CG 2006, co-located with the 14th World Computer-Chess Championship and the 11th Computer Olympiad. The 24 revised papers cover all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, search, combinatorial games and theory opening and endgame databases, single-agent search and planning, and computer Go.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 2007 IEEE International Workshop on Analysis and Modeling of Faces and Gestures(AMFG)isthethirdworkshopofitstypeorganizedinconjunctionwith ICCV, this time in Rio de Janeiro, Brazil. Our primary goal is to bring together researchersand research groupsto review the status of recognition, analysis and modeling of face, gesture, activity, and behavior; to discuss the challenges that we are facing; and to explore future directions. This year we received 55 submissions. Each paper was reviewed by three program committee members. The whole reviewing process was double blind. However,due to size limit, we were only able to accommodate 22 papers, among which 8 are orals and 14 are posters. The topics covered by these accepted papers include feature representation, 3D face, robust recognition under pose and illumination variations,video-basedface recognition,learning,facial motion analysis, body pose estimation, and sign recognition. A special word of thanks goes to Dr. Feng Zhao, our organizing chair, for his dedication and great e orts in maintaining both the online submission system and workshop website and in handling most of the author contacts. We are indebted to the advisory committee members for their valuable suggestions and to the program committee members for their hard work and timely reviews. Finally, we thank Cognitec System GmbH and Siemens Corporate Research for their sponsorship. October 2007 S. Kevin Zhou Wen-Yi Zhao Xiaoou Tang Shaogang Gong Organization AMFG 2007 was held in conjunction with ICCV 2007. Workshop Chairs S. Kevin Zhou Siemens Corporate Research Wen-Yi Zhao Intuitive Surgical, Inc. 320 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Littlewood-Paley theory is an essential tool of Fourier analysis, with applications and connections to PDEs, signal processing, and probability. It extends some of the benefits of orthogonality to situations where orthogonality doesn¿t really make sense. It does so by letting us control certain oscillatory infinite series of functions in terms of infinite series of non-negative functions. Beginning in the 1980s, it was discovered that this control could be made much sharper than was previously suspected. The present book tries to give a gentle, well-motivated introduction to those discoveries, the methods behind them, their consequences, and some of their applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.

Buch. Condizione: Neu. Neuware -New interferometers as the VLTI, the Keck-I and CHARA along with their sophisticated instrumentation have provided new levels of accuracy, spectral resolution and access to various spectral bands from the optical to the thermal infrared. Investigations are now enabled on a wealth of astrophysical sources with unprecedented levels of angular resolution and sensitivity, producing a considerable body of new, exciting scientific results.Celebrating the completion of the first phase of the VLTI development, the organisors of the ESO workshop 'The Power of Optical/IR Interferometry', held in April 2005, saw an opportunity to invite the community to come together to review and discuss not just interferometers, but science with interferometers and its impact on astronomy as a whole. The workshop was also intended to showcase ideas and concepts for the future of interferometry, and in particular for the second generation of VLTI instrumentation.This volume contains the proceedings of this workshop and serves as reference for astronomers working with optical and infrared interferometry. 636 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occasion of his 60th birthday - include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006.Daniele Mundici is widely acknowledged as a leading scientist in many-valued logic and ordered algebraic structures. In the last decades, his work has unveiled profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists attending the conference have contributed to this wide-ranging collection with papers all variously related to Daniele's work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The main theme of this book is the stability of nonautonomous di erential equations, with emphasis on the study of the existence and smoothness of invariant manifolds, and the Lyapunov stability of solutions. We always c- sider a nonuniform exponential behavior of the linear variational equations, given by the existence of a nonuniform exponential contraction or a nonu- form exponential dichotomy. Thus, the results hold for a much larger class of systems than in the ¿classical¿ theory of exponential dichotomies. Thedeparturepointofthebookisourjointworkontheconstructionof- variant manifolds for nonuniformly hyperbolic trajectories of nonautonomous di erential equations in Banach spaces. We then consider several related - velopments,concerningtheexistenceandregularityoftopologicalconjugacies, the construction of center manifolds, the study of reversible and equivariant equations, and so on. The presentation is self-contained and intends to c- vey the full extent of our approach as well as its uni ed character. The book contributes towards a rigorous mathematical foundation for the theory in the in nite-dimensional setting, also with the hope that it may lead to further developments in the eld. The exposition is directed to researchers as well as graduate students interested in di erential equations and dynamical systems, particularly in stability theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Argumentation provides tools for designing, implementing and analyzing sophisticated forms of interaction among rational agents. It has made a solid contribution to the practice of multiagent dialogues. Application domains include: legal disputes, business negotiation, labor disputes, team formation, scientific inquiry, deliberative democracy, ontology reconciliation, risk analysis, scheduling, and logistics.This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Argumentation in Multi-Agent Systems held in Hakodate, Japan, in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems.The volume opens with an original state-of-the-art survey paper presenting the current research and offering a comprehensive and up-to-date overview of this rapidly evolving area. The 11 revised articles that follow were carefully reviewed and selected from the most significant workshop contributions, augmented with papers from the AAMAS 2006 main conference, as well as from ECAI 2006, the biennial European Conference on Artificial Intelligence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Symposium on String Processing and Information Retrieval, SPIRE 2007. Coverage in the 27 revised full papers includes dictionary algorithms, text searching, pattern matching, text compression, text mining, natural language processing, sequence driven protein structure prediction, XML, SGML, information retrieval from semi-structured data, text mining and generation of structured data from text.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture, TEAA 2006. It identifies issues in enterprise application architecture and proposes as well as evaluates a solution. Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, data integration, enterprise grid computing, load balancing, and enterprise component platforms. 368 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This is the third volume in the Paris-Princeton Lectures in Financial Mathematics, which publishes, on an annual basis, cutting-edge research in self-contained, expository articles from outstanding specialists, both established and upcoming. Coverage includes articles by René Carmona, Ivar Ekeland/Erik Taflin, Arturo Kohatsu-Higa, Pierre-Louis Lions/Jean-Michel Lasry, and Huyên Pham.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The International Symposium on Rule Interchange and Applications (RuleML-2007), collocated in Orlando, Florida, with the Tenth International Business Rules Forum, was the first symposium devoted to work on practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of modern infrastructures, including the Semantic Web, intelligent multi-agent systems, event-driven architectures, and service-oriented computing applications. The symposium was organized by the RuleML Initiative, financially and technically supported by industrial companies (Top Logic, VIStology, and Inferware) and in cooperation with professional societies (ECCAI, AAAI, ACM, ACM SIGAPP, ACM SIGMIS, ACM SIGART, ACM SIGMOD, IEEE, IEEE Computer TCAAS, IEEE SMCS, BPM-Forum, W3C, OMG, and OASIS). The RuleML Initiative is organized by representatives from academia, industry and government for the advancement of rule technology, providing enhanced usability, scalability and performance. The goal of RuleML ( ruleml. org) is to develop an open, general, XML-based family of rule languages as intermediaries between various ¿specialized¿ rule vendors, applications, industrial and academic research groups, as well as standardization efforts such as OMG¿s PRR or W3C¿s RIF. A general advantage of using declarative rules is that they can be easily represented in a machine-readable and platform-independent manner, often governed by an XML schema. This fits well into today¿s distributed, heterogeneous Web-based system environments. Rules represented in standardized Web formats can be discovered, interchanged and invoked at runtime within and across Web systems, and can be interpreted and executed on any platform.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Condizione: Neu. Neuware -Algebraic curves and surfaces are an old topic of geometric and algebraic investigation. They have found applications for instance in ancient and m- ern architectural designs, in number theoretic problems, in models of b- logical shapes, in error-correcting codes, and in cryptographic algorithms. Recently they have gained additional practical importance as central objects in computer-aided geometric design. Modern airplanes, cars, and household appliances would be unthinkable without the computational manipulation of algebraic curves and surfaces. Algebraic curves and surfaces combine fas- nating mathematical beauty with challenging computational complexity and wide spread practical applicability. In this book we treat only algebraic curves, although many of the results and methods can be and in fact have been generalized to surfaces. Being the solution loci of algebraic, i. e. , polynomial, equations in two variables, plane algebraiccurvesarewellsuited forbeing investigatedwith symboliccomputer algebra methods. This is exactly the approach we take in our book. We apply algorithms from computer algebra to the analysis, and manipulation of al- braic curves. To a large extent this amounts to being able to represent these algebraic curves in di erent ways, such as implicitly by de ning polyno- als, parametrically by rational functions, or locally parametrically by power series expansions around a point.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Here is a helpful guide, A-to-Z guide on the structures of chemicals implicated in contact dermatitis. It describes each molecule along with its principal name for classification. The dictionary also lists the most important synonyms, the Chemical Abstract Service (CAS) Registry Number that characterizes the substance and its chemical structure, and relevant literature references. This guide is a must-have for each physician involved with the diagnosis and treatment of patients with contact dermatitis and allergic skin disease.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Buch. Condizione: Neu. Neuware -By virtue of their special algebraic structures, Pythagorean-hodograph (PH) curves offer unique advantages for computer-aided design and manufacturing, robotics, motion control, path planning, computer graphics, animation, and related fields. This book offers a comprehensive and self-contained treatment of the mathematical theory of PH curves, including algorithms for their construction and examples of their practical applications. Special features include an emphasis on the interplay of ideas from algebra and geometry and their historical origins, detailed algorithm descriptions, and many figures and worked examples. The book may appeal, in whole or in part, to mathematicians, computer scientists, and engineers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 748 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17¿19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2, and was additionally supported by the University of Tehran, Sharif University of Te- nology,andtheInternationalScienti cMeetingsO ce(ISMO).Thissymposium brought together researchers and practitioners working on di erent aspects of formal methods in software engineering. FSEN 2007 covered many aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integrationwith practical engineering techniques. A truly international programcommittee of top researchersfrom 23 di erent academic institutes in 9 countries selected the technical content of this sym- sium. We received a total of 73 submissions, out of which the PC selected 22 as regular papers and 8 as short papers to be published in the post-proceedings, and 6 papers accepted for poster presentations at the symposium. Each subm- sion was reviewed by at least 3 independent referees, for its quality, originality, contribution, clarity of presentation, and its relevance to the symposium topics. We had 93 registered participants at the symposium from 12 countries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The seventh international workshop ESAW 2006 ¿ Engineering Societies in the Agents World VII¿was hosted in the School of Computer Science and Inf- matics, University College Dublin, Ireland in September 2006. This workshop was organized as a stand-alone event, running over three days, and continued andenhancedthe high-qualityconferencetheme thatnowuniquelycharacterizes the ESAW workshop series. ESAW VII built upon the success of prior ESAW workshops ¿ Kü sadasi (2005), London (2004) and Toulouse (2004), going back to the inauguralworkshopheld in Berlin(2000). This workshopwasattended by 50 participants from 13 di erent countries. Over 25 researchers presented their work and substantial time was allocated each day for ad-hoc interactive disc- sions on those presented topics. Indeed, these opportunities for the exchange of views and open discussion with fellow experts are one of the hallmarks of the ESAW series. Discussions coalesced around ESAW¿s main themes: ¿ Engineering multi-agent systems ¿ Methodologies for analysis, design, development and veri cation of agent societies ¿ Interaction and coordination in agent societies ¿ Autonomic agent societies ¿ Trust in agent societies For moreinformationabouttheworkshop,theinterestedreaderisreferredto 1 the ESAW 2006 WWW site . The original contributions have been published as a Technical Report (UCD-CSI-2006-5) and this may be obtained freely from the Technical Report section on the WWW page of the School of Computer Science 2 and Informatics at University College Dublin . These post-proceedings continue the series published by Springer (ESAW 2000: LNAI 1972; ESAW 2001: LNAI 2203; ESAW 2002: LNAI 2577; ESAW 2003: LNAI 3071; ESAW 2004: LNAI 3451; ESAW 2005: LNAI 3963).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This LNCS volume contains the papers presented at the second Workshop on Human Motion Understanding, Modeling, Capture and Animation, which took place on October 20th, 2007, accompanying the 11th IEEE International C- ference on Computer Vision in Rio de Janeiro, Brazil. In total, 38 papers were submitted to this workshop,of which 22 papers were accepted. We were careful to ensure a high standard of quality when selecting the papers. All submissions were double-blind reviewed by at least two experts. Out of the 22 accepted papers, 10 were selected for oral presentation and 12 for posters. We thank the authors of the accepted papers for taking the reviewers¿ comments into account in the nal published versions of their papers. We thank all of the authors who submitted their work, and we trust that the reviewers¿ comments have been of value for their research activities. The accepted papers re ect the state of the art in the eld and cover various topicsrelatedto humanmotiontrackingandanalysis.Thepapersinthisvolume have been classi ed into three categories based on the topics they cover: human motion capture and pose estimation, body and limb tracking and segmentation, and activity recognition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 26th International Conference on Conceptual Modeling in Auckland, New Zealand, hosted six workshops which allowed participants to focus their p- sentations and discussions on advanced topics that cannot easily t the general conference scope. Thirteen good quality proposals were received and nine were selected. Due to the similarity of their scope, two pairs were suggested to merge, leading to seven proposals. One workshop attracted fewer submissions than expected, so that its selected papers were integrated into the conference. Finally, six wo- shopswerekept.Interestingly,fourofthem(FP-UML,ONISW,QoIS,SeCoGIS) were a sequel of workshops that were held in the last few years, while two were new (CMLSA, RIGiM), exhibiting both the maturity and the innovation of the workshops. Following the call for papers, we received 114 complete submissions, from which 40 quality papers wereselected, giving an acceptance rate of 35% (a fairly standard score for workshops). The following six workshops were organized: ¿ ConceptualModellingforLifeSciencesApplications (CMLSA2007),chaired by Yi-Ping Phoebe Chen and Sven Hartmann. This workshopaddressed the speci c challenges posed by the large data volumes, the complexity and the data and software heterogeneity involved by life science applications. ¿ Foundations and Practices of UML (FP-UML 2007), chaired by Juan Trujillo and Je rey Parsons. The third edition of this workshop gathered researchers and practitioners on topics related to data warehouses, security, model transformation, state diagrams development and model quality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book is an organized approach to understanding bone growth and disease. It integrates anatomic and radiologic knowledge of enchondral and membranous bone growth and emphasizes the similarities of the physis and acrophysis in development. While mainly written for trainees in radiology, pediatrics, and orthopedics, it will also be useful to practitioners in these fields. The artwork, jointly produced by artist and author, illustrates the concepts being promulgated. The identification of abnormality is aided by the explanations of the causes in terms of pattern recognition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Behind genetics and Markov chains, there is an intrinsic algebraic structure. It is defined as a type of new algebra: as evolution algebra. This concept lies between algebras and dynamical systems. Algebraically, evolution algebras are non-associative Banach algebras; dynamically, they represent discrete dynamical systems. Evolution algebras have many connections with other mathematical fields including graph theory, group theory, stochastic processes, dynamical systems, knot theory, 3-manifolds, and the study of the Ihara-Selberg zeta function. In this volume the foundation of evolution algebra theory and applications in non-Mendelian genetics and Markov chains is developed, with pointers to some further research topics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -It is a great pleasure to present the proceedings of the 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2007). The MMNS 2007 Conference was held in San Jose, California, USA during October 31 ¿ November 2 as part of the 3rd International Week on Management of Networks and Services (Manweek 2007). As in the previous three years, the Manweek umbrella allowed an international audience of researchers and scientists from industry and academia ¿ who are researching and developing management systems ¿ to share views and ideas and present their state-of-the-art results. The other events co-located with Manweek 2007 were the 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2007), the 7th IEEE Workshop on IP Operations and Management (IPOM2007), the 2nd IEEE International Workshop on Modeling Autonomic Communications Environments (MACE 2007), and the 1st IEEE/IFIP International Workshop on End-to-End Virtualization and Grid Management (EVGM 2007). Under this umbrella, MMNS proved itself again as a top public venue for results dissemination and intellectual collaboration with specific emphasis on multimedia and mobility aspects of end-to-end services. These aspects of management are becoming a major challenge in the ability to deliver cost effective end-to-end multimedia-based services in the upcoming 4G wireless systems. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007), held in Vienna, Austria, on September 23¿24, 2007. DBPL 2007 was one of 15 meetings co-located with VLDB (the International Conference on Very Large Data Bases). DBPLcontinues to presentthe verybest workat the intersectionof database and programming language research. The proceedings include a paper based on the invited talk by Wenfei Fan and the 16 contributed papers that were selected by the programcommittee from 41 submissions. Every submission was reviewed by at least three members of the program committee. In addition, the program committee sought the opinions of additional referees, selected because of their expertise on particular topics. The nal selection of papers was made during the last week of July. We would like to thank all of the authors who submitted papers to the c- ference, and the members of the program committee for their excellent work. The program committee did not meet in person, but carried out extensive d- cussions during the electronic PC meeting. We are grateful to Andrei Voronkov for his EasyChair system that made it so easy to manage these discussions. Finally, we would also like to thank Christoph Koch and Gavin Bierman for their assistance and sound counsel, and the organizers of VLDB 2007 for taking care of the local organization of DBPL.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -On behalf of the IEEE Communications Society, the Technical Committee on Network Operations and Management (CNOM), the Manweek 2007 Organizing Committee, and the members of the IPOM Technical Program Committee, it is our pleasure to present the proceedings of the Seventh IEEE Workshop on IP Operations and Management (IPOM2007), held as part of Manweek 2007 during October 31-November 2, 2007. With the widespread deployment of IP-based networks, their operations and management have become increasingly important in terms of understanding emerging technical and scientific problems; lessons from such understanding are particularly important for future Internet design and management. Like the previous IPOM workshops, IPOM 2007 was co-located with several related events as part of the 3rd International Week on Management of Networks and Services (Manweek 2007). The other events were the 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2007), the 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2007), the 2ndIEEE International Workshop on Modeling Autonomic Communications Environments (MACE 2007), and the 1st IEEE/IFIP International Workshop on End-to-End Virtualization and Grid Management (EVGM 2007). Co-locating those events provided the opportunity for an exchange of ideas between research communities that work on related topics, allowing participants to forge links and exploit synergies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics. 580 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Databases in Networked Information Systems, DNIS 2007, held in Aizu-Wakamatsu, Japan in October 2007. Focusing on data semantics and infrastructure for information management and interchange, the papers are organized in topical sections on geospatial decision-making, Web data management systems, infrastructure of networked information systems, and Web query and web mining systems. 348 pp. Englisch.