springer springer jun 2002 (322 results)

Taschenbuch. Condition: Neu. Neuware - The structure of Apollo - The Lost and Forgotten Missions follows the development and in flight testing of the Apollo lunar spacecraft prior to Apollo 11 as well as missions planned following that first landing. Drawing upon combinations of archival documentation from the first four manned Apollo missions and future mission plans evolved in the summer of 1969, Apollo - The Lost and Forgotten Missions will fill this void. The text explains how the machines and the men were prepared for the landing on the moon and what would have followed the initial landings.

Buch. Condition: Neu. Neuware - Overview The aim of this book is to provide a practical introduction to software quality in an industrial environment and is based on the author's experience in working in software engineering and software quality improvement with leading indus trial companies. The book is written from a practitioner's viewpoint, and the objective is to include both theory and practice. The reader will gain a grasp of the fundamentals as well as guidance on the practical application of the theory. The principles of software quality management and software process im provement are discussed, and guidance on the implementation of maturity mod els such as the CMM, SPICE, or the ISO 9000:2000 standard is included. Organization and Features The first chapter provides an introduction to the fundamentals of quality man agement. Later chapters consider software inspections and testing, ISO 9000, the CMM, the evolving SPICE standard, metrics and problem solving, and the final chapter on formal methods and design considers some advanced topics, includ ing configuration management, UML, software usability, and formal methods. The reader may find the material heavy going in places, especially in the section on formal methods, and this section may be skipped. The book includes a chapter on software inspections and testing, and this in cludes material on Fagan inspections to build quality into the software product.

Buch. Condition: Neu. Neuware - In Rediscovering Colors: A Study in Pollyanna Realism, Michael Watkins endorses the Moorean view that colors are simple, non-reducible, properties of objects. Consequently, Watkins breaks from what has become the received view that either colors are reducible to certain properties of interest to science, or else nothing is really colored. What is novel about the work is that Watkins, unlike other Mooreans, takes seriously the metaphysics of colors. Consequently, Watkins provides an account of what colors are, how they are related to the physical properties on which they supervene, and how colors can be causally efficacious without the threat of causal overdetermination. Along the way, he provides novel accounts of normal conditions and non-human color properties. The book will be of interest to any metaphysician and philosopher of mind interested in colors and color perception.

Buch. Condition: Neu. Neuware - Design reuse techniques have become the subject of books, conferences, and podium discussions over the last few years. However, most discussions focus on higher-level abstraction like RTL descriptions, which can be synthesized. Design reuse is often seen as an add-on to normal design activity, or a special design task that is not an integrated part of the existing design flow. This may all be true for the ASIC world, but not for high-speed, high-performance microprocessors.In the field of high-speed microprocessors, design reuse is an integrated part of the design flow. The method of choice in this demanding field was, and is always, physical design reuse at the layout level. In the past, the practical implementations of this method were linear shrinks and the lambda approach. With the scaling of process technology down to 0.18 micron and below, this approach lost steam and became inefficient. The only viable solution is a method, which is now called Automatic Layout Modification (ALM). It combines compaction, mask manipulation, and correction with powerful capabilities.Automatic Layout Modification, Including design reuse of the Alpha CPU in 0.13 micron SOI technology is a welcome effort to improving some of the practices in chip design today.

Buch. Condition: Neu. Neuware - Microarray technology is a major experimental tool for functional genomic explorations, and will continue to be a major tool throughout this decade and beyond. The recent explosion of this technology threatens to overwhelm the scientific community with massive quantities of data. Because microarray data analysis is an emerging field, very few analytical models currently exist. Methods of Microarray Data Analysis II is the second book in this pioneering series dedicated to this exciting new field. In a single reference, readers can learn about the most up-to-date methods, ranging from data normalization, feature selection, and discriminative analysis to machine learning techniques. Currently, there are no standard procedures for the design and analysis of microarray experiments. Methods of Microarray Data Analysis II focuses on a single data set, using a different method of analysis in each chapter. Real examples expose the strengths and weaknesses of each method for a given situation, aimed at helping readers choose appropriate protocols and utilize them for their own data set. In addition, web links are provided to the programs and tools discussed in several chapters. This book is an excellent reference not only for academic and industrial researchers, but also for core bioinformatics/genomics courses in undergraduate and graduate programs.

