springer berlin heidelberg aug 2001 (173 risultati)

Buch. Condizione: Neu. Neuware -It is said that behind every successful man there stands a devoted and capable woman. The three famous chemists Perkin, Kipping and their collaborator Lapworth married three sisters: Mina, Lily, and Kathleen Holland. The three Holland sisters kept their husbands in close and very productive collaboration throughout their lives, thereby greatly increasing their scientific output. They functioned as a productive scientific family. However, the life and work of the men is thoroughly documented, but little is known about their wives. Professor Eugene G. Rochow, a world-renowned scientist, wrote this biographical historical novel with the help of a grandson, Dr. Brian Kipping. Professor Rochow did not intend to write a bare-bones biography. He took care to make the book factually accurate. Wherever there are no facts, he has not hesitated to flesh out the account with imagination and actual experience of others in order to make the text more readable.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -We welcome you to the Second International Conference on E commerce and Web Technology (ECWEB 2001) held in conjunction with DEXA 2001 in Munich, Germany. This conference, now in its second year, is a forum to bring together researchers from academia and commercial developers from industry to discuss the state of the art in E commerce and web technology and explore new ideas. We thank you all for coming to Munich to participate and debate the new emerging advances in this area. The research presentation and discussion during the conference will help to exchange new ideas among the researchers, developers, and practitioners. The conference program consists of an invited talk by Hannes Werthner, University of Trento, Italy, as well as the technical sessions. The regular sessions cover topics from XML Transformations and Web Development to User Behavior and Case Studies. The workshop has attracted more than 80 papers and each paper has been reviewed by at least 3 program committee members for its merit. The program committee have selected 31 papers for presentation. We would like to express our thanks to the people who helped put together the technical program: the program committee members and external reviewers for their timely and rigorous reviews of the papers, the DEXA organizing committee for their help in administrative work and support, and special thanks to Gabriela Wagner for always responding promptly.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework. 236 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The PaCT-2001 (Parallel Computing Technologies) conference was a four-day conference held in Akademgorodok (Novosibirsk), September 3¿7, 2001. This was the sixth international conference in the PaCT series, organized in Russia every odd year. The rst conference, PaCT-91, was held in Novosibirsk (Academgorodok), September 7¿11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 ¿ September 4, 1993; in St.Petersburg, September 12¿15, 1995; in Yaroslavl September 9¿12, 1997; and in Pushkin (near St.Petersburg) from September 6¿10, 1999. The PaCT proceedings are published by Springer- Verlag in the LNCS series. PaCT-2001 was jointly organized by the Institute of Computational Mat- maticsandMathematicalGeophysicsoftheRussianAcademyofSciences(No- sibirsk), the State University, and the State Technical University of Novosibirsk. The purpose of the conference was to bring together scientists working with theory, architecture, software, hardware, and solution of large-scale problems in order to provide integrated discussions on parallel computing technologies. The conference attracted about 100 participants from around the world. - thors from 17 countries submitted 81 papers. Of those submitted, 36 papers were selected for the conference as regular ones; there were also 4 invited - pers. In addition there were a number of posters presented. All the papers were internationally reviewed by at least three referees. As usual a demo session was organized for the participants. 536 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This complete and practical manual on expression measurement using DNA arrays covers the existing methods (from nylon macroarrays to oligonucleotide chips) and includes detailed protocols. It has been written by practising scientists who have experienced the difficulties involved in actually using microarrays, and provides helpful advice and hints on setting up these powerful but sometimes tricky methods. Software, data mining procedures and probable future developments, which should be useful to any practising scientist interested in expression measurement, are also covered in this book. It also provides detailed protocols as well as many helpful hints to achieve experimental success and to avoid pitfalls.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Buch. Condizione: Neu. Neuware -The Ninth EPSRC Numerical Analysis Summer School was held at the Uni versity of Durharn, UK, from the 10th to the 21st of July 2000. This was the first of these schools to be held in Durharn, having previously been hosted, initially by the University of Lancaster and latterly by the University of Leicester. The purpose of the summer school was to present high quality in structional courses on topics at the forefront of numerical analysis research to postgraduate students. Eminent figures in numerical analysis presented lectures and provided high quality lecture notes. At the time of writing it is now more than two years since we first con tacted the guest speakers and during that period they have given significant portions of their time to making the summer school, and this volume, a suc cess. We would like to thank all six of them for the care which they took in the preparation and delivery of their lectures. The speakers were Christine Bernardi, Petter Bj0rstad, Carsten Carstensen, Peter Kloeden, Ralf Kornhu ber and Anders Szepessy. This volume presents written contributions from five of the six speakers. In all cases except one, these contributions are more comprehensive versions of the lecture not es which were distributed to participants during the meeting. Peter Kloeden's contribution is intended to be complementary to his lecture course and numerous references are given therein to sources of the lecture material.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the joint refereed proceedings of the 4th International Workshop on Approximation Algorithms for Optimization Problems, APPROX 2001 and of the 5th International Workshop on Ranomization and Approximation Techniques in Computer Science, RANDOM 2001, held in Berkeley, California, USA in August 2001. The 26 revised full papers presented were carefully reviewed and selected from a total of 54 submissions. Among the issues addressed are design and analysis of approximation algorithms, inapproximability results, on-line problems, randomization, de-randomization, average-case analysis, approximation classes, randomized complexity theory, scheduling, routing, coloring, partitioning, packing, covering, computational geometry, network design, and applications in various fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3¿6 September 2001 in Edinburgh, Scotland. TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in theorem proving and veri cation. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri cation Methods (CHARME 2001). This was held 4¿7 September 2001 in nearby Livingston, Scotland at the Institute for System Level Integration, and a joint half-day session of talks was arranged for the 5th September in Edinburgh. An excursion to Traquair House and a banquet in the Playfair Library of Old College, University of Edinburgh were also jointly organized. The proceedings of CHARME 2001 have been p- lished as volume 2144 of Springer-Verlag¿s Lecture Notes in Computer Science series, with Tiziana Margaria and Tom Melham as editors. Each of the 47 papers submitted in the full research category was refereed by at least 3 reviewers who were selected by the Program Committee. Of these submissions, 23 were accepted for presentation at the conference and publication in this volume. In keeping with tradition, TPHOLs 2001 also o ered a venue for the presentation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplementary proceedings containing associated papers for work in progress was published by the Division of Informatics at the University of Edinburgh.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Text, Speech and Dialogue, TSD 2001, held in Zelezna Ruda, Czech Republic in September 2001.The 59 revised papers presented were carefully reviewed and selected from 117 submissions. The book presents a wealth of state-of-the-art research and development results from the field of natural language processing with emphasis on text, speech, and spoken language. 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Data Warehousing and Knowledge Discovery technology is emerging as a key technology for enterprises that wish to improve their data analysis, decision support activities, and the automatic extraction of knowledge from data. The objective of the Third International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2001) was to bring together researchers and practitioners to discuss research issues and experience in developing and deploying data warehousing and knowledge discovery systems, applications, and solutions. The conference focused on the logical and physical design of data warehousing and knowledge discovery systems. The scope of the papers covered the most recent and relevant topics in the areas of association rules, mining temporal patterns, data mining techniques, collaborative filtering, Web mining, visualization, matchmaking, evelopment and maintenance of data warehouses, OLAP, and distributed data warehouses. These proceedings contain the technical papers selected for presentation at the conference. We received more than 90 papers from over 20 countries, and the program committee finally selected 34 papers. The conference program included one invited talk: ¿Knowledge Management in Heterogeneous Data Warehouse Environments¿ by Professor Larry Kerschberg, George Mason University, USA. 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -interactions, Internet applications,QoSmanagement,policy-basedmanagement,interactivemulti- dia,tele-learningapplications,andcomputertelephonyintegration. August2001 SamuelPierreandRochGlitho Organizing Committee General Chair: SamuelPierre ¿ EcolePolytechniquedeMontr¿eal,Canada Program Chair: RochGlitho EricssonResearchCanada Tutorial Co-Chairs: Jean-CharlesBernard ¿ EcolePolytechniquedeMontr¿eal,Canada WilfriedG. Probst Universit¿eduQüebec`aMontr¿eal,Canada ThomasM. Chen SouthernMethodistUniversity,USA PublicityCo-Chairs: RamiroLiscano MitelCorporation,Canada LarbiEsmahi NationalResearchCouncilofCanada Geng-ShengKuo NationalCentralUniversity,Taiwan AntonioLiotta UniversityofSurrey,UK Local Management Committee ¿ Jean-CharlesBernard,EcolePolytechniquedeMontr¿eal,Canada DenisMonette,EricssonResearchCanada RochGlitho,EricssonResearchCanada ¿ SabineK¿ebreau,EcolePolytechniquedeMontr¿eal,Canada RaymondL¿evesque,BureaudesCongr`esUniversitaires,Canada VII Program Committee A. L. Ananda,NUS,Singapore ¿ J. -C. Bernard,EcolePolytechniquedeMontr¿eal,Canada A. Bieszczad,LucentTechnologies,USA R. Boutaba,UniversityofWaterloo,Canada J. Delgado,UniversitatPompeuFabra,Barcelona,Spain P. Dini,CiscoSystemsInc. ,USA L. Esmahi,NRC,Canada B. Falchuk,Bellcore,USA N. Fonseca,Unicamp,Brazil V. Gay,UTS,Australia M. -P. Gervais,LIP6,France R. Glitho,EricssonResearchCanada T. Gray,MitelCorp,Canada C. Grossner,NortelNetworks,Canada ¿ H. H. Hoang,EcolePolytechniquedeMontr¿eal,Canada E. Horlait,LIP6,France J. G. Hulaas,UniversityofGeneva,Switzerland R. Impey,NRC,Canada I. Jabbari,GeorgeMasonUniversity,USA P. Joye,UniversityofAppliedSciencesofWesternSwitzerland A. Karmouch,UniversityofOttawa,Canada R. Liscano,MitelCorporation,Canada T. Magedanz,IKV++GMD,Germany C. Petitpierre,SwissFederalInstituteofTechnology,Switzerland ¿ A. Quintero,EcolePolytechniquedeMontr¿eal,Canada S. Soulhi,EricssonCanada J. -F. Wagen,Univ. ofAppliedSciencesofWesternSwitzerland MATAWorkshop SteeringCommittee EricHSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Buch. Condizione: Neu. Neuware -The fascinating phenomenon ferromagnetism is far from being fully understood, although it surely belongs to the oldest problems of solid state physics. For any investigation it appears recommendable to distinguish between materials whose spontaneous magnetization stems from localized electrons of a partially lled atomic shell and those in which it is due to itinerant electrons of a partially lled conduction band. In the latter case one speaks of band-ferromagnetism, prototypes of which are the classical ferromagnets Fe, Co, and Ni. The present book is a status report on the remarkable progress that has recently been made towards a microscopic understanding of band-ferromagnetism as an electron c- relation e ect. The authors of the various chapters of this book ¿Band-Ferromagnetism: Ground-State and Finite-Temperature Phenomenä participated as selected - perts in the 242nd WE-Heraeus-Seminar (4-6 October 2000) held under almost the same title in Wandlitz near Berlin (Germany). It was the second seminar of this type in Wandlitz. (The rst in 1998 dealt with the complementary topic of the physics of local-moment ferromagnets such as Gd). Twenty-six invited spe- ers from ten di erent countries together with fty- ve further participants, who presented contributions in form of posters, spent three days together discussing in an enthusiastic and fertile manner the hot topics of band-ferromagnetism.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Buch. Condizione: Neu. Neuware -The question of the symbolic structure of physics is implicitly involved in any discussion about the character of physical knowledge and the development of physical theories. Actually many discussions would greatly profit from an explicit reference to and an investigation of this question, and much confusion may be avoided in this way. A book directly addressing the use and character of symbols in physics may help provide a point of view which is in the back ground of any consideration in the theory of knowledge and which is, to be sure, very relevant today, but - strangely enough - often seems to be missing as an explicit and central perspective in the present epistemological debates. The concept of symbol has different meanings. Its wide diffusion in various cultural fields such as religion, mythology, art, and psychoanalysis, constitutes the best proof of its semantic variety, but also of the danger of using it in too vague a way. We start here from the concept of symbol conceived in the general sense of a sign or a material medium which is able, on the one hand, to communicate mental or conceptual contents and, on the other hand, to des ignate things or situations in the world. In this way symbols make it possible for human knowledge to 'translate' the mental activity grasping the real ity in conceptual frames, formal or natural languages, scientific propositions, theories and so on.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri cation Methods. CHARME 2001 is the 11th in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri cation of hardware and hardware-like systems. Previous events in the ¿CHARME¿ series were held in Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993), and Torino (1991). This series of meetings has been organized in cooperation with IFIP WG 10.5 and WG 10.2. Prior meetings, stretching backto the earliest days of formal hardware veri cation, were held under various names in Miami (1990), Leuven (1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985), and Darmstadt (1984). The convention is now well-established whereby the European CHARME conference alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design (FMCAD), which is held on even-numbered years in the USA. The conference tookplace during 4¿7 September 2001 at the Institute for System Level Integration in Livingston, Scotland. It was co-hosted by the - stitute and the Department of Computing Science of Glasgow University and co-sponsored by the IFIP TC10/WG10.5 Working Group on Design and En- neering of Electronic Systems. CHARME 2001 also included a scienti c session and social program held jointly with the 14th International Conference on Th- rem Proving in Higher Order Logics (TPHOLs), which was co-located in nearby Edinburgh. 496 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. Among the topics addressed are implementation, experimental testing, and fine-tuning of discrete algorithms; novel use of discrete algorithms in other disciplines; empirical research on algorithms and data structures; and methodological issues regarding the process of converting user requirements into efficient algorithmic solutions and implemenations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Buch. Condizione: Neu. Neuware -The integration of the Central and Eastern European transition countries into the European Union is one of the most exciting economic policy issues of today. The book provides a detailed analysis of the economic effects which EU integration has on accession countries. It shows that these countries have already managed to fully remove the anti-trade bias with the EU that existed before the fall of the iron curtain. Benefits from further integration into the EU could result in particular from the fact that full membership in the European Community will increase the credibility of government policy in accession countries. The study explores in depth how these credibility effects can be quantified. The author develops a novel approach to model the transformation process within a dynamic computable general equilibrium framework. Furthermore, he estimates the potential income and welfare effects of EU integration for Poland, the largest transition country with EU candidate status.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 202 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 12th European Conference on Machine Learning, ECML 2001, held in Freiburg, Germany, in September 2001.The 50 revised full papers presented together with four invited contributions were carefully reviewed and selected from a total of 140 submissions. Among the topics covered are classifier systems, naive-Bayes classification, rule learning, decision tree-based classification, Web mining, equation discovery, inductive logic programming, text categorization, agent learning, backpropagation, reinforcement learning, sequence prediction, sequential decisions, classification learning, sampling, and semi-supervised learning. 640 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains all of the papers presented at the 11th International C- ference on Field Programmable Logic and Applications (FPL 2001),hosted by The Queen¿s University of Belfast,Northern Ireland,27¿29 August 2001. The annual FPL event is the longest-standing international conference covering p- grammable logic,recon gurable computing,and related matters. It was founded in 1991,and has been held in Darmstadt,Glasgow,London,Oxford (thrice), Prague,Tallinn,Vienna,and Villach. FPL brings together experts,users,and newcomers from industry and academia,in an informal and convivial atmosphere that encourages stimulating and productive interaction between participants. The size of the FPL conference has been growing rapidly,the number of participants increasing from 144 in 1999 to 240 in 2000. The number of papers submitted in 2001 was in line with the previous year,and our goal for 2001 was to sustain the growth in participation. The 117 submitted papers came from 24 di erent countries: USA (26),UK (24),Germany (14),Spain (12),Japan (7),France (4),Greece and Ireland (3 each),Belgium,Canada,Czech Republic, Finland,Italy,The Netherlands,Poland,and Switzerland (2 each),and Austria, Belarus,Brazil,Iran,Mexico,Portugal,South Africa,and Sweden (1 each). This illustrates the position of FPL as a genuinely international event,with by far the largest number of submissions of any conference in this eld. As in previous years,each submitted paper was subjected to thorough reviewing. As a result, 56 regular papers and 15 posters were accepted for presentation. Another three keynote papers were invited. We thank all the authors who submitted papers,and also thank the members of the program committee and the additional referees who carefully reviewed the submissions. 686 pp. Englisch.

