springer berlin heidelberg jun 2000 (85 results)

Taschenbuch. Condition: Neu. Neuware - In dieser kurzgefaßten Anleitung werden die klinisch relevanten EKG-Veränderungen übersichtlich und praxisbezogen dargestellt. Anhand plausibler 'Grundregeln' wird am Beispiel vieler Original-EKG-Registrierungen exemplarisch der Weg zur richtigen elektrokardiographischen Diagnose gewiesen. Tabellarische Übersichten mit Leitliniencharakter erleichtern die Befundinterpretation. Knappe stichwortartige Texte bringen die EKG-Befunde auf den Punkt. Das Buch empfiehlt sich für alle im Not- und Nachtdienst mit akuten EKG-Befunden konfrontierten Ärzte. Es ist zudem ein hilfreicher Leitfaden für Studenten im praktischen Jahr, Ärzte im Praktikum sowie Assistenzärzte der inneren Medizin und angrenzender Fachgebiete.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Scattering theory is, roughly speaking, perturbation theory of self-adjoint operators on the (absolutely) continuous spectrum. It has its origin in mathematical problems of quantum mechanics and is intimately related to the theory of partial differential equations. Some recently solved problems, such as asymptotic completeness for the Schrödinger operator with long-range and multiparticle potentials, as well as open problems, are discussed. We construct also potentials for which asymptotic completeness is violated. This corresponds to a new class of asymptotic solutions of the time-dependent Schrödinger equation. Special attention is paid to the properties of the scattering matrix, which is the main observable of the theory. The book is addressed to readers interested in a deeper study of the subject. 192 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book systematically develops the nonlinear potential theory connected with the weighted Sobolev space Wm,pw( ), where the weight usually belongs to Muckenhoupt's class of Ap weights. These spaces occur as solutions spaces for degenerate elliptic partial differential equations. The Sobolev space theory covers results concerning approximation, extension, and interpolation, Sobolev and Poincare inequalities, Maz'ya type embedding theorems, and isoperimetric inequalities. In the chapter devoted to potential theory, several weighted capacities are investigated. Moreover, 'Kellogg lemmas' are established for various concepts of thinness. Applications of potential theory to weighted Sobolev spaces include quasi continuity of Sobolev functions, Poincare inequalities, and spectral synthesis theorems. 196 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These arethe proceedingsof the Fourth InternationalWorkshopon Cooperative Information Agents, held in Boston Massachusetts, USA, July 7-9, 2000. Cooperative information agent research and development focused originally onaccessingmultiple,heterogeneous,anddistributedinformationsources. Ga- ingaccesstothesesystems,throughInternetsearchengines,applica tionprogram interfaces, wrappers, and web-based screens has been an important focus of - operative intelligent agents. Research has also focused on the integration of this information into a coherent model that combined data and knowledge from the multiple sources. Finally, this information is disseminated to a wide audience, giving rise to issues such as data quality, information pedigree, source reliability, information security, personal privacy, and information value. Research in - operative information agents has expanded to include agent negotiation, agent communities, agent mobility, as well as agent collaboration for information d- covery in constrained environments. TheinterdisciplinaryCIAworkshopseriesencompassesa widevarietyoft- ics dealing with cooperative information agents. All workshop proceedings have been published by Springer as Lecture Notes in Arti cial Intelligence, Volumes 1202 (1997), 1435 (1998), and 1652 (1999), respectively. This year, the theme of the CIA workshop was ''The Future of Information Agents in Cyberspace', a very tting topic as the use of agents for information gathering, negotiation, correlation, fusion, and dissemination becomes ever more prevalent. We noted a marked trend in CIA 2000 towards addressing issues related to communities of agents that: (1) negotiate for information resources, (2) build robust ontologies to enhance search capabilities, (3) communicate for planning and problem so- ing, (4) learn and evolve based on their experiences, and (5) assume increasing degrees of autonomy in the control of complex systems. 684 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000,at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and fteen system descriptions were accepted. The accepted papers cover a variety of topics related to t- orem proving and its applications such as proof carrying code, cryptographic protocol veri cation, model checking, cooperating decision procedures, program veri cation, and resolution theorem proving. The program also included three invited lectures: 'High-level veri cation using theorem proving and formalized mathematics' by John Harrison, 'Sc- able Knowledge Representation and Reasoning Systems' by Henry Kautz, and 'Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice' by Carl Seger. Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ve workshops held in conjunction with CADE-17. 540 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Virtual Worlds 2000 is the second in a series of international scientific conferences on virtual worlds held at the International Institute of Multimedia in Paris La Défense (Pôle Universitaire Léonard de Vinci). The term 'virtual worlds' generally refers to virtual reality applications or experi ences. We extend the use of these terms to describe experiments that deal with the idea of synthesizing digital worlds on computers. Thus, virtual worlds could be de fined as the study of computer programs that implement digital worlds. Constructing such complex artificial worlds seems to be extremely difficult to do in any sort of complete and realistic manner. Such a new discipline must benefit from a large amount of work in various fields: virtual reality and advanced computer graphics, artificial life and evolutionary computation, simulation of physical systems, and more. Whereas virtual reality has largely concerned itself with the design of 3D immersive graphical spaces, and artificial life with the simulation of living organisms, the field of virtual worlds, is concerned with the synthesis of digital universes considered as wholes, with their own 'physical' and 'biological' laws. 332 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers contained in this volumewere presented at the 11thAnnual Sym- sium on CombinatorialPattern Matching, held June 21-23, 2000 at the Univ- sit edeMontr eal. They were selected from 44 abstracts submitted in response to the call for papers. In addition, there were invited lectures by Andrei Broder (AltaVista), Fernando Pereira (AT&T Research Labs), and Ian H. Witten (U- versity of Waikato). The symposium was preceded by a two-day summer school set up to - tract and train young researchers. The lecturers at the school were Greg Butler, ClementLam,andGusGrahne:BLAST!Howdoyousearchsequencedatabases , DavidBryant:Phylogeny,Ra aeleGiancarlo: Algorithmicaspectsof speech rec- nition, Nadia El-Mabrouk: Genome rearrangement,LaxmiParida: Flexib- pattern discovery, and Ian H. Witten: Adaptive text mining: inferring structure from sequences. Combinatorial Pattern Matching (CPM) addresses issues of searching and matching strings and more complicated patterns such as trees, regular expr- sions graphs, point sets, and arrays. The goal is to derive non-trivial combi- torial properties of such structures and to exploit these properties in order to achieve superior performance for the corresponding computational problems. Over recent years a steady ow of high-quality research on this subject has changed a sparse set of isolated results into a fully- edged area of algorithmics. 440 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This collection of conference papers describes state-of-the-art methodologies and algorithms used in the treatment of inverse problems, focusing on seismology and image processing. The papers also describe new general methodologies for analysis and solution of inverse problems by means of statistical and deterministic algorithms. The book gives a glimpse of recent techniques, many of which are still under development. 320 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of MPC 2000, the fth international c- ference on Mathematics of Program Construction. This series of conferences 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 on techniques that combine precision with concision, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci cation and transformation, programming paradigms, programming calculi, and progr- ming language semantics. The quality of the papers submitted to the conference was in general very high. However,the number of submissions has decreased compared to the pre- ous conferences in the series. Each paper was refereed by at least ve and often more committee members. In order to maintain the high standards of the c- ference the committee took a stringent view on quality; this has meant that, in some cases, a paper was rejected even though there was a basis for a good c- ference or journal paper but the submitted paper did not meet the committee's required standards. In a few cases a good paper was rejected on the grounds that it did not t within the scope of the conference. 272 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 ninth international workshop on logic-based program synthesis and transformation (LOPSTR'99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR'99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR's topics: synthesis, specialization, transformation, analysis, and veri cation. Ve- cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming. 328 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 21st International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressintheapplicationandtheoryofPetrinets. Typically, the conferenceshave 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- ingcommittee withthe followingmembers:G.Balbo(Italy),J.Billlington(A- tralia),G.De Michelis(Italy),C.Girault(France),K.Jensen(Denmark),S.- magai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Otheractivitiesbeforeandduringthe2000conferenceincludedtoolpresen- tions and demonstrations, a meeting on Interchange Formats', extensive int- ductorytutorials,twoadvancedtutorialsonHardwareDesign'andTimedand Hybrid Automata', and two workshops on Software Engineering' and Pr- tical Use of High-Level Nets'. The tutorial notes and workshop proceedings are not published in these proceedings, but copies are available from the organisers. The 2000 conference was organised by the CPN Group at the University of Aarhus, Denmark. We would like to thank the organisers (see next page) and their teams. WewouldliketothankverymuchallthosewhosubmittedpaperstothePetri net conference.We receiveda totalof 57submissions from 20di erent countries. This volume comprises the papers that were accepted for presentation. Invited lectures were given by Jordi Cortadella, Philippe Darondeau, Gregor Engels, Serge Haddad, Kim Guldstrand Larsen, and Ole Lehrmann Madsen. 504 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains lectures given at the Saint-Flour Summer School of Probability Theory during 17th Aug. - 3rd Sept. 1998. The contents of the three courses are the following:- Continuous martingales on differential manifolds.- Topics in non-parametric statistics.- Free probability theory.The reader is expected to have a graduate level in probability theory and statistics. This book is of interest to PhD students in probability and statistics or operators theory as well as for researchers in all these fields. The series of lecture notes from the Saint-Flour Probability Summer School can be considered as an encyclopedia of probability theory and related fields. 372 pp. Englisch, Französisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 11th International Conference on Rewriting Techniques and Applications. The conference was held July 10-12, 2000,attheUniversityofEastAnglia,Norwich,U. K. Itisthemajorforumfor thepresentationofresearchonalltheoreticalandpracticalaspectsofrewriting . InformationaboutpreviousRTAconferencescanbefoundat loria. fr/rta/ andinformationaboutthegeneralresearchareaofrewritingat loria. fr/vigneron/RewritingHP/ Theprogramcommitteeselected18papers,includingthreesystemdescr- tions, from a total of 44 submissions. In addition the program included invited talksbyJoseMeseguer,DaleMiller,andAndreiVoronkov;andaninvitedt u- rialbySophieTison. ManypeoplecontributedtoRTA-2000andIwouldliketoexpressmysincere thanks to all of them. I am grateful to the program committee members and the external referees for reviewing the submissions and maintaining the high standard of the RTA conferences; to Richard Kennaway, who was responsible for the local arrangements for the conference; and to Jos e Meseguer, the RTA publicitychair. ItisaparticularpleasuretothankAshishTiwariforhisextensive assistance in many of my tasks as the program chair. Finally, I wish to thank the School of Information Systems at the University of East Anglia both for nancialsupportandforprovidingthefacilities. May2000 LeoBachmair VI Organization ConferenceOrganization ProgramChair LeoBachmair(StonyBrook) ProgramCommittee FranzBaader(Aachen) GillesDowek(Rocquencourt) NeilGhani(Leicester) JuergenGiesl(Albuquerque) Jean-PierreJouannaud(Orsay) ChrisLynch(Potsdam,NewYork) AartMiddeldorp(Tsukuba) MitsuhiroOkada(Tokyo) FemkevanRaamsdonk(Amsterdam) AlbertRubio(Barcelona) YoshihitoToyama(Tatsunokuchi) RakeshVerma(Houston) LocalArrangementsChair RichardKennaway(Norwich) PublicityChair Jos eMeseguer(MenloPark) RTAOrganizingCommittee HubertComon(Cachan) TobiasNipkow(Munich) NachumDershowitz,chair(Urbana) MichaelRusinowitch(Nancy) Jos eMeseguer(MenloPark) YoshihitoToyama(Tatsunokuchi) External Referees VII ExternalReferees Y. Akama T. Aoto T. Arts F. Blanqui R. Bloo A. Boudet J. Chrzaszcz E. Contejean D. Dougherty K. Erk M. Fernandez W. Fokkink G. Godoy B. Gramlich T. Ida F. Jacquemard S. Kahrs Y. Kaji D. Kesner K. Kusakari F. Lang C. Luth M. Leucker J. Levy R. Matthes R. Mayr B. Monate J. J. MorenoNavarro M. Nagayama P. Narendran J. Niehren R. Nieuwenhuis K. Ogata E. Ohlebusch S. Okui C. -H. L. 292 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -After a decade of major technical and theoretical advancements in the area, the scope for exploitation of database technology has never been greater. Neither has the challenge. This volume contains the proceedings of the 17th British National Conference on Databases (BNCOD 2000), held at the University of Exeter in July 2000. In selecting the quality papers presented here, the programme committee was p- ticularly interested in the demands being made on the technology by emerging application areas, including web applications, push technology, multimedia data, and data warehousing. The concern remains the same: satisfaction of user - quirements on quality and performance. However, with increasing demand for timely access to heterogeneous data distributed on an unregulated Internet, new challenges are presented. Our three invited speakers develop the theme for the conference, considering new dimensions concerning user requirements in accessing distributed, hete- geneous information sources. In the rst paper presented here, Gio Wiederhold re ects on the tension between requirements for, on the one hand, precision and relevance and on the other completeness and recall in relating data from heterogeneous resources. In resolving this tension in favour of the former, he maintains that this will fundamentally a ect future research directions. Sharma Chakravarthy adds another dimension to the requirement on inf- mation, namely timeliness. He shares a vision of just-in-time information de- vered by a push technology based on reactive capabilities. He maintains that this requires a paradigm shift to a user-centric view of information. 264 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) held on July 3 7, 2000 in St Andrews, Scotland. This conference succeeded other meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St Goar (1995), Terrasini (1996), Pont-` a-Mousson (1997), Oisterwijk (1998) and Saratoga Springs (1999). Tableaux and related methods, such as Gentzen calculi, are convenient and e ective for automating deduction not just in classical logic but also in various non-standard logics. Examples taken from this meeting alone include temporal, description, non-monotonic, tense, modal, epistemic, fuzzy and intuitionistic - gics. Areas of application include veri cation of software and computer systems, deductive databases, knowledge representation and system diagnosis. The c- ference brought together researchers interested in all aspects theoretical fo- dations, implementation techniques, systems development, experimental com- rison and applications of the automation of reasoning by means of tableaux or related methods. 456 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Learning Classifier Systems (LCS) are amachine learning paradigm introduced by John Holland in 1976. They are rule-based systems in which learning is viewed as a process of ongoing adaptation to a partially unknown environment through genetic algorithms and temporal difference learning. This book provides a unique survey of the current state of the art of LCS and highlights some of the most promising research directions. The first part presents various views of leading people on what learning classifier systems are. The second part is devoted to advanced topics of current interest, including alternative representations, methods for evaluating rule utility, and extensions to existing classifier system models. The final part is dedicated to promising applications in areas like data mining, medical data analysis, economic trading agents, aircraft maneuvering, and autonomous robotics. An appendix comprising 467 entries provides a comprehensive LCS bibliography. 364 pp. Englisch.

Taschenbuch. Condition: 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 Software Reuse, ICSR-6, held in Vienna, Austria, in June 2000.The 26 revised full papers presented were carefully reviewed and selected from numerous submissions. The book is divided into topical sections on generative reuse and formal description languages, object-oriented methods, product line architectures, requirements reuse and business modeling, components and libraries, and design patterns. 468 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Many theoretical and experimental studies have shown that a multiple classi er system is an e ective technique for reducing prediction errors [9,10,11,20,19]. These studies identify mainly three elements that characterize a set of cl- si ers: Therepresentationoftheinput(whateachindividualclassi erreceivesby wayofinput). Thearchitectureoftheindividualclassi ers(algorithmsandparametri- tion). The way to cause these classi ers to take a decision together. Itcanbeassumedthatacombinationmethodise cientifeachindividualcl- si ermakeserrors inadi erentway ,sothatitcanbeexpectedthatmostofthe classi ers can correct the mistakes that an individual one does [1,19]. The term weak classi ers refers to classi ers whose capacity has been reduced in some way so as to increase their prediction diversity. Either their internal architecture issimple(e.g.,theyusemono-layerperceptronsinsteadofmoresophisticated neural networks), or they are prevented from using all the information available. Sinceeachclassi erseesdi erentsectionsofthelearningset,theerrorcorre- tion among them is reduced. It has been shown that the majority vote is the beststrategyiftheerrorsamongtheclassi ersarenotcorrelated.Moreover, in real applications, the majority vote also appears to be as e cient as more sophisticated decision rules [2,13]. Onemethodofgeneratingadiversesetofclassi ersistoupsetsomeaspect ofthetraininginputofwhichtheclassi erisrather unstable. In the present paper,westudytwodistinctwaystocreatesuchweakenedclassi ers;i.e.learning set resampling (using the Bagging approach [5]), and random feature subset selection (using MFS , a Multiple Feature Subsets approach [3]). Other recent and similar techniques are not discussed here but are also based on modi cations to the training and/or the feature set [7,8,12,21]. 424 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ACISP 2000, the Fifth Australasian Conference on Information Security and Privacy, was held in Brisbane, Australia, 10 12 July, 2000. The conference was sponsored by the Information Security Research Centre at Queensland Univ- sity of Technology, the Australian Computer Society, Telstra, Boeing Australia Limited, SecureGate Limited, and RSA Security Pty Ltd. We are grateful to all these organizations for their support of the conference. The conference brought together researchers, designers, implementors, and users of information security systems. The aim of the conference is to have a series of technical refereed and invited papers to discuss all di erent aspects of information security. The program committee invited seven distinguished sp- kers: Mike Burmester, G. R. Blakley, Bob Blakley, Brian Denehy, Roger Lyle, John Snare, and Alan Underwood. Mike Burmester from Royal Holloway C- lege,UniversityofLondonpresentedapaperentitled ASurveyofKeyDistri- tion ; G. R. Blakley from Texas A&M University and Bob Blakley from the IBM Tivoli Security Business Unit presented a paper entitled All Sail, No Anchor, I: Cryptography, Risk, and e-Commerce ; Brian Denehy from SecureGate Limited presented a paper entitled Secure Networks or Network Security Approaches toBoth ;RogerLylefromStandardsAustraliaandJohnSnarefromTelstrap- sented a paper entitled Perspectives on Australia s New Information Security Management Standard ; and Alan Underwood from the Australian Computer Societypresentedapaperentitled ProfessionalEthicsinaSecurityandPrivacy Context The Perspective of a National Computing Society . There were 81 technical papers submitted to the conference from an int- national authorship. These papers were refereed by the program committee and 37 papers were accepted for the conference. 504 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Developments in network and switching technologies have made telecommu- cations systems and services far more data intensive. This can be observed in many telecommunications areas, such as network management, service mana- ment, and service provisioning. For example, in the area of network management the complexity of modern networks leads to large amounts of data on network topology, con guration, equipment settings, etc. In addition, switches generate large amounts of data on network tra c, faults, etc. In the area of service ma- gement it is the registration of customers, customer contacts, service usage (e.g. call detail records (CDRs)) that leads to large databases. For mobile services there is the additional tracking and tracing of mobile equipment. In the area of service provisioning there are the enhanced services like for example UMTS, the next generation of mobile networks, but also the deployment of data intensive services on broadband networks such as video-on-demand, high quality video conferencing, and e-commerce infrastructures. This results in very large databases growing at high rates especially in new service areas. The integration of network control, network management, and network administration also leads to a situation where database technology gets into the core of the network (e.g. in architectures like TMN, IN, and TINA). 224 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 2nd International Conference on Product Focused Software Process - provement(PROFES2000)continuedthesuccessofthePROFES 99conference. It was organized in Oulu, Finland, June 20-22, 2000. The PROFES conference has its roots in the PROFES Esprit project , but by 1999 it had already evolved into a full- edged general purpose conference gaining wide-spread international popularity. ThemainthemeofPROFES2000wasprofessionalsoftwareprocessimpro- ment (SPI) motivated by product and service quality needs. SPI is facilitated by softwareprocessassessment,softwaremeasurement,processmodeling, andte- nology transfer and has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice aswellasrelevantresearchresultsfromacademia.Thepurposeoftheconference is to bring into the light the most recent ndings and results of the area and to stimulate discussion between the researchers, experienced professionals, and technology providers for SPI. WiththetremendousgrowthofInternetandtelecommunicationapplications, it is ever more important to emphasize the quality in softwareproducts and p- cesses.With plenty of new people andnew software-basedapplications emerging at a very fast pace, it is easy to forget the importance of product and process improvement,and to repeat the same mistakesalreadymade in moretraditional software development. The PROFES conference has addressed this issue by - plicitly enhancing the conferencetopicstowardsInternetandtelecommunication applications. Another important addition is the Learning Software Organizations (LSO2000) workshop, which was organized in conjunction with PROFES 2000. TheLSOworkshopseriesisacommunicationforumthataddressesthe questions of organizational learning from a software point of view and builds upon exi- ing work on knowledge management and organizational learning. LSO comp- mented the PROFES program encouraging fruitful discussions and information exchange between the participants of PROFES 2000 and LSO 2000. 444 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the third edition a number of minor misprints that appeared in the second edition have have been corrected. Furthermore, 17 new problems have been added, at the end of chapters 6, 8, 9, 11, 12, 13, and 14. The answers to these 17 problems have not been listed in the 'Answers' section at the end of the book. This will permit the problems to be used as hand-in problems or perhaps in mid-term exams. JMK EUR9 PGH Copenhagen May 2000 Preface to the Second Edition In the second edition, a number of misprints that appeared in the first edition have been corrected. In addition to this, we have made improvements based on the experience gathered in the use of the first English edition of the book in the introductory course in physics at the University of Copenhagen. A chapter introducing nonlinear dynamics has been added. The purpose of this chapter is to provide supplementary reading for the students who are interested in this area of active research, where Newtonian mechanics plays an essential role. The students who wish to dig deeper, should consult texts dedicated to the study of nonlinear dynamical systems and chaos. The literature list at the end of this book contains several references for the topic. 472 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Communities are groupings of distributed objects that are capable of com- nicating, directly or indirectly, through the medium of a shared context. To support communities on a wide scale will require developments at all levels of computing, from low-level communication protocols supporting transparent - cess to mobile objects, through to distributed operating systems, through to high-level programming models allowing complex interaction between objects. This workshop brought together researchers interested in the technical issues of supporting communities. This workshop was the third in the DCW series. The rst two, entitled D- tributed Computing on the Web, took place in 1998 and 1999 at the University of Rostock, with proceedings published by the University of Rostock Press. This year, the workshop also incorporated the ISLIP (International Symposium on Languages for Intensional Programming) symposium. The ISLIP symposia have taken place every year since 1988, and have led to two volumes published by World-Scienti c (Intensional Programming I, 1995, and Intensional Progr- ming II, 2000). While the two conferences emerged from di erent needs, their focus merged to such an extent that it became clear that a joint conference promised to o er great opportunities. 216 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Fifth International Conference on Reliable Software Technologies, Ada- Europe 2000, took place in Potsdam, Germany, June 26 30, 2000. It was - ganized by Ada Deutschland and sponsored by Ada-Europe, the European f- eration of national Ada societies, in cooperation with ACM SIGAda and the Gesellschaft fu r Informatik (GI). We gratefully acknowledge additional spons- ship by the DFG, the German Research Foundation, and by the Forschungsz- trum Karlsruhe. This year s conference marked the 20th anniversary of consecutive annual Ada-Europe conferences and the fth year of a conference focusing on the g- eral area of software reliability, in which Ada excels as one of the supporting technologies. The Y2K problem has put the importance of software reliability into the limelight of media and political attention. Luckily, the dire predictions about potentially disastrous failures of critical systems did not prove true at the turn of the year, most likely because an incredible e ort was made to update existing software, modernize systems, check-out backup mechanisms, and so on. One cannot but wonder how much more reliable the software could have been if only apercentageofthefundsspentontheY2Kproblemhadgoneintoenhancements of reliability during the development and maintenance of the software. 320 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Although many studies have established the connections of the inferior olivary complex, there have been relatively few studies on the morphology of this nuclear complex. On the base of the similar topographic relations and connections with the cerebellum, the inferior olivary complex is regarded as homologous in all vertebrates. We present comprehensive light microscopical qualitative and quantitative analysis of the inferior olivary complex of different representatives of submammalian and mammalian vertebrates, including human. A detailed comparison was made at the structural level. Cytoarchitecture and cellular morphology of the inferior olivary complex have been studied in several submammalian (carp, frog, lizard, tortoise, pigeon) and mammalian species (rat, cat, and for the first time ground squirrel Citellus citellus L), including human. 100 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This collection of conference papers describes state-of-the-art methodologies and algorithms used in the treatment of inverse problems, focusing on seismology and image processing. The papers also describe new general methodologies for analysis and solution of inverse problems by means of statistical and deterministic algorithms. The book gives a glimpse of recent techniques, many of which are still under development.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Many of the ISO observers who assembled for this workshop at Ringberg c- tle met for the third time in the Bavarian Alps. At two previous meetings in 1989 and 1990 surveys were only a minor topic. At that time we were excited by the discoveries of the IRAS survey mission and wanted to follow it up with pointed observations using an observatory telescope equipped with versatile instruments. With the rapid development of detector arrays and stimulated by ISO¿s Observing Time Allocation Committee, however, surveys eventually became an issue for the upcoming mission. In a review paper on ¿Infrared S- veys - the Golden Age of Exploration¿ given at an IAU meeting in 1996, Chas Beichman already mentioned that there are ISO surveys. They were at the bottom of his hit list, while the winners were future space missions (Planck, SIRTF, etc. ) and ground-based surveys in preparation (Sloan, 2MASS, DE- NIS, etc. ). He organized his table according to the relative explorable volume, calculated from the solid angle covered on the sky and the maximum distance derived from the detection sensitivity. Clearly, with this gure of merit, ISO, as a pointed observatory, is rated low. Applying the classical de nition of a survey, i. e. to search in as large a volume as possible for new or rare objects and/or study large numbers of objects of various classes in order to obtain statistical properties, ISO was indeed limited.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 452 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a modern textbook that guides the reader through the theory and practice of satellite orbit prediction and determination. Starting from the basic principles of orbital mechanics, it covers elaborate force models as well as precise methods of satellite tracking. Emphasis is on numerical treatment and a multitude of algorithms adopted in modern satellite trajectory computation are described in detail. The accompanying CD-ROM includes all source codes written in C++ and relevant data files for applications. The result is a powerful and unique spaceflight dynamics library which allows easy software extensions by the user. An extensive collection of Internet resources is provided through WWW hyperlinks to detailed and frequently updated online information on spaceflight dynamics. The book addresses students, scientists working in the field of navigation, geodesy and spaceflight technology and satellite engineers and operators focusing on spaceflight dynamics. 384 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Static Analysis is a research area aimed at developing principles and tools for high-performance implementation and veri cation of programming languages. The seriesofStatic AnalysisSymposiais aforumforpresentationanddiscussion of advances in the area. ThisvolumecontainsthepaperspresentedattheSeventhInternationalStatic Analysis Symposium (SAS 2000) which was held on June 29 July 1, 2000 at the University of California, Santa Barbara. Previous symposia were held in Venice, Pisa, Paris, Aachen, Glasgow, and Namur. The program committee met at Purdue University in March 2000 and - lected 20 papers from 52 submissionson the basis of four reviewsper paper. The program committee members were not allowed to author or co-author a subm- sion. In addition to the 20 contributed papers, this volume contains two invited papers by Daniel Jackson and Andreas Podelski. At the symposium, there was also an invited talk by Matthias Felleisen and a tutorial by Roy Dz-ching Ju. Special thanks to Wanjun Wang for helping me from start to nish. April 2000 Jens Palsberg General Chair David Schmidt Kansas State University, USA Program Committee Patrick Cousot Ecole Normale Sup erieure, Paris Gilberto Fil e Padova University, Italy Roberto Giacobazzi Universit` a di Verona, Italy C. Barry Jay University of Technology, Sydney Thomas Jensen IRISA/CNRS, France Neil D. 464 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Le but de cet ouvrage est de présenter un panorama de différentes méthodes mathématiques utilisées pour la modélisation de phénomènes issus du vivant. Nous avons voulu être le plus large possible, incluant ainsi à la fois les méthodes déterministes (systèmes dynamiques, théorie des jeux) et les méthodes stochastiques (processus aléatoires, statistiques). Chaque modèle mathématique proposé est accompagné d'un exemple concret éclairant la modélisation retenue. 172 pp. Französisch.