Buch. Condition: Neu. Neuware - This book can be regarded as a monograph on the debates and developments in Dutch environmental policy. It has been written with a specific perspective in mind. First and foremost, the line of approach we have taken was from a multidisciplinary social science point of view. The trend in environmental policy is looked at from the angle of sociology, policy studies and political science. Secondly, all analyses depart from the paradigm shift concept. This particular paradigm shift is based on the fact that a radical change has taken shape over the years in the way environmental issues are handled. Previously, environmental policy had always been characterised by is top-down approach in which government determined the actual objectives of policy and assumed that it could win over business, non governmental organisations and citizens to act in line with those objectives. There was also a great deal of faith in the technical solutions to environmental issues. Today's environmental policy is based on a totally different philosophy. Environmental objectives are now reached in association with business, non-governmental organisations and citizens. These actors are also involved in bringing environmental policy into practice. In other words, the implementation of policy has a more interactive nature. New relationships emerge between government, the market and civil society, and policy discourses also become integrated. The environmental interest is more often weighed against the econom1c interests, the spatial development and against social justice.

Buch. Condition: Neu. Neuware - Test Resource Partitioning for System-on-a-Chip is about test resource partitioning and optimization techniques for plug-and-play system-on-a-chip (SOC) test automation. Plug-and-play refers to the paradigm in which core-to-core interfaces as well as core-to-SOC logic interfaces are standardized, such that cores can be easily plugged into 'virtual sockets' on the SOC design, and core tests can be plugged into the SOC during test without substantial effort on the part of the system integrator. The goal of the book is to position test resource partitioning in the context of SOC test automation, as well as to generate interest and motivate research on this important topic.SOC integrated circuits composed of embedded cores are now commonplace. Nevertheless, There remain several roadblocks to rapid and efficient system integration. Test development is seen as a major bottleneck in SOC design, and test challenges are a major contributor to the widening gap between design capability and manufacturing capacity. Testing SOCs is especially challenging in the absence of standardized test structures, test automation tools, and test protocols.Test Resource Partitioning for System-on-a-Chip responds to a pressing need for a structured methodology for SOC test automation. It presents new techniques for the partitioning and optimization of the three major SOC test resources: test hardware, testing time and test data volume.Test Resource Partitioning for System-on-a-Chip paves the way for a powerful integrated framework to automate the test flow for a large number of cores in an SOC in a plug-and-play fashion. The framework presented allows the system integrator to reduce test cost and meet short time-to-market requirements.

Buch. Condition: Neu. Neuware - Many devices (we say dynamical systems or simply systems) behave like black boxes: they receive an input, this input is transformed following some laws (usually a differential equation) and an output is observed. The problem is to regulate the input in order to control the output, that is for obtaining a desired output. Such a mechanism, where the input is modified according to the output measured, is called feedback. The study and design of such automatic processes is called control theory. As we will see, the term system embraces any device and control theory has a wide variety of applications in the real world. Control theory is an interdisci plinary domain at the junction of differential and difference equations, system theory and statistics. Moreover, the solution of a control problem involves many topics of numerical analysis and leads to many interesting computational problems: linear algebra (QR, SVD, projections, Schur complement, structured matrices, localization of eigenvalues, computation of the rank, Jordan normal form, Sylvester and other equations, systems of linear equations, regulariza tion, etc), root localization for polynomials, inversion of the Laplace transform, computation of the matrix exponential, approximation theory (orthogonal poly nomials, Pad6 approximation, continued fractions and linear fractional transfor mations), optimization, least squares, dynamic programming, etc. So, control theory is also a. good excuse for presenting various (sometimes unrelated) issues of numerical analysis and the procedures for their solution. This book is not a book on control.