Buch. Condizione: Neu. Neuware -Intelligent Machine Vision: Techniques, Implementations & Applications brings together the central issues involved in this exciting and topical subject.Drawing on half a century of combined experience, the authors describe state of the art and the latest developments in the field, including: fundamentals of 'intelligent' image processing, specifically intended for Machine Vision systems; algorithm optimization; implementation in high-speed electronic digital hardware; implementation in an integrated high-level software environment; applications for industrial product quality and process control.There are hundreds of illustrations in the book, most of them created using the author's 'PIP' software - a sophisticated intelligent image processing package.A demonstration version of this software, as well as numerous examples from the book, are available at the authors' Web site: bruce.cs.cf.ac.uk/bruce/index.htmlSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery, PKDD 2001, held in Freiburg, Germany, in September 2001.The 40 revised full papers presented together with four invited contributions were carefully reviewed and selected from close to 100 submissions. Among the topics addressed are hidden Markov models, text summarization, supervised learning, unsupervised learning, demographic data analysis, phenotype data mining, spatio-temporal clustering, Web-usage analysis, association rules, clustering algorithms, time series analysis, rule discovery, text categorization, self-organizing maps, filtering, reinforcemant learning, support vector machines, visual data mining, and machine learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Buch. Condizione: Neu. Neuware -As the first book devoted to relational data mining, this coherently written multi-author monograph provides a thorough introduction and systematic overview of the area. The first part introduces the reader to the basics and principles of classical knowledge discovery in databases and inductive logic programming; subsequent chapters by leading experts assess the techniques in relational data mining in a principled and comprehensive way; finally, three chapters deal with advanced applications in various fields and refer the reader to resources for relational data mining.This book will become a valuable source of reference for R&D professionals active in relational data mining. Students as well as IT professionals and ambitioned practitioners interested in learning about relational data mining will appreciate the book as a useful text and gentle introduction to this exciting new field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Buch. Condizione: Neu. Neuware -Internationalization of the economy accelerated at the turn of the century. Growing national, regional, and global environmental problems associated with globalization present new challenges for policy-makers and international cooperation. Crucial problems concern air pollution, environmental problems from trade and transportation, and global warming. This book, based on theoretical and empirical analysis, comes up with new and innovative policy options, including proposals related to the Kyoto protocol.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume consists of the 42 papers presented at the International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR2001),whichwasheldatINRIA(InstitutNationaldeRechercheen Informatique et en Automatique) in Sophia Antipolis, France, from September 3 through September 5, 2001. This workshop is the third of a series, which was started with EMMCVPR¿97, held in Venice in May 1997, and continued with EMMCVR¿99, which took place in York, in July 1999. Minimization problems and optimization methods permeate computer vision (CV), pattern recognition (PR), and many other elds of machine intelligence. The aim of the EMMCVPR workshops is to bring together people with research interests in this interdisciplinary topic. Although the subject is traditionally well represented at major international conferences on CV and PR, the EMMCVPR workshops provide a forum where researchers can report their recent work and engage in more informal discussions. We received 70 submissions from 23 countries, which were reviewed by the members of the program committee. Based on the reviews, 24 papers were - cepted for oral presentation and 18 for poster presentation. In this volume, no distinction is made between papers that were presented orally or as posters. The book is organized into ve sections, whose topics coincide with the ve s- sionsoftheworkshop:¿ProbabilisticModelsandEstimation¿,¿Image Modelling and Synthesis¿, ¿Clustering, Grouping, and Segmentation¿, ¿Optimization and Graphs¿, and ¿Shapes, Curves, Surfaces, and Templates¿. 676 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Annual Conference of the European Association for Computer Science Logic, CSL 2001, was held in Paris, Palais de la Mutualit¿ e, on September 10¿13, 2001. This was the 15th in a series of annual meetings, originally intended as International Workshops on Computer Science Logic, and the 10th to be held as the Annual Conference of the EACSL. The conference was organized by La- ratoire Sp¿ eci cation et V¿ eri cation (CNRS & ENS Cachan). The CSL 2001 program committee selected 39 of 91 submitted papers for presentation at the conference and publication in this proceedings volume. The submittedpapersoriginatedfrom26di erentcountries.Eachpaperwasrefereed by at least three reviewers. In addition to the contributed papers, the scienti c program of CSL 2001 - cluded three invited talks (Jean-Yves Girard, Peter O¿Hearn, and Jan Van den Bussche). This volume includes the papers provided by the invited speakers as well as the selected contributed papers. The topics of the papers include: linear logic, descriptive complexity, semantics, higher-order programs, modal logics, veri cation, automata, -calculus, induction, equational calculus, and constr- tive theory of types. I am most grateful to the members of the program committee and all the referees for their thorough work. I am also particularly indebted to Fran¿ cois Laroussinie, helped by Patricia Bouyer, Nicolas Markey, and Philippe Schn- belen, for the successful organization of this event. Special thanks to Emmanuel Fleury for the design of the beautiful ¿Notre-Dame de Paris¿ poster. 636 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book springs from the programme Quantized Vortex Dynamics and Sup- uid Turbulence held at the Isaac Newton Institute for Mathematical Sciences (University of Cambridge) in August 2000. What motivated the programme was the recognition that two recent developments have moved the study of qu- tized vorticity, traditionally carried out within the low-temperature physics and condensed-matter physics communities, into a new era. The rst development is the increasing contact with classical uid dynamics and its ideas and methods. For example, some current experiments with - lium II now deal with very classical issues, such as the measurement of velocity spectra and turbulence decay rates. The evidence from these experiments and many others is that super uid turbulence and classical turbulence share many features. The challenge is now to explain these similarities and explore the time scales and length scales over which they hold true. The observed classical aspects have also attracted attention to the role played by the ow of the normal uid, which was somewhat neglected in the past because of the lack of direct ow visualization. Increased computing power is also making it possible to study the coupled motion of super uid vortices and normal uids. Another contact with classical physics arises through the interest in the study of super uid vortex - connections. Reconnections have been studied for some time in the contexts of classical uid dynamics and magneto-hydrodynamics (MHD), and it is useful to learn from the experience acquired in other elds.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Buch. Condizione: Neu. Neuware -Gamma-ray astronomy began in the mid-1960s with balloon satellite, and, at very high photon energies, also with ground-based instruments. However, the most significant progress was made in the last decade of the 20th century, when the tree satellite missions SIGMA, Compton, and Beppo-Sax gave a completely new picture of our Universe and made gamma-ray astronomy an integral part of astronomical research. This book, written by well-known experts, gives the first comprehensive presentation of this field of research, addressing both graduate students and researchers. Gamma-ray astronomy helps us to understand the most energetic processes and the most violent events in the Universe. After describing cosmic gamma-ray production and absorption, the instrumentation used in gamma-ray astronomy is explained. The main part of the book deals with astronomical results, including the somewhat surprising result that the gamma-ray sky is continuously changing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Buch. Condizione: Neu. Neuware -is one of the most discussed themes in Supersymmetry modern particle there is no evidence for its in physics, although convincing existence yet nature. the andtheoretical ofthis Intriguedby uniqueness beauty symmetry, researchersinthe field areconfidentthat interest willcontinueinthe coming and even decades. In ofthemost recent fact, years many exciting develop ments inmathematical field and physics,quantum theory were stringtheory obtained the of using concepts supersymmetry. Stillthe most of resides inthe fascinatingaspect supersymmetry possibil that extendthe it celebratedstandardmodelof ity might elementaryparticle into accessible an to and physics energyrange present planned experiments: its thusbe 'aroundthe corner''. This so called experimentaldiscoverymight the ofthestan 'low energy' supersymmetry, supersymmetricgeneralization dard model of weakand is the central strong, electromagnetic interactions, ofthe book. subject present Nir iswellsuitedasanauthorofsuch book he is in Polonsky a as an expert the field his hasmade contributionsto its and,throughout important career, Inthe he tour' development. presentmonograph providesa 'guided through thisvast fieldof Ina heselects 'low energy' supersymmetry, convincing way the essential and a consistent account ofthe topics provides field, avoiding thediscussionof details. Hisclearand make unnecessary patientexplanations this book useful both for the researcher in the field and the experienced studentwho wants to take the first towards steps learning supersymmetry. All interested in this willwant have thisbook physicists to on their subject shelves. Bonn, Germany, 2001 Hans Peter Nilles July Preface Moor: point horse my where birds sing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Buch. Condizione: Neu. Neuware -The aim of this book is to provide both an introduction and a state-of-the-art report on research into magnetism and magnetic materials. Particular emphasis has been put on the contribution of synchrotron radiation in relevant experimental investigations. Graduate students and nonspecialists will benefit from the tutorial approach while specialists will find the latest results that round off the material presented in the lectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 402 pp. Englisch.

