springer berlin heidelberg mai 2008 (150 risultati)

Buch. Condizione: Neu. Neuware -Nach einer kompakten Darstellung der Grundlagen der Chemie und Wasserchemie führt das Buch in die einzelnen Verfahren der Wasseraufbereitung ein. Zu jeder vorgestellten Aufbereitungstechnik werden praxisnahe Beispiele angeführt. Die nunmehr 7. Auflage erfuhr wesentliche Veränderungen in der Beschreibung der physikalischen und chemischen Aufbereitungsverfahren. Bei den physikalischen Verfahren wurden die Neuerungen der DVGW-Regelwerke zu Filtrationsverfahren bei der Partikelentfernung eingearbeitet. Die chemischen Verfahren wurden an die aktuelle betriebliche Praxis angepasst, in dem einerseits neue Erkenntnisse aus Veröffentlichungen und Regelwerken und andererseits Empfehlungen der Anbieter chemischer Aufbereitungsstoffe integriert wurden. Ebenfalls neu ist die Einbindung eines Berechnungsprogramms zum Kalk-Kohlensäure-Gleichgewicht am Beispiel einer vollständigen Trinkwasseranalyse.Das Buch bietet Studierenden der Ingenieurwissenschaften, Technikern und Berufspraktikern einen leichten Einstieg in das Thema Wasseraufbereitung. 354 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this volume the author further develops his philosophy of quantum interpolation between the real numbers and the p-adic numbers. The p-adic numbers contain the p-adic integers Zp which are the inverse limit of the finite rings Z/pn. This gives rise to a tree, and probability measures w on Zp correspond to Markov chains on this tree. From the tree structure one obtains special basis for the Hilbert space L2(Zp,w). The real analogue of the p-adic integers is the interval [-1,1], and a probability measure w on it gives rise to a special basis for L2([-1,1],w) - the orthogonal polynomials, and to a Markov chain on 'finite approximations' of [-1,1]. For special (gamma and beta) measures there is a 'quantum' or 'q-analogue' Markov chain, and a special basis, that within certain limits yield the real and the p-adic theories. This idea can be generalized variously. In representation theory, it is the quantum general linear group GLn(q)that interpolates between the p-adic group GLn(Zp), and between its real (and complex) analogue -the orthogonal On (and unitary Un )groups. There is a similar quantum interpolation between the real and p-adic Fourier transform and between the real and p-adic (local unramified part of) Tate thesis, and Weil explicit sums. 236 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This set of lectures, which had its origin in a mini course delivered at the Summer Program of IMPA (Rio de Janeiro), is an introduction to intrinsic scaling, a powerful method in the analysis of degenerate and singular PDEs.In the first part, the theory is presented from scratch for the model case of the degenerate p-Laplace equation. The second part deals with three applications of the theory to relevant models arising from flows in porous media and phase transitions. 164 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Feynman path integrals, suggested heuristically by Feynman in the 40s, have become the basis of much of contemporary physics, from non-relativistic quantum mechanics to quantum fields, including gauge fields, gravitation, cosmology. Recently ideas based on Feynman path integrals have also played an important role in areas of mathematics like low-dimensional topology and differential geometry, algebraic geometry, infinite-dimensional analysis and geometry, and number theory. The 2nd edition of LNM 523 is based on the two first authors' mathematical approach of this theory presented in its 1st edition in 1976. To take care of the many developments since then, an entire new chapter on the current forefront of research has been added. Except for this new chapter and the correction of a few misprints, the basic material and presentation of the first edition has been maintained. At the end of each chapter the reader will also find notes with further bibliographical information. 192 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With the growing ubiquity of computing systems, it is essential that we can rely on the services they deliver. Justifying reliance in computer systems requires scientific techniques to derive evidence from given systems or predict such evidence. This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.The main impulse for this dependability metrics project resulted from a research seminar, held at Schloss Dagstuhl, Germany, in October/November 2005. The 25 chapters, based on the outcome of the research seminar, are organized in five parts on foundations, reliability metrics, security metrics, performance metrics, and overlapping metrics. The final part shows that only a combined consideration of important dependability attributes will lead to the design objective: the development of systems we can really trust. 324 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 30th Symposium of the German Association for Pattern Recognition, DAGM 2008, held in Munich, Germany, in June 2008. The 53 revised full papers were carefully reviewed and selected from 136 submissions. The papers are organized in topical sections on learning and classification, tracking, medical image processing and segmentation, audio, speech and handwriting recognition, multiview geometry and 3D-reconstruction, motion and matching, and image analysis. 556 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Stochastic processes are as usual the main subject of the Séminaire, with contributions on Brownian motion (fractional or other), Lévy processes, martingales and probabilistic finance. Other probabilistic themes are also present: large random matrices, statistical mechanics. The contributions in this volume provide a sampling of recent results on these topics. All contributions with the exception of two are written in English language. 480 pp. Englisch, Französisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Itisourgreatpleasuretopresenttheproceedingsofthe15thInternationalConf- ence on Analytical and Stochastic Modelling Techniques and Applications (ASMTA2008)thattookplaceonthebeautifulislandofCyprusforthe rsttime. The conference has become an important annual event in the elds of - alytical modelling and performance evaluation in Europe and internationally. Nevertheless, e orts have been made year after year to raise the standard and the quality of the programme.This yearthe proceedings are published as partof Springer s prestigiousLecture Notes in Computer Science (LNCS) series. This is another sign of the growing con dence in the quality standards and procedures followed in the reviewing process and the programme compilation. The conference was honored to have a distinguished keynote speaker in the personofRaymondMariefromIRISA/INRIA,France,whoisaprominent gure ofthe analyticalmodellingcommunity inEuropeandworldwide.The conference had a high-qualityprogrammewith anacceptanceratio of 40%.The programme comprised 22 high-quality papers organized into 7 sessions. Almost every paper was peer reviewed by three reviewers from the International Programme C- mittee. The reviewers were truly wonderful this year, as well, and in most cases the reviewsprovidedvaluable comments thatcontributedto increasingthe qu- ity of the nal versions of the papers. In many cases, discussion panels were also organized when the reviews were not decisive. We would therefore like to give a special thanks to all the members of the International Programme Committee for the excellent work in the reviewing process and the subsequent discussion panels during the selection process. 344 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Neuromuskulärem Monitoring kommt entscheidende Bedeutung für den kontrollierten Einsatz von Muskelrelaxanzien zu. Zusammen mit der Reversierung ist es Grundlage jedes erfolgreichen Konzepts zum Vermeiden von postoperativen Restblockaden. Dieses komprimierte Nachschlagewerk liefert alle wichtigen Informationen, die zur Anwendung des neuromuskulären Monitorings benötigt werden: Physiologische und pharmakologische Grundlagen der neuromuskulären Erregungsübertragung; Grundlagen des neuromuskulären Monitorings: von der Stimulationselektrode über die richtige Wahl des Stimulationsmusters bis zur Interpretation der Ergebnisse; Praktisches Vorgehen im klinischen Alltag; Klinische Konzepte für qualitative und quantitative Nervenstimulatoren; Ausführliche Beschreibung der Akzeleromyographie inklusive eines Frage-Antwort-Abschnitts; Wichtige Informationen in Merksätzen zusammengefasst; Aktuelle Richtlinien zum wissenschaftlichen Einsatz der Akzeleromyographie. 217 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The expectation for the future of the 21st century enterprise is complexity and agility. In this digital age, business processes are scattered not only throu- out the labyrinth of their own enterprises, but also across di erent enterprises, and even beyond the national boundaries. An evidence of this is the gr- ing phenomenon of business process outsourcing. Increasing competition, higher customer demands, and emerging technologies require swift adaptation to the changes. To understand, design, and engineer a modern enterprise (or an enterprise network) and its interwoven business processes, an engineering and systematic approach based on sound and rigorous theories and methodologies is necessary. Along with that, a paradigmshift seems to be needed for addressing these issues adequately. An appealing candidate is to look at an enterprise and its business processes as a social system. In its social setting, an enterprise and its bu- ness processes represent actors with certain authorities and assigned roles, who assume certain responsibilities in order to provide a service to its environment. The need for this paradigm shift along with the complexity and agility of modern enterprises, gives inspiration for the emerging discipline of Enterprise Engineering. For the study of this socio-technical phenomenon, the prominent tools ofModeling andSimulation play a signi cant role.Both (conceptual) m- eling and simulationare widely used for understanding,analyzing,andengine- ing an enterprise (its organization and business processes). 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008) was held in Paris, France May 20-23, 2008. The purpose of this conference series is to bring together researchers in the elds of constraint programming, arti cial intelligence, and operations research to explore ways of solving large-scale, practical optimization problems through integration and hybridization of the elds' di erent techniques. Through the years, this research community is discovering that the elds have much in c- mon, and there has been tremendous richness in the resulting cross-fertilization of elds. This year, we allowed submissions of both long (15 page) and short (5 page) papers, with short papers either being original work, a reduced version of a long paper, or an extended abstract of work published elsewhere. We were not s- prised by the 69 submissions in the long paper category: this is an active eld with many researchers. We were surprised by the 61 short paper submissions. This was far more than predicted. With 130 high-quality submissions, compe- tion for acceptance in this year's program was particularly erce. In the end, we accepted 18 long papers and 22 short papers for presentation and publication in this volume. 412 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 14th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2008, held in Montpellier, France, in June 2008. The 17 revised full papers presented together with an introduction of the editors and the keynote lecture were carefully reviewed and selected from 50 submissions. The papers are organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative systems, maturing research, and empirical studies. 220 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 TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education. 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Until recently, mostsoftwareapplications and technologiesweredeveloped wi- out much thought to how they in uenced their users. This perspective is cha- ing.Today,industryexpertsandacademicsareembracingapurposefulapproach to persuasive design. In an industry context, designing for persuasion is bec- ingessentialforsuccess.Inacademicsettings,thestudyofpersuasivetechnology illuminates the principles that in uence and motivate people in di erent aspects of their lives. Persuasive technology is rapidly growing into a major discipline, sometimes referred to as captology or the study of computers as persuasive technologies. The previous Persuasive conferences held in Eindhoven (2006) and Stanford (2007) were infused with an energetic spirit and a large attendance, including representatives from both academia and industry. Persuasive 2008, hosted in Oulu, Finland in early June, was jointly or- nized by the University of Oulu, Finland and Aalborg University,Denmark. The northern location of Oulu, only some two hours away from the Arctic Circle, o ers sunlight 24 hours a day, allowing conference participants to experience the midnight sun. This three-day conference placed persuasive technology on a rm scienti c footing with an emphasis on social, psychological, rhetorical and ethical issues. Featuring full and short papers, posters and panels, Persuasive2008 highlighted new knowledge in the understanding and design of persuasive technology. The event brought together researchers, practitioners, and industry professionals - terested in this important new eld. Research themes of the conference included motivationaltechnology,persuasivegames,smartenvironments,Web2.0, mobile persuasion, well-being and health behavior. In addition, attendees and part- ipants explored the theory and ethics of persuasive technology, social and - ganizational issues, business models for persuasive systems, and conceptual and theoretical approaches. 308 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software reuse depicts a great vision for the software industry. It has been widely viewed as a promising way to improve both the productivity and quality of software development. However, despite of the successes we have achieved, there are still many issues that have limited the promotion of software reuse in the real world. Therefore, software reuse has remained an important hotspot of research. ICSR is the premier international conference in the field of software reuse. It has been an important venue for presenting advances and improvements within the software reuse domain, and a powerful driving force in promoting the interaction between researchers and practitioners. The theme of ICSR 10 was 'High Confidence Software Reuse in Large Systems. ' A high confidence system is one that behaves in a well-understood and predictable fashion. Today's trends towards widespread use of commercial off-the-shelf (COTS) technology, increased integration, continuous evolution, and larger scale are yielding more complex software systems. So, the problem of how to build high confidence complex systems and how to reuse software with a high level of confidence has become a new attractive topic for research. Furthermore, high-level software asset reuse has been a goal for the last 20-30 years, and it can still be considered an unsolved question. Components-based development, MDA-MDE-MDD, extreme programming, and other techniques or methods are promising approaches to software reuse that still need more research. These proceedings report on the current state of the art in software reuse. 420 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This quite simply superb book focuses on various techniques of computational intelligence, both single ones and those which form hybrid methods. These techniques are today commonly applied to issues of artificial intelligence. The book presents methods of knowledge representation using different techniques, namely the rough sets, type-1 fuzzy sets and type-2 fuzzy sets. Next up, various neural network architectures are presented and their learning algorithms are derived. Then, the family of evolutionary algorithms is discussed, including connections between these techniques and neural networks and fuzzy systems. Finally, various methods of data partitioning and algorithms of automatic data clustering are given and new neuro-fuzzy architectures are studied and compared. 532 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 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008. The 19 revised full regular papers and 4 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed. 448 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 Mining Complex Data, MCD 2007, held in Warsaw, Poland, in September 2007, co-located with ECML and PKDD 2007. The 20 revised full papers presented were carefully reviewed and selected; they present original results on knowledge discovery from complex data. In contrast to the typical tabular data, complex data can consist of heterogenous data types, can come from different sources, or live in high dimensional spaces. All these specificities call for new data mining strategies. 284 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 6th International Conference on Applied Cryptography and Network Security, ACNS 2008, held in New York, NY, USA, in June 2008. The 30 revised full papers presented were carefully reviewed and selected from 131 submissions. The papers address all aspects of applied cryptography and network security with special focus on novel paradigms, original directions, and non-traditional perspectives. 528 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 Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008. The 33 revised papers presented together with 5 invited papers and one opening lecture were carefully reviewed and selected from 103 submissions. All major areas in computer science are addressed. The theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory and applications of logic to computer science. The application part comprises programming and languages; computer architecture and hardware design; symbolic computing and numerical applications; application software; artificial intelligence and robotics. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontainstheproceedingsofthe rstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4-5, 2008. While there are several venues that cover computational methods in systems biology,there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci cation, development and veri cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways that can signi cantly advance our understanding of biological systems. As a forum for this discussion we invited key scientists in the area of formal methods to this unique meeting. Although this was a one-o meeting, we are exploring the possibility of this forming the rst of what might become an annual conference. Presentations at the meeting were by invitation only; future meetings are expected to operate on a submission and review basis. The Steering Committee and additional referees reviewed the invited papers. Each submission was evaluated by at least two referees. The volume includes nine invited contributions. Formal Methods in Systems Biology 2008 was made possible by the cont- bution and dedication ofmany people. First of all,we wouldlike to thank allthe authors who submitted papers. Secondly, we would like to thank our additional invited speakers and participants. We would also like to thank the members of the Steering Committee for their valuable comments. Finally, we ackno- edge the help of the administrative and technical sta at the MicrosoftResearch Cambridge lab. 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 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods. 276 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 2007 ESO Instrument Calibration workshop brought together more than 120 participants with the objective to a) foster the sharing of information, experience and techniques between observers, instrument developers and instrument operation teams, b) review the actual precision and limitations of the applied instrument calibration plans, and c) collect the current and future requirements by the ESO users. These present proceedings include the majority of the workshop's contributions and document the status quo of instrument calibration at ESO in large detail. Topics covered are: Optical Spectro-Imagers, Optical Multi-Object Spectrographs, NIR and MIR Spectro-Imagers, High-Resolution Spectrographs, Integral Field Spectrographs, Adaptive Optics Instruments, Polarimetric Instruments, Wide Field Imagers, Interferometric Instruments as well as other crucial aspects such as data flow, quality control, data reduction software and atmospheric effects.It was stated in the workshop that 'calibration is a life-long learning process''. In this sense, this book will be a reference point for all future efforts to improve instrument calibration procedures in astronomy. 648 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design. 456 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and Interoperable Systems. The conf- ence was held in Oslo, Norway during June 4-6, 2008 as part of the DisCoTec (Distributed Object Techniques) federated conference, in conjunction with the 10th International Conference on Coordination Models and Languages (COOR- DINATION) and the 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). The conference was sponsored by IFIP (International Federation for Information Processing) and was organized by the IFIP Working Group 6.1. Distributed applications and interoperable systems have become an integral part of everyday living and hence part of the socio-economic ecosystem of our humanenvironment.Withsuchpervasivedistributionofsoftwaresystemsacross a multitude of heterogeneous environments and user domains, distributed app- cations must support seamless provision of services, as well as service evolution and adaptability to ensure long-term sustainability. This support must go - yond the provision of individual services in isolation, towards systems in which such services can interoperate and be integrated into the everyday environment catering for the changing needs of their users. 320 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon gurable and heterogeneous components. New models, architectures, languages, and veri cation techniques are necessary to cope with thecomplexityinducedbythedemandsoftoday'ssoftwaredevelopment. COOR- DINATIONaimstoexplorethespectrumoflanguages,middleware,services,and algorithms that separate behavior from interaction, therefore increasing mo- larity, simplifying reasoning, and ultimately enhancing software development. This volume contains the proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway in June 2008, as part of the federated DisCoTec conference. COORDI- NATIONitselfispartofaserieswhoseproceedingshavebeenpublishedinLNCS volumes 1061, 1282, 1594, 1906, 2315, 2949, 3454, 4038, and 4467. From the 61 submissions received from around the world, the Program Committee selected 21 papers for presentation and publication in this volume on the basis of or- inality, quality, and relevance to the topics of the conference. Each submission received at least three reviews. As with previous editions, the paper submission and selection processes were managed entirely electronically. This was acc- plished using EasyChair, a free Web-based conference management system. In addition to the technical paper presentations, COORDINATION 2008 hosted an invited presentation by Matt Welsh from Harvard University. We are grateful to all the Program Committee members who devoted much e ort and time to read and discuss the papers. Moreover, we acknowledge the help of additional external reviewers who evaluated submissions in their area of expertise. Finally,wewouldliketothanktheauthorsofallthesubmittedpapersandthe conferenceattendees, for keeping this researchcommunity lively and interactive, and ultimately ensuring the success of this conference series. 360 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 6th International Conference on Wired/Wireless Internet Communications, WWIC 2008, held in Tampere, Finland, in May 2008. The 18 revised full papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in topical sessions on performance analysis of wireless systems, resource and QoS management, implementation techniques, mobility, cross-layer design, and wireless sensor networks. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming and Combinatorial - timization that was held in Bertinoro (Italy), May 26-28, 2008. The IPCO series of conferences, sponsored by the Mathematical Progr- ming Society, highlights recent developments in theory, computation, and app- cation of integer programming and combinatorial optimization. The rst conf- ence took place in 1990; starting from IPCO 1995, the proceedings are published in the Lecture Notes in Computer Science series. The 12 previous IPCO conferences were held in Waterloo (Canada) 1990, Pittsburgh (USA) 1992, Erice (Italy) 1993, Copenhagen (Denmark) 1995 [LNCS 920], Vancouver (Canada) 1996 [LNCS 1084], Houston (USA) 1998 [LNCS 1412], Graz (Austria) 1999 [LNCS 1610], Utrecht (The Netherlands) 2001 [LNCS 2081], Boston (USA) 2002 [LNCS 2337], New York (USA) 2004 [LNCS 2986], Berlin (Germany) 2005 [LNCS 3509], and Ithaca (USA) 2007 [LNCS 4168]. The c- ference is not held in the years when the International Symposium of the Ma- ematical Programming Society takes place. 496 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Workshop on Experimental Algorithms, WEA, is intended to be an int- national forum for research on the experimental evaluation and engineering of algorithms, as well as in various aspects of computational optimization and its applications. The emphasis of the workshop is the use of experimental me- ods to guide the design, analysis, implementation, and evaluation of algorithms, heuristics, and optimization programs. WEA 2008 was held at the Provincetown Inn, Provincetown, MA, USA, on May 30 - June 1, 2008. This was the seventh workshop of the series, after Rome (2007),Menorca(2006),Santorini(2005),RiodeJaniero(2004),Asconia(2003), and Riga (2001). This volume contains all contributed papers accepted for presentation at the workshop. The 26 contributed papers were selected by the Program Committee onthebasisofatleastthreerefereereports,somecontributedbytrustedexternal referees. In addition to the 26 contributed papers, the program contained two invited talks. Camil Demetrescu, of the University of Rome 'La Sapienza,' spoke on 'Visualization in Algorithm Engineering.' David S. Johnson of AT & T Labs - Research, gave a talk on 'Bin Packing: From Theory to Experiment and Back Again.' We would like to thank the authors who responded to the call for papers, our invited speakers, the members of the ProgramCommittee, the external referees, and the Organizing Committee members for making this workshop possible. 380 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 First and the Second International Workshop on OpenMP, IWOMP 2005 and IWOMP 2006, held in Eugene, OR, USA, and in Reims, France, in June 2005 and 2006 respectively. The first part of the book presents 16 revised full papers carefully reviewed and selected from the IWOMP 2005 program and organized in topical sections on performance tools, compiler technology, run-time environment, applications, as well as the OpenMP language and its evaluation. In the second part there are 19 papers of IWOMP 2006, fully revised and grouped thematically in sections on advanced performance tuning aspects of code development applications, and proposed extensions to OpenMP. 468 pp. Englisch.