Buch. Condition: Neu. Neuware - Analysis of Glycans of Recombinant Glycoproteins.- The Effect of Cell Culture Parameters on Protein Glycosylation.- Glycosylation of Recombinant IgG Antibodies and Its Relevance for Therapeutic Applications.- Cellular Modification for the Improvement of the Glycosylation Pathway.- Controlling Carbohydrates on Reconbinant Glycoproteins.- Targeting of Genetically Engineered Glycosyltransferases to In Vivo Functional Golgi Subcompartments of Mammalian Cells.- A Metabolic Substrate-Based Approach to Engineering New Chemical Reactivity into Cellular Sialoglycoconjugates.- Addressing Insect Cell Glycosylation Deficiencies Though Metabolic Engineering.- Asparagine-Linked Glycosylational Modifications in Yeast.

Buch. Condition: Neu. Neuware - Some time ago I wrote a book (Moral Language, 1982) in which I argued that moral judgments are capable of being true ('truth-apt,' to use a current phrase, or descriptive and having truth-value, to use a more traditional term), that the methods of discovering moral facts are fundamentally similar to those of discovering non-moral facts, and that moral judgments may be true. What I did not do at that time was to develop a moral theory which would demonstrate how the method of discovering moral truths would work and what the criteria of truth actually are. In a later work (Persons, Animals, and Fetuses, 1996) I did propose a moral theory as to what the criteria for moral truth are; however, I presented it primarily as an introduction to the discussion of several practical ethical issues and did not argue fully for that theory. It is high time that I did so, because without showing that such a theory can be developed my defense of moral realism is incomplete. It is all very well to say that we can discover what moral beliefs are true, but unless we can demonstrate just which beliefs are true, the thesis that we can discover this truth cannot be fully defended. For this reason the biggest (although not the only) challenge to showing that ethical objectivity is possible is the presence of moral disagreement - and the contention of many that such disagreement cannot be definitively resolved.

Buch. Condition: Neu. Neuware.

Buch. Condition: Neu. Neuware - 1 Introduction.- 2 Optimization Models.- 3 General Economic Equilibrium.- 4 Models of Oligopoly.- 5 Oligopoly with Leaders.- 6 Complementarity Problems with Respect to General Cones.- 7 Pseudomonotone and Implicit Complementarity Problems.- 8 Complementarity Pivot Methods.- 9 Scarf Type Algorithms.- 10 Newton-Like Methods.- 11 Parametrization and Reduction to Nonlinear Equations.- 12 Efficiency.- 13 Approximative Efficiency.

Buch. Condition: Neu. Neuware - The generalized area of multiple criteria decision making (MCDM) can be defined as the body of methods and procedures by which the concern for multiple conflicting criteria can be formally incorporated into the analytical process. MCDM consists mostly of two branches, multiple criteria optimization and multi-criteria decision analysis (MCDA). While MCDA is typically concerned with multiple criteria problems that have a small number of alternatives often in an environment of uncertainty (location of an airport, type of drug rehabilitation program), multiple criteria optimization is typically directed at problems formulated within a mathematical programming framework, but with a stack of objectives instead of just one (river basin management, engineering component design, product distribution). It is about the most modern treatment of multiple criteria optimization that this book is concerned. I look at this book as a nicely organized and well-rounded presentation of what I view as 'new wave' topics in multiple criteria optimization. Looking back to the origins of MCDM, most people agree that it was not until about the early 1970s that multiple criteria optimization c- gealed as a field. At this time, and for about the following fifteen years, the focus was on theories of multiple objective linear programming that subsume conventional (single criterion) linear programming, algorithms for characterizing the efficient set, theoretical vector-maximum dev- opments, and interactive procedures.

Buch. Condition: Neu. Neuware -This book provides a survey of the state of the art of technology and future trends in the new family of Smart Power ICs and describes design and applications in a variety of fields ranging from automotive to telecommunications, reliability evaluation and qualification procedures. The book is a valuable source of information and reference for both power IC design specialists and to all those concerned with applications, the development of digital circuits and with system architecture.