Buch. Condizione: Neu. Neuware -Among the concepts used to assess the sustainability of fiscal policy in a changing demographic environment, generational accounting has become the most prominent. This book gives a complete and up-to-date introduction to the theory and practice of the method. It reveals deficiencies of the original residual concept and discusses various measures of intergenerational redistribution based on the recent sustainability approach to generational accounting. An application using data on German public finances serves to provide an in-depth explanation and practical illustration of the technique. The study develops new procedures to evaluate the fiscal externalities of migration and the redistribution of net wealth among living generations resulting from Social Security reform. The book is an indispensable source of reference for analysts employing generational accounting and for those wishing to study intertemporal redistribution through fiscal policy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Buch. Condizione: Neu. Neuware -long to understand that the phenomena associated with the redistribution of interstitial atoms and structural vacancies in non stoichiometric compounds represent an excellent model of analogous phenomena arising in solid-state systems with mutual substitution of components. Therefore methods of analysis and description proposed and developed for nonstoichiometric compounds are applicable to a number of systems with substitutional disorder. In 1980, when we embarked on this work, ordering in nonstoichiometric compounds was assumed to be a rare and accidental effect, which hardly deserved close attention. Now many people understand that ordering represents a general regular phenomenon in all non stoichiometric compounds. Ordering effects, which were not even mentioned, or were referred to as something insignificant and negligible just 20 years ago, proved to be numerous and comparable in magnitude with the change of properties in the whole homogeneity interval of non stoichiometric compounds. Phase diagrams of binary systems of transition metals with carbon and nitrogen, which remained unchanged from the time they were plotted in 1950-60s and containing one or two nonstoichiometric compounds, were enriched with many ordered phases. Unfortunately, the accumulated experimental and theoretical knowledge has not so far been disseminated widely.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 628 pp. Englisch.