Springer berlin heidelberg okt 2000 (73 risultati)

Taschenbuch. Condizione: Neu. Neuware -Dieses Buch vermittelt in einfacher und verständlicher Form die theoretischen und praktischen Grundlagen der qualitativen anorganischen Analyse und bietet darüber hinaus eine Fülle von Tipps und Tricks, die den Einstieg in die Praxis der analytischen Chemie erleichtern. Es richtet sich damit an alle Studenten und Auszubildenden, die im Laufe ihrer chemischen Ausbildung qualitative anorganische Analyse und die ihr zugrunde liegenden Zusammenhänge erlernen und verstehen wollen. Dabei wurden die Inhalte bewußt so gewählt, dass sich auch Nebenfach- und Lehramtsstudenten schnell und problemlos zurechtfinden. Das Buch zeichnet sich durch kompakte Darstellung der behandelten Sachverhalte, Beschränkung auf die gängigen Elemente, direkten Praxisbezug und übersichtliche Gestaltung aus. Es dient als Laboranleitung, Seminarbegleitung und Prüfungsvorbereitung. Die behandelten Nachweise, Reaktionen und Trennungen wurden alle in der Praxis erprobt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Deutsch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume of original research papers from the Israeli GAFA seminar during the years 1996-2000 not only reports on more traditional directions of Geometric Functional Analysis, but also reflects on some of the recent new trends in Banach Space Theory and related topics. These include the tighter connection with convexity and the resulting added emphasis on convex bodies that are not necessarily centrally symmetric, and the treatment of bodies which have only very weak convex-like structure. Another topic represented here is the use of new probabilistic tools; in particular transportation of measure methods and new inequalities emerging from Poincaré-like inequalities. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the first attempt of a systematic study of real Enriques surfaces culminating in their classification up to deformation. Simple explicit topological invariants are elaborated for identifying the deformation classes of real Enriques surfaces. Some of theses are new and can be applied to other classes of surfaces or higher-dimensional varieties. Intended for researchers and graduate students in real algebraic geometry it may also interest others who want to become familiar with the field and its techniques. The study relies on topology of involutions, arithmetics of integral quadratic forms, algebraic geometry of surfaces, and the hyperkähler structure of K3-surfaces. A comprehensive summary of the necessary results and techniques from each of these fields is included. Some results are developed further, e.g., a detailed study of lattices with a pair of commuting involutions and a certain class of rational complex surfaces. 284 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6 10November2000,followedbythe ReunionWo- shop on Implementation of Logic. Sixty- ve papers were submitted to LPAR 2000 of which twenty-six papers were accepted. Submissions by the program committee members were not - lowed. There was a special category of experimental papers intended to describe implementations of systems, to report experiments with implemented systems, orto compareimplementedsystems.Eachof thesubmissionswasreviewedbyat least three program committee members and an electronic program committee meeting was held via the Internet. In addition to the refereed papers, this volume contains full papers by two of the four invited speakers, Georg Gottlob and Micha el Rusinowitch, along with an extended abstract of Bruno Courcelle s invited lecture and an abstract of Erich Gr adel s invited lecture. WewouldliketothankthemanypeoplewhohavemadeLPAR2000possible. We are grateful to the following groups and individuals: the program and or- nizing committees; the additional referees; the local arrangements chair Teodor Knapik; PascalManoury, who was in chargeof accommodation; Konstantin - rovin,whomaintainedthe programcommittee Webpage;andBillMcCune,who implemented the program committee management software. 508 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Variational inequalities proved to be a very useful and powerful tool for in vestigation and solution of many equilibrium type problems in Economics, Engineering, Operations Research and Mathematical Physics. In fact, varia tional inequalities for example provide a unifying framework for the study of such diverse problems as boundary value problems, price equilibrium prob lems and traffic network equilibrium problems. Besides, they are closely re lated with many general problems of Nonlinear Analysis, such as fixed point, optimization and complementarity problems. As a result, the theory and so lution methods for variational inequalities have been studied extensively, and considerable advances have been made in these areas. This book is devoted to a new general approach to constructing solution methods for variational inequalities, which was called the combined relax ation (CR) approach. This approach is based on combining, modifying and generalizing ideas contained in various relaxation methods. In fact, each com bined relaxation method has a two-level structure, i.e., a descent direction and a stepsize at each iteration are computed by finite relaxation procedures. 200 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This edited volume contains refereed and improved versions of select papers 1 that were presented at the third IAPR Workshop on Graphics Recognition (GREC'99), held at Rambagh Palace in Jaipur, India, 26-27, September 1999. The workshop was organized by the TC10 (Technical Committee on Graphics Recognition) of the IAPR. Edited volumes from the previous two workshops in this series are also available as Lecture Notes in Computer Science (volumes 1072 and 1389). Graphics recognition is the study of techniques for computer interpretation of images of line drawings and symbols. This includes methods such as vectori- tion, symbol recognition, and table and chart recognition for applications such as engineering drawings, schematics, logic drawings, maps, diagrams, and musical scores. Some recently developed techniques include graphics-based information or drawing retrieval and recognition of online graphical strokes. With the recent advances in the eld, there is now a need to develop benchmarks for evaluating and comparing algorithms and systems. Graphics recognition is a growing eld of interest in the broader document image recognition community. The GREC'99 workshop was attended by fty- ve people from fteen co- tries. The workshop program consisted of six technical sessions. Each session began with a half-hour invited talk which was followed by several short talks. Each session closed with a half-hour panel discussion where the authors elded questions from the other participants. Several interesting new research directions were discussed at the workshop. 364 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the contributions to the 30th Hemophilia Symposium, 1999. The main topics are HIV infection, inhibitors in hemophilia, modern treatment of hemophilia, drug-induced thrombophilia and pediatric hemostasiology. The volume is rounded off by numerous free papers and posters on hemophilia and associated topics. 464 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This year, Brazil celebrates its 500 years of discovery. To mark this great event, the Brazilian Arti cial Intelligence (AI) community organized a special int- national joint conference putting together SBIA 2000 (the Brazilian AI Sym- sium) and IBERAMIA 2000 (the Ibero-American AI Conference). SBIA 2000 is the 15th conference of the SBIA conference series, which is the leading conference in Brazil for presentation of research and applications in Arti cial Intelligence. Since 1995, SBIA has become an international conference, with papers written in English, an international program committee, and p- ceedings published in Springer-Verlag's Lecture Notes in Arti cial Intelligence (LNAI) series. IBERAMIA 2000 is the 7th conference of the IBERAMIA conference series, which has been one of the most suitable forums for ibero-american AI rese- chers (from South and Central America, Mexico, Spain, and Portugal) to present their results. Following the SBIA and EPIA (Portuguese conference on AI) ex- riences, from IBERAMIA'98 on, it has also become an international conference, with proceedings published in Springer-Verlag's LNAI series. 516 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the sixth workshop on Job Sched- ing Strategies for Parallel Processing, which was held in conjunction with the IPDPS 2000 Conference in Cancun, Mexico, on 1 May 2000. The papers have been through a complete refereeing process, with the full version being read and evaluated by ve to seven members of the program committee. We would like to take this opportunity to thank the program committee, Andrea Arpaci-Dusseau, Fran Berman, Steve Chapin, Allen Downey, Allan Gottlieb, Atsushi Hori, Phil Krueger, Richard Lagerstrom, Virginia Lo, Reagan Moore, Bill Nitzberg, Uwe Schwiegelshohn, and Mark Squillante, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and nal revisions for this volume. Finally, we would like to thank the MIT Laboratory for Computer S- ence and the Computer Science Institute at the Hebrew University for the use of their facilities in the preparation of these proceedings. This was the sixth annual workshop in this series, which re ects the continued interest in this eld. The previous ve were held in conjunction with IPPS 95 through IPPS/SPDP 99. Their proceedings are available from Springer-Verlag as volumes 949, 1162, 1291, 1459, and 1659 of the Lecture Notes in Computer Science series. The last two are also available on-line from Springer LINK. 220 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -International specialists in Microbiology, Infectious Diseases, Internal Medicine, Cardiology Immunology, Pneumonology, Neurology and Epidemiology gathered to this workshop to discuss and enhance interdisciplinary knowledge on the possible etiological role of Chlamydia pneumoniae, a widespread human respiratory infection, in the pathogenesis of chronic inflammatory diseases with major public health impact such as atherosclerosis, cardiovascular disease, adult-onset asthma bronchiale, chronic obstructive pulmonary diseases, reactive arthritis, morbus Alzheimer and multiple sclerosis. Current deficits and goals in the standardisation of diagnostic tools, basic and applied research, design of epidemiological and monitoring of therapy studies were identified. A special feature of this book is the comprehensive collection of state-of-the-art review articles in the various fields with many references. 224 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book consists of six survey contributions that are focused on several open problems of theoretical fluid mechanics both for incompressible and compressible fluids. The first article 'Viscous flows in Besov spaces' by M area Cannone ad dresses the problem of global existence of a uniquely defined solution to the three-dimensional Navier-Stokes equations for incompressible fluids. Among others the following topics are intensively treated in this contribution: (i) the systematic description of the spaces of initial conditions for which there exists a unique local (in time) solution or a unique global solution for small data, (ii) the existence of forward self-similar solutions, (iii) the relation of these results to Leray's weak solutions and backward self-similar solutions, (iv) the extension of the results to further nonlinear evolutionary problems. Particular attention is paid to the critical spaces that are invariant under the self-similar transform. For sufficiently small Reynolds numbers, the conditional stability in the sense of Lyapunov is also studied. The article is endowed by interesting personal and historical comments and an exhaustive bibliography that gives the reader a complete picture about available literature. The papers 'The dynamical system approach to the Navier-Stokes equa tions for compressible fluids' by Eduard Feireisl, and 'Asymptotic problems and compressible-incompressible limits' by Nader Masmoudi are devoted to the global (in time) properties of solutions to the Navier-Stokes equa and three tions for compressible fluids. The global (in time) analysis of two dimensional motions of compressible fluids were left open for many years. 236 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The transduction of signals from the extracellular space across the plasma membrane into the interior of cells and ultimately to the nucleus, where in - sponse to such external signals the transcription of the genetic code is inf- enced,belongs to the most fundamental and important events in the regulation of the life cycle of cells. During recent years several signal transduction cascades have been elucidated which regulate,for instance,the growth and the prolife- tion of organisms as diverse as mammals, flies, worms and yeast. The general picture which emerged from these investigations is that nature employs a c- bination of non-covalent ligand/protein and protein/protein interactions together with a set of covalent protein modifications to generate the signals and transduce them to their destinations. The ligands which are recognized may be low molecular weight compounds like lipids, inositol derivatives, steroids or microbial products like cyclosporin. They may be proteins like, for instance, growth factors or intracellular adaptor proteins which carry SH2 or SH3 domains, and they may be specific DNA stretches which are selectively rec- nized by transcription factors. These and other aspects of biological signal transduction provide an open and rewarding field for investigations by scientists from various different dis- plines of biology,medical research and chemistry working in academic research institutions or in industry. 244 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 26th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2000) was held at Waldhaus Jakob, in Konstanz, Germany, on 15{ 17 June 2000. It was organized by the Algorithms and Data Structures Group of the Department of Computer and Information Science, University of K- stanz, and sponsored by Deutsche Forschungsgemeinschaft (DFG) and Univ- sit atsgesellschaft Konstanz. The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer science, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions for future research. The workshop looks back on a remarkable tradition of more than a quarter of a century. Previous Workshops have been organized in various places in Europe, and submissions come from all over the world. This year, 57 attendees from 13 di erent countries gathered in the relaxing atmosphere of Lake Constance, also known as the Bodensee. Out of 51 submis- ons, the program committee carefully selected 26 papers for presentation at the workshop. This selection re ects current research directions, among them graph and network algorithms and their complexity, algorithms for special graph cl- ses, communication networks, and distributed algorithms. The present volume contains these papers together with the survey presented in an invited lecture by Ingo Wegener (University of Dortmund) and an extended abstract of the invited lecture given by Emo Welzl (ETH Zuric h). 332 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Itisan honoranda pleasure topresentthiscollectionofpapersfromLCR2000,the fth workshop on Languages, Compilers, and Run Time Systems for Scalable Computers, held in Rochester, N.Y., U.S.A., on May 25 27, 2000. The LCR workshop is a bi annual gathering of computer scientists who develop software systems for parallel and distributed computers, held in the off year for the ACM Symposium on the Principles and Practice of Parallel Programming (PPoPP). This fth meeting was held in cooperation with ACM SIGPLAN on the University ofRochester campus. A totalof38six pageabstracts were submitted,ofwhich22 were chosen for presentation and publication. Each paper received a minimum of 3 reviews, with 122 reviews in total. There were 44 registered attendees. Local arrangements were coordinatedbyKristenWondrack,alongwithSara Sadick and Mary Albee, from the University of Rochester conference and events of ce, and JoMarie Carpenter from the University of Rochester department of computer science. Grigorios Magklis was the webmaster for the workshop. I would like to thank all of them for an excellent job, and in particular, Kristen Wondrack, for helping ensure an enjoyable workshop that also proceeded smoothly. I hope the participants were able to take advantage of some of the attractions in Upstate New York as well. 316 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Robot learning is an exciting and interdisciplinary eld. This state is re ected in the range and form of the papers presented here. Techniques that have - come well established in robot learning are present: evolutionary methods, neural networkapproaches, reinforcement learning; as are techniques from control t- ory, logic programming, and Bayesian statistics. It is notalbe that in many of the papers presented in this volume several of these techniques are employed in conjunction. In papers by Nehmzow, Grossmann and Quoy neural networks are utilised to provide landmark-based representations of the environment, but di erent techniques are used in each paper to make inferences based on these representations. Biology continues to provide inspiration for the robot learning researcher. In their paper Peter Eggenberger et al. borrow ideas about the role of n- romodulators in switching neural circuits, These are combined with standard techniques from arti cial neural networks and evolutionary computing to p- vide a powerful new algorithm for evolving robot controllers. In the nal paper in this volume Bianco and Cassinis combine observations about the navigation behaviour of insects with techniques from control theory to produce their visual landmarklearning system. Hopefully this convergence of engineering and biol- ical approaches will continue. A rigourous understanding of the ways techniques from these very di erent disciplines can be fused is an important challenge if progress is to continue. Al these papers are also testament to the utility of using robots to study intelligence and adaptive behaviour. 180 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Methode der Finiten Elemente ist ein flexibles numerisches Verfahren zur umfassenden Berechnung von komplizierten mechanischen Strukturen. Das Buch führt den Leser in die theoretischen Grundlagen der Methode ein, macht ihn mit den Eigenschaften dieses Approximationsverfahrens vertraut und befaßt sich ausführlich mit der Umsetzung in numerische Algorithmen und deren Zuverlässigkeit. Am Beispiel der Stabtragwerke werden alle grundlegenden Berechnungsschritte ausführlich erläutert. Das Buch ist entstanden aus einem Kurs des 'Weiterbildenden Studiums Bauingenieurwesen (WBBau)' der Universität Hannover, der sich an praktizierende Ingenieure wendet. Daraus ergibt sich auch die praxisnahe Darstellung ohne Aufgabe der mathematischen Exaktheit und ohne Einschränkung der Allgemeinheit der theoretischen Grundlagen. Das Buch wendet sich an Ingenieure in der Praxis und an Studenten an Technischen Universitäten und Fachhochschulen. Es eignet sich besonders gut zum Selbststudium. 320 pp. Deutsch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -International specialists in Microbiology, Infectious Diseases, Internal Medicine, Cardiology Immunology, Pneumonology, Neurology and Epidemiology gathered to this workshop to discuss and enhance interdisciplinary knowledge on the possible etiological role of Chlamydia pneumoniae, a widespread human respiratory infection, in the pathogenesis of chronic inflammatory diseases with major public health impact such as atherosclerosis, cardiovascular disease, adult-onset asthma bronchiale, chronic obstructive pulmonary diseases, reactive arthritis, morbus Alzheimer and multiple sclerosis. Current deficits and goals in the standardisation of diagnostic tools, basic and applied research, design of epidemiological and monitoring of therapy studies were identified. A special feature of this book is the comprehensive collection of state-of-the-art review articles in the various fields with many references.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The transduction of signals from the extracellular space across the plasma membrane into the interior of cells and ultimately to the nucleus, where in - sponse to such external signals the transcription of the genetic code is inf- enced,belongs to the most fundamental and important events in the regulation of the life cycle of cells. During recent years several signal transduction cascades have been elucidated which regulate,for instance,the growth and the prolife- tion of organisms as diverse as mammals, flies, worms and yeast. The general picture which emerged from these investigations is that nature employs a c- bination of non-covalent ligand/protein and protein/protein interactions together with a set of covalent protein modifications to generate the signals and transduce them to their destinations. The ligands which are recognized may be low molecular weight compounds like lipids, inositol derivatives, steroids or microbial products like cyclosporin. They may be proteins like, for instance, growth factors or intracellular adaptor proteins which carry SH2 or SH3 domains, and they may be specific DNA stretches which are selectively rec- nized by transcription factors. These and other aspects of biological signal transduction provide an open and rewarding field for investigations by scientists from various different dis- plines of biology,medical research and chemistry working in academic research institutions or in industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -WelcometoRotterdamandtotheInternationalConferenceSafecomp2000,on thereliability,safetyandsecurityofcriticalcomputerapplications. Thisalready marksthe19thyearoftheconference,showingtheundiminishedinterestthe topicelicitsfrombothacademiaandindustry. Safecomphasproventobean excellentplacetomeetandhavediscussions,andwehopethistrendcontinues thisyear. Peopleandorganisationsdependmoreandmoreonthefunctioningofc- puters. Whetherinhouseholdequipment,telecommunicationsystems,o ce- plications,banking,peoplemovers,processcontrolormedicalsystems,theoft- embeddedcomputersubsystemsaremeanttoletthehostingsystemrealiseits intendedfunctions. Theassuranceofproperfunctioningofcomputersin- pendableapplicationsisfarfromobvious. Themillenniumstartedwiththebug andthefullendorsementoftheframeworkstandardIEC61508. Thevariety ofdependablecomputerapplicationsincreasesdaily,andsodoesthevarietyof risksrelatedtotheseapplications. Theassessmentoftheserisksthereforeneeds re ectionandpossiblynewapproaches. Thisyear sSafecompprovidesabroad mixofpapersontheseissues,onprogressmadeindi erentapplicationdomains andonemergingchallenges. Oneofthespecialtopicsthisyearistransportandinfrastructure. Onewould behardpressedto ndabetterplacetodiscussthisthaninRotterdam. The reliability,safetyandsecurityofcomputersisofprominentimportancetoRott- dam,asafewexamplesillustrate. Itsharbourdependsonthereliablefunctioning ofcontainerhandlingsystems,onthesafefunctioningofitsradarsystems,and, asofrecently,onthesafeandreliablefunctioningoftheenormousstormsurge barrieratHoekvanHolland. AnewtopicforSafecompis medicalsystems. Theseprogressivelydepend on embedded programmableelectronicsystems. Experienceshowsthatthe medicalworldlacksthemethodsforapplyingthesesystemssafelyandreliably. Wewelcomeagroupofpeoplereadytodiscussthistopic,andhope,bydoing so,tocontributetothis eldofapplicationsofsafe,reliableandsecuresystems. SoftwareprocessimprovementalsorepresentsaspecialtopicofSafecomp 2000. Itprovedtobethemostfruitfulofthethreeintermsofsubmittedpapers. Thereweremanycontributionsfromahostofcountries,whichhadtobespread amongstdi erentsessiontopics. WewishtothanktheInternationalProgramCommittee smembers,41in total,fortheire ortsinreviewingthepapersandfortheirvaluableadvicein organisingthisconference. Wearealsogratefulfortheircontributiontod- tributingcallsforpapersandannouncements. Withouttheirhelptheburdenof organisingthisconferencewouldhavebeenmuchgreater. VI Preface Finally,letusonceagainwelcomeyoutoRotterdam,atrulyinternational cityandhometopeopleofmanynationalities. Wehopeyoutakethetimenot onlytoenjoythisconference,butalsoto ndyourwayaroundthecity,sinceit surelyhasmuchtoo er. FloorKoornneef MeinevanderMeulen Table of Contents InvitedPaper TheTenMostPowerfulPrinciplesforQualityin(Softwareand) SoftwareOrganizationsforDependableSystems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 TomGilb Veri cationandValidation EmpiricalAssessmentofSoftwareOn-LineDiagnostics UsingFaultInjection. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 JohnNapier,JohnMayandGordonHughes Speeding-UpFaultInjectionCampaignsinVHDLModels. . . . . . . . . . . . . . . . . . 27 B. Parrotta,M. Rebaudengo,M. SonzaReordaandM. Violante Speci cationandVeri cationofaSafetyShellwithStatechartsand ExtendedTimedGraphs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 JanvanKatwijk,HansToetenel,Abd-El-KaderSahraoui,EricAnderson andJanuszZalewski ValidationofControlSystemSpeci cationswithAbstractPlantModels. . . . 53 WenhuiZhang AConstantPerturbationMethodforEvaluation ofStructuralDiversityinMultiversionSoftware. . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 LupingChen,JohnMayandGordonHughes ExpertError:TheCaseofTrouble-ShootinginElectronics. . . . . . . . . . . . . . . . . 74 DenisBesnard TheSafetyManagementofData-DrivenSafety-RelatedS.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted of invited talks from Sir Tony Hoare FRS and Wolfram Schulte, along with 22 papers selected from 58 submissions. Applying formal methods may involve the modelling of di erent aspects of a system that are expressed through di erent paradigms. This motivates us to research the combination of di erent viewpoints of a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective with the innovative use of an existing notation. The integration of formal methods promises great bene ts to systems - delling and software development. Regardless of the approach taken, however, signi cant issues can arise in areas such as semantic integration, the tracta- lity of our notations, the integration of tool support, the integration of proof systems, consistency, and completeness. Issues arise equally in our conceptua- sation of systems at di erent levels of abstraction and the development of these conceptualisations through the process of re nement. 456 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'This book gives a solid understanding of the basic concepts and results of quantum mechanics including the historical background and philosophical questions.Many worked examples serve to illustrate the material while biographical and historical footnotes round off the content.' Zentralblatt MATH 508 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the First International Conference on Advances in Information Systems (ADVIS) held in Izmir (Turkey), 25{27 October, 2000. This conference was dedicated to the memory of Professor Esen Ozkarahan. He was great researcher who made an essential contribution to the development of information systems. This conference was organized by the Computer - gineering Department of Dokuz Eylul University of Izmir. This department was established in 1994 by the founding chairman Professor Ozkarahan and there he worked for the last ve years of his live. The main goal of the conference was to bring together researchers from all around the world working in di erent areas of information systems to share new ideas and to represent their latest results. We received 80 submissions from 30 countries. The Program Committee selected 44 papers for presentation at the conference. The invited and accepted contributions cover a large variety of topics: - neral aspects of information systems, data bases, data warehousing, computer networks, Internet technologies, content-based image retrieval, information - trieval, constraint programming and arti cial intelligence. The success of the conference was dependent upon the hard work of a large number of people. We gratefully acknowledge the members of the Program C- mittee who helped to coordinate the process of refereeing all submitted papers. We also thank all the other specialists who reviewed the papers. 484 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is devoted to recent developments in the field of rotating fluids, in particular the study of Taylor--Couette flow, spherical Couette flow, planar Couette flow, as well as rotating annulus flow. Besides a comprehensive overview of the current state of the art, possible future directions in this research field are investigated. The first part of this volume presents several new results in the classical Taylor--Couette system covering diverse theoretical, experimental and numerical work on bifurcation theory, influence of boundary conditions, counter-rotating flows, spiral vortices and many others. The second part focuses on spherical Couette flows, including isothermal flows, thermal convective motion, as well as magnetohydrodynamics in spherical shells. The remaining parts are devoted to Goertler vortices, rotating annulus flows, as well as superfluid Couette flows. The present book will be of interest to all researchers and graduate students working actively in the field. 464 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Department of Public Economics of the Rome University 'La Sapienza', in keeping with its primary task of promoting research, not only inside the Department, but also through an exchange of ideas with scholars from Italian and foreign research institutions, periodically organizes conferences and meetings on the important topics of economic theory and policy. Economic globalization clearly belongs to this category. Just consider the widespread effects and consequences of globalization, the range of tools that its analysis requires as well as its impact on the welfare of the populations involved, and the new difficulties it brings about in terms of methods and results of public and regulatory interventions. Therefore, on this very subject, the Department of Public Economics invited a group of scholars, who have been deeply involved with the questions raised by economic globalization, to a direct confrontation. The aim of this conference was to deepen awareness of the phenomenon and its specific impact on the advanced economies of our continent, as well as to formulate proposals for action on both the national and super-national level. This volume, which collects the contributions presented at this meeting, gives an account of the deliberations that took place at the Conference 'Globalization, Institutions and Social Cohesion' held at the Faculty of Economics of Rome University 'La Sapienza' from the 15th to the 17th of December 1998. 322 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work reported in this book describes the use of modeling languages and their associated automated analysis tools to specify and verify computing systems. Functional veric ation has become one of the principal costs in a modern computer design e ort. In addition,verica tion of circuit models, timing,power, etc., requires even more eo rt. FMCAD provides a venue for academic and - dustrial researchers and practitioners to share their ideas and experiences of using discrete mathematical modeling and veric ation. It is noted with interest by the conference chairmen how this area has grown from just a few people 15 years ago to a vibrant area of research, development, and deployment. It is clear that these methods are helping reduce the cost of designing computing systems. As an example of this potential cost reduction, we have invited David Russino of Advanced Micro Devices, Inc. to describe his veric ation of oating-point - gorithms being used in AMD microprocessors. The program includes 30 regular presentations selected from 63 submitted papers. 564 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The theory of stochastic processes originally grew out of efforts to describe Brownian motion quantitatively. Today it provides a huge arsenal of methods suitable for analyzing the influence of noise on a wide range of systems. The credit for acquiring all the deep insights and powerful methods is due ma- ly to a handful of physicists and mathematicians: Einstein, Smoluchowski, Langevin, Wiener, Stratonovich, etc. Hence it is no surprise that until - cently the bulk of basic and applied stochastic research was devoted to purely mathematical and physical questions. However, in the last decade we have witnessed an enormous growth of results achieved in other sciences - especially chemistry and biology - based on applying methods of stochastic processes. One reason for this stochastics boom may be that the realization that noise plays a constructive rather than the expected deteriorating role has spread to communities beyond physics. Besides their aesthetic appeal these noise-induced, noise-supported or noise-enhanced effects sometimes offer an explanation for so far open pr- lems (information transmission in the nervous system and information p- cessing in the brain, processes at the cell level, enzymatic reactions, etc.). They may also pave the way to novel technological applications (noise-- hanced reaction rates, noise-induced transport and separation on the na- scale, etc.). Key words to be mentioned in this context are stochastic r- onance, Brownian motors or ratchets, and noise-supported phenomena in excitable systems. 532 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume work mainly addresses undergraduate and graduate students in the engineering sciences and applied mathematics. Hence it focuses on partial differential equations with a strong emphasis on illustrating important applications in mechanics. The presentation considers the general derivation of partial differential equations and the formulation of consistent boundary and initial conditions required to develop well-posed mathematical statements of problems in mechanics. The worked examples within the text and problem sets at the end of each chapter highlight engineering applications. The mathematical developments include a complete discussion of uniqueness theorems and, where relevant, a discussion of maximum and miniumum principles. The primary aim of these volumes is to guide the student to pose and model engineering problems, in a mathematically correct manner, within the context of the theory of partial differential equations in mechanics. 620 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book describes the basic theory of microwave resonators and filters, and practical design methods for wireless communication equipment. The microwave resonators and filters described provide a basis for building more compact, lighter-weight mobile communication equipment with longer operating times. 180 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This up-to-date book gives an account of the present state of the art of numerical methods employed in computational fluid dynamics. The underlying numerical principles are treated in some detail, using elementary methods. The author gives many pointers to the current literature, facilitating further study. This book will become the standard reference for CFD for the next 20 years. 656 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume work mainly addresses undergraduate and graduate students in the engineering sciences and applied mathematics. Hence it focuses on partial differential equations with a strong emphasis on illustrating important applications in mechanics. The presentation considers the general derivation of partial differential equations and the formulation of consistent boundary and initial conditions required to develop well-posed mathematical statements of problems in mechanics. The worked examples within the text and problem sets at the end of each chapter highlight engineering applications. The mathematical developments include a complete discussion of uniqueness theorems and, where relevant, a discussion of maximum and miniumum principles. The primary aim of these volumes is to guide the student to pose and model engineering problems, in a mathematically correct manner, within the context of the theory of partial differential equations in mechanics. 698 pp. Englisch.…