Buch. Condition: Neu. Neuware -This book provides a survey of the state of the art of technology and future trends in the new family of Smart Power ICs and describes design and applications in a variety of fields ranging from automotive to telecommunications, reliability evaluation and qualification procedures. The book is a valuable source of information and reference for both power IC design specialists and to all those concerned with applications, the development of digital circuits and with system architecture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 590 pp. Englisch.

Buch. Condition: Neu. Neuware - This is the fifth book of the Kluwer's series Advances in Robot Kine matics. The book presents the most recent research advances in the theory, design, control and application of robotic systems, which are intended for a variety of purposes such as manipulation, manufactur ing, automation, surgery, locomotion and biomechanics. The issues addressed are fundamentally kinematic in nature, including synthesis, calibration, redundancy, force control, dexterity, inverse and forward kinematics, kinematic singularities, as well as over-constrained systems. Methods used include line geometry, quaternion algebra, screw alge bra, and linear algebra. These methods are applied to both parallel and serial multi-degree-of-freedom systems. The results should interest researchers, teachers and students, in fields of engineering and mathe matics related to robot theory, design, control and application. Each contribution in this book had been rigorously reviewed by two or three independent reviewers and 53 articles had been recommended for publication. We are happy to observe that Advances in Robot Kine matics has always attracted the most outstanding authors and has de veloped a remarkable scientific community in the area. Many important and original scientific results were for the first time reported and dis cussed in these books. All articles in this book were also reported at the eight international symposium on Advances in Robot Kinematics that was organised in June 2002 in Caldes de Malavella in Spain.

Buch. Condition: Neu. Neuware - This book provides a survey of the state of the art of technology and future trends in the new family of Smart Power ICs and describes design and applications in a variety of fields ranging from automotive to telecommunications, reliability evaluation and qualification procedures. The book is a valuable source of information and reference for both power IC design specialists and to all those concerned with applications, the development of digital circuits and with system architecture.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A fast-moving, concise introduction to XML technologies for all programmers, no matter what their programming language (Java, VB, VBScript, C, C++, Python, and JavaScript), with exercises and solutions in every chapter. 576 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Basic Linear Algebra is a text for first year students leading from concrete examples to abstract theorems, via tutorial-type exercises. More exercises (of the kind a student may expect in examination papers) are grouped at the end of each section. The book covers the most important basics of any first course on linear algebra, explaining the algebra of matrices with applications to analytic geometry, systems of linear equations, difference equations and complex numbers. Linear equations are treated via Hermite normal forms which provides a successful and concrete explanation of the notion of linear independence. Another important highlight is the connection between linear mappings and matrices leading to the change of basis theorem which opens the door to the notion of similarity. This new and revised edition features additional exercises and coverage of Cramer's rule (omitted from the first edition). However, it is the new, extra chapter on computer assistance that will be ofparticular interest to readers: this will take the form of a tutorial on the use of the 'LinearAlgebra' package in MAPLE 7 and will deal with all the aspects of linear algebra developed within the book. 248 pp. Englisch.

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

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -About 60 years ago, R. Brauer introduced 'block theory'; his purpose was to study the group algebra kG of a finite group G over a field k of nonzero characteristic p: any indecomposable two-sided ideal that also is a direct summand of kG determines a G-block.But the main discovery of Brauer is perhaps the existence of families of infinitely many nonisomorphic groups having a 'common block'; i.e., blocks having mutually isomorphic 'source algebras'.In this book, based on a course given by the author at Wuhan University in 1999, all the concepts mentioned are introduced, and all the proofs are developed completely. Its main purpose is the proof of the existence and the uniqueness of the 'hyperfocal subalgebra' in the source algebra. This result seems fundamental in block theory; for instance, the structure of the source algebra of a nilpotent block, an important fact in block theory, can be obtained as a corollary.The exceptional layout of this bilingual edition featuring 2 columns per page (one English, one Chinese) sharing the displayed mathematical formulas is the joint achievement of the author and A. Arabia. 224 pp. Chinesisch, Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 436 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 23rd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressinthe applicationandtheoryofPetrinets. Typically, the conferences have 100-150participants one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. The conference and a number of other activities are co-ordinated by a ste- ing committee with the following members: G. Balbo (Italy), J. Billington (A- tralia),G.De Michelis(Italy),S.Haddad(France),K.Jensen(Denmark),S.- magai (Japan), T. Murata (USA), C.A. Petri (Germany; honorary member), W. Reisig (Germany), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Other activities before and during the 2002 conference included tool dem- strations, extensive introductory tutorials, two advanced tutorials on Work ow Management: Models, Methods, and Systems and Model Checking , and two workshops on Software Engineering and Formal Methods and Formal Me- ods Applied to Defence Systems . The tutorial notes and workshop proceedings are not published in this volume, but copies are available from the organ- ers. The proceedings can be found at CRPIT.html. The 2002 conference was organized by the Computer Systems Engineering Centre, School of Electrical and Information Engineering at the University of South Australia, Adelaide, Australia with assistance from the Department of Computer Science, Adelaide University, Adelaide, Australia. We would like to thankthemembersoftheorganizingcommittee(seenextpage)andtheir teams. 460 pp. Englisch.

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

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a unified approach for obtaining the limiting distributions of minimum distance. It discusses classes of goodness-of-t tests for fitting an error distribution in some of these models and/or fitting a regression-autoregressive function without assuming the knowledge of the error distribution. The main tool is the asymptotic equi-continuity of certain basic weighted residual empirical processes in the uniform and L2 metrics. 448 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on 'Agent Theories, Architectures, and L- guages' have established themselves as a tradition, and play the role of small but internationally well-known conferences on the subject, where besides theory per se also integration of theory and practice is in focus. Speci cally, ATAL - dresses issues of theories of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for applying and evaluating agent-based systems. ATAL 2001 featured two special tracks in which both the more theoretical / formal and the more practical aspects were present, viz. 'Formal Theories of Negotiation', organized by Frank Dignum, and 'Agents for Hand-Held, Mobile, or Embedded Devices', organized by Tim Finin. There was also an extra session on RoboCup Rescue, organized and presented by Satoshi Tadokoro and Ranjit Nair. ATAL 2001 attracted 68 papers from over 20 countries all over the world, of which 30 were selected for presentation at the workshop and publication in this volume. We invited two outstanding speakers: Fausto Giunchiglia (Trento, Italy) and Tom Dean (Brown, USA). 480 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AISC 2002, the 6th international conference on Arti cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1 5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title Arti cial Intelligence and Symbolic Mathematical Computation (AISMC) and later denoted Art- cial Intelligence and Symbolic Computation (AISC). The scope is well de ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC 98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di erent point of view: Arti cial Intelligence in the more general case of AISC and Automated Deduction in the more speci c case of Calculemus. 364 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Fast Software Encryption is an eight-year-old workshop on symmetric cryp- graphy, including the design and cryptanalysis of block and stream ciphers, as well as hash functions. The rst Fast Software Encryption Workshop was held in Cambridge in 1993, followed by Leuven in 1994, Cambridge in 1996, Haifa in 1997, Paris in 1998, Rome in 1999, and New York in 2000. This Fast Software Encryption Workshop, FSE 2001, was held from 2-4 April 2001 in Yokohama, Japan, in cooperation with the Institute of Industrial Science, of the University of Tokyo. This year a total of 46 papers were submitted to FSE 2001. After a t- month review process, 27 papers were accepted for presentation at the workshop. In addition, we were fortunate to be able to organize a special talk by Bart Preneel on the NESSIE project, a European initiative to evaluate cryptographic algorithms. The committee of this workshop was: General Chair Hideki Imai (The University of Tokyo) Program Committee Ross Anderson (Cambridge Univ. ) Eli Biham (Technion) Cunsheng Ding (Singapore) Henri Gilbert (France Telecom) Dieter Gollman (Microsoft) Thomas Johansson (Lund Univ. ) Lars Knudsen (Bergen Univ. ) James Massey (Denmark) Mitsuru Matsui (Mitsubishi Electric, Chair) Kaisa Nyberg (Nokia) Bart Preneel (Katholieke Univ. Leuven) Bruce Schneier (Counterpane) We would like to thank all submitting authors and the committee members for their hard work. We are also appreciative of the nancial support provided by Mitsubishi Electric Corporation. 368 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The problem of representing an integer as a sum of squares of integers is one of the oldest and most significant in mathematics. It goes back at least 2000 years to Diophantus, and continues more recently with the works of Fermat, Euler, Lagrange, Jacobi, Glaisher, Ramanujan, Hardy, Mordell, Andrews, and others. Jacobi's elliptic function approach dates from his epic Fundamenta Nova of 1829. Here, the author employs his combinatorial/elliptic function methods to derive many infinite families of explicit exact formulas involving either squares or triangular numbers, two of which generalize Jacobi's (1829) 4 and 8 squares identities to 4n2 or 4n(n+1) squares, respectively, without using cusp forms such as those of Glaisher or Ramanujan for 16 and 24 squares. These results depend upon new expansions for powers of various products of classical theta functions. This is the first time that infinite families of non-trivial exact explicit formulas for sums of squares have been found. The author derives his formulas by utilizing combinatorics to combine a variety of methods and observations from the theory of Jacobi elliptic functions, continued fractions, Hankel or Turanian determinants, Lie algebras, Schur functions, and multiple basic hypergeometric series related to the classical groups. His results (in Theorem 5.19) generalize to separate infinite families each of the 21 of Jacobi's explicitly stated degree 2, 4, 6, 8 Lambert series expansions of classical theta functions in sections 40-42 of the Fundamental Nova. The author also uses a special case of his methods to give a derivation proof of the two Kac and Wakimoto (1994) conjectured identities concerning representations of a positive integer by sums of 4n2 or 4n(n+1) triangular numbers, respectively. These conjectures arose in the study of Lie algebras and have also recently been proved by Zagier using modular forms. George Andrews says in a preface of this book, `This impressive work will undoubtedly spur others both in elliptic functions and in modular forms to build on these wonderful discoveries.' Audience: This research monograph on sums of squares is distinguished by its diversity of methods and extensive bibliography. It contains both detailed proofs and numerous explicit examples of the theory. This readable work will appeal to both students and researchers in number theory, combinatorics, special functions, classical analysis, approximation theory, and mathematical physics. 152 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is ontechniquesthatcombineprecisionwith conciseness,enablingprogramsto be constructed by formal calculation. Within this theme, the scope of the series is verydiverse,including programmingmethodology,programspeci cationand transformation, programming paradigms, programming calculi, and progr- ming language semantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference.Eachpaperwasrefereedbyatleastfour,andoftenmore,committee members. Inadditiontothe11papersselectedforpresentationbytheprogramcomm- tee, this volume contains three invited talks: Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm by Robert Giegerich (Technical University of Bielefeld, Germany), and abstracts of Some Results in Dynamic Model Theory by Dexter Kozen (Cornell Univ- sity,USA)and Mathematics in Computer Science Curricula byJeannetteWing (Carnegie Mellon University, USA). The conference took place in Dagstuhl, Germany. The previous ve conf- ences wereheld in 1989in Twente,The Netherlands, in 1992in Oxford,United Kingdom,in1995inKlosterIrsee,Germany,in1998inMarstrandnearGot eborg in Sweden, and in 2000 in Ponte de Lima, Portugal. The proceedings of these conferenceswerepublishedasLNCS375,669,947,1422,and1837,respectively. Three international events were co-located with the conference: the IFIP WG2.1 working conference on Generic Programming, the third workshop on Constructive Methods for Parallel Programming, and the workshop on Types in Programming. We thank the organizers of these events for their interest in sharing the atmosphere of the conference. 280 pp. Englisch.