Springer dez 1999 (320 risultati)

Taschenbuch. Condizione: Neu. Neuware -The end of the second millenium is distinguished for the increasing interest in the field of critical care medicine, not only among physicians and clinical scientists but also on the part of the mass media. This is an interdisciplinary area of medicine drawing upon the specialties of anesthesiology, internal medicine and surgery, and relying upon the essential contributions and support from basic research. Advances in critical care medicine depend on the application of new technologies to the clinic, the full integration of computers and informatics, the continual training of physicians and technicians, and the consideration of ethical issues in the clinical setting. Within this complex panorama of complementary approaches and viewpoints, it is apparent that critical care medicine is one of the best examples of evidence-based medicine.…

Buch. Condizione: Neu. Neuware -Naturschutz entwickelt sich zunehmend zu einem gesellschaftsgestaltenden Aufgabenfeld, das an politischem Einfluß gewinnt. Der bislang dominierende Schutz von einzelnen Arten und Biotopen wird ergänzt um Konzepte und Strategien einer dauerhaft naturverträglichen Entwicklung. Dabei wird der Mensch als zentraler Bestandteil naturschützenden Handelns verstanden. Namhafte Autoren beschreiben hier Wege, wie die aktuellen Herausforderungen in Gegenwart und Zukunft vom Naturschutz aufgenommen und zum Wohle von Mensch und Natur gemeistert werden können. TOC:Innovative Ansätze zum Schutz der Natur - Visionen für die Zukunft.- Naturschutzleitbilder für Wald- und Forstlandschaften.- Naturschutzleitbilder für Stadt- und Industrielandschaften.- Schutz des Bodens - vernachlässigte Aufgabe des Naturschutzes.- Integrierte Konzepte zum Schutz und zur dauerhaft naturverträglichen Entwicklung mitteleuropäischer Landschaften.- Konzeption und Umsetzungsperspektiven für einen vorsorgenden Naturschutz auf regionaler Ebene.- Ökologisches und gesellschaftliches Monitoring als Grundlage vorsorgender Umweltpolitik.- Naturschutz ökonomisch gesehen.- Probleme im Umgang mit komplexen Umwelten.- Kommunikation - Perspektiven für den Naturschutz.- Warum tut sich der Naturschutz mit der Öffentlichkeit so schwer - Von der Ökotechnik zum Naturschutz durch nachhaltige Nutzung.- Erfolgsbedingungen von Naturschutzpolitik.- Strategisches Handeln als Innovation.- Naturschutz in Deutschland - Perspektiven, Ausblick und Entwicklungschancen. 252 pp. Deutsch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph presents the mathematical description and numerical computation of the high-frequency diffracted wave by an immersed elastic wave with normal incidence. The mathematical analysis is based on the explicit description of the principal symbol of the pseudo-differential operator connected with the coupled linear problem elasticity/fluid by the wedge interface. This description is subsequently used to derive an accurate numerical computation of diffraction diagrams for different incoming waves in the fluid, and for different wedge angles. The method can be applied to any problem of coupled waves by a wedge interface. This work is of interest for any researcher concerned with high frequency wave scattering, especially mathematicians, acousticians, engineers. 148 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Craft of Editing is about the craft of editing scientific writing. It is designed to help you - and all those who deal with scientific and technical writing by others in universities, government labs, businesses, or engineering firms - become more effective and more efficient at editing the proposals, theses, journal articles, and reports that cross your desk and which you must approve, grade, or review. Unlike other texts that try to present the gamut of all possible editing experiences, this guide focuses on the kind of editing that you as a manager or teacher perform with your pencil (or computer) and someone else's work. Written by the author of the best-selling Craft of Scientific Writing, the book deals with the subject in a refreshing way and includes a large number of enlightening examples and stories. The author, a former editor at several national laboratories, has taught scientific writing courses at, among others, the universities of Texas and Wisconsin, Sandia National Laboratory, and Virginia Polytechnic University. 172 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Using harmonic maps, non-linear PDE and techniques from algebraic geometry this book enables the reader to study the relation between fundamental groups and algebraic geometry invariants of algebraic varieties. The reader should have a basic knowledge of algebraic geometry and non-linear analysis. This book can form the basis for graduate level seminars in the area of topology of algebraic varieties. It also contains present new techniques for researchers working in this area. 152 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -What is, what was the human This book argues that the making of the human as it is now understood implies a renegotiation of the relationship between the self and the world. The development of Renaissance technologies of difference such as mapping, colonialism and anatomy paradoxically also illuminated the similarities between human and non-human. This collection considers the borders between humans and their imagined others: animals, women, native subjects, machines. It examines border creatures (hermaphrodites, wildmen and cyborgs) and border practices (science, surveying and pornography). 269 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The end of the second millenium is distinguished for the increasing interest in the field of critical care medicine, not only among physicians and clinical scientists but also on the part of the mass media. This is an interdisciplinary area of medicine drawing upon the specialties of anesthesiology, internal medicine and surgery, and relying upon the essential contributions and support from basic research. Advances in critical care medicine depend on the application of new technologies to the clinic, the full integration of computers and informatics, the continual training of physicians and technicians, and the consideration of ethical issues in the clinical setting. Within this complex panorama of complementary approaches and viewpoints, it is apparent that critical care medicine is one of the best examples of evidence-based medicine. 588 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Computer Science Conference, ICSC'99, held in Hong Kong, China, in December 1999.The 30 revised full papers presented together with 30 short papers were carefully reviewed and selected from 80 submissions. The book is divided into sections on information filtering, data mining, Web databases, user interfaces, modeling, information retrieval, workflow, applications, active networks, mobility and distributed databases, protocols, distributed systems, information retrieval and filtering, Web technologies, and e-commerce. 548 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a broad, analytical study of Bangladesh's relationship with India and Pakistan between 1975 and 1990. Bangladesh's role in South Asian international relations has tended to be overlooked and underestimated. The book reveals the complexity of the relationship between Bangladesh, India and Pakistan. 239 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Race and ethnicity continue to be important, if unwelcome, factors in modern politics. This is evident in East Africa: the ethnic factor is often dominant in multi-party elections, while in Rwanda and Burundi bloodshed and genocidal attacks have been linked to ethnic difference. This book examines the phenomena of race and ethnicity in general, but with particular reference to Africa, especially the East. The impact of non-indigenous groups is considered, together with ethnic differences between Africans. The relevance of tourism and religion is also examined. 181 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The globalization of markets has reinforced the interest in logistics. A constantly raising level of competition among companies stresses the need for improved logistic processes, in terms of cost reduction and increased service level. The book covers the main problems of distribution logistics: network design and location problems, tactical and operational planning of transport, internal logistics, and inventory management. The book contains a rigorous methodological approach with an emphasis on practical problems. Two survey papers provide references and open problems. 336 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -th This volume contains the proceedings of the 10 ISAAC conference (Tenth - nual International Symposium on Algorithms And Computation) held in Ch- nai, India. This year s conference attracted 71 submissions from as many as 17 di erent countries. Each submission was reviewed by at least three independent referees. After a week-long e-mail discussion, the program committee agreed to include 40 papers in the conference program. The high acceptance rate is clearly an indication of the quality of the papers received. We thank the program c- mittee members and the reviewers for their sincere e orts. We were fortunate to have three invited speakers this year, providing for a very attractive program: Kurt Mehlhorn (MPI, Saarbruck en, Germany), Eva T- dos (Cornell University, U.S.A.), and Kokichi Sugihara (Univ. of Tokyo, Japan). Moreover, the conference was preceded by a tutorial on a cutting-edge area, Web Algorithmics by Monika Henzinger (Compaq Systems Research Center, Palo Alto, U.S.A.) as a joint event with FST&TCS 99 (Foundations of Software Te- nology and Theoretical Computer Science, December 13-15, 1999, Chennai).Asa post conference event, a two-day workshop on Approximate Algorithms by R.Ravi (CMU, U.S.A.) and Naveen Garg (IIT, Delhi) was organized. We thank all the in- ted speakers and special event speakers for agreeing to participate in ISAAC 99. 468 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Microsofts Visual C++ 6.0 contains many new features to help developers build high performance applications. This book is ideal reading for those who want a quick introduction to Windows programming with Visual C++ and the Microsoft Foundation Class (MFC) library. Written in the inimitable style of the Essentials series, with lots of clear examples, this book is perfect for those who need to learn the maximum in the minimum time and to develop applications fast. Newcomers to the package will also find that Essential Visual C++ 6.0 fast will help them create applications - incorporating all the new features - quickly, effectively and productively.Topics covered include: the two key Windows classes: CFrameWnd and CWinApp; the MFC Library; message maps; controls; graphical output, and much more. 228 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The end of the second millenium is distinguished for the increasing interest in the field of critical care medicine, not only among physicians and clinical scientists but also on the part of the mass media. This is an interdisciplinary area of medicine drawing upon the specialties of anesthesiology, internal medicine and surgery, and relying upon the essential contributions and support from basic research. Advances in critical care medicine depend on the application of new technologies to the clinic, the full integration of computers and informatics, the continual training of physicians and technicians, and the consideration of ethical issues in the clinical setting. Within this complex panorama of complementary approaches and viewpoints, it is apparent that critical care medicine is one of the best examples of evidence-based medicine. 588 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Magnetic resonance cholangiopancreatography (MRCP) is a newly developed noninvasive diagnostic technique for sectional and projectional imaging of the pancreatobiliary tree. Requiring no contrast materials, MRCP provides high-quality 2-D and 3-D images that facilitate early diagnosis and treatment of pancreatobiliary diseases. The authors draw upon their experience of more than 3000 MRCP studies as they illustrate the usefulness of this important new diagnostic modality. This volume is a valuable resource with state-of-the-art information for practitioners, researchers, and others in the fields of gastroenterology, radiology, and surgery. 172 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The full title of the HCM network project behind this volume is VIM: A virtual multicomputer for symbolic applications. The three strands which bound the network together were parallel systems, advanced compilation techniques andarti cialintelligence witha commonsubstrate in the programminglanguage Lisp. The initial aim of the project was to demonstrate how the combination of these three technologies could be used to build a virtual multicomputer - an ephemeral, persistent machine of available heterogeneous computing resources - for large scale symbolic applications . The system would support a virtual processor abstraction to distribute data and tasks across the multicomputer, the actual physical composition of which may change dynamically. Our practical objective was to assist in the prototyping of dynamic distributed symbolic app- cations in arti cial intelligence using whatever resources are available (probably networked workstations), so that the developed program could also be run on more exotic hardware without reprogramming. What we had not foreseen at the outset of the project was how agents would unify the strands at the application level, as distinct from the system level o- lined above. It was as a result of the agent in uence that we held two workshops in May and December 1997 with the title 'Collaboration between human and arti cial societies'. The papers collected in this volume are a selection from presentations made at those two workshops. In each case the format consisted of a number of invited speakers plus presentations from the network partners. 324 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 13th European Conference on Object-Oriented Programming (ECOOP 99) brought some 500 participants to Lisbon from June 14th to June 18th, 1999. As usual, the workshops took place during the rst two days of the conference and gave authors and participants an opportunity to present and discuss the most topicalandinnovativeideasinobject-oriented technology.Theimportanceofthe workshopswithinthecontext ofECOOPisbecomingincreasinglyrecognised; for the rs t time inthe history of the conference, the number of workshopproposals for ECOOP 99 actually exceeded the slots availableand some had to be refused. In addition to the usual conference proceedings, Springer-Verlag has also undertaken, forthe pasttwo years, the publicationof a WorkshopReader, which bringstogether the results of the workshops, panels, and posters held during the conference. This book, the 4th ECOOP WorkshopReader, di ers from previous editions in two signi cant ways. Firstly, instead of simply reproducing the position - pers, it presents an overview of the main points made by the authors as well as a summary of the discussions that took place. Secondly, to make the text more uniformandreadable, allchapters havebeen written ina commonformat(using LaTeX lncs style les). This book was only possible thanks to the eo rt of each workshop organiser in particular, and each workshop, poster, and panel participant in general. The innovations introduced in this book implied additional work for the workshop organisers in terms of recording and summarising the discussions as well as adapting the written presentations to a common format. This extra e ort will certainly be appreciated by the readers. 416 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The study of plant development using molecular and genetic techniques is rapidly becoming one of the most active areas of research on flowering plants. The aim of this book is to present a sense of the accomplishments of the past and of the outstanding problems of the future in the study of plant development. An important feature of this book is the integration of results from molecular and genetic studies on various aspects of plant development in a cellular and physiological context. Of particular interest to readers will be the clear treatment of each landmark stage in the life cycle of plants such as seed germination, seedling growth, flowering, gametogenesis, pollen-pistil interactions, embryogenesis, fruit ripening, and seed and bud dormancy. The book also considers the development of individual plant organs such as the shoot, leaf, root and flowers as well as alternate developmental strategies of plants. 376 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -To all four of us, Carsten was the best possible friend and colleague. To Finn, he was a fellow student in the history of science for several years at the Niels Bohr Institute; to Relge, he was a welcome resource for personal and intellectual interac tion in an otherwise less than fertile environment for the history of science; Roger was Carsten's friend and advisor, not least in the development of the dissertation on which the present book is based; and as director of the Niels Bohr Archive, Erik was his main advisor in his historical work. Because he was the person closest to Carsten's work on his Ph. D. dissertation on the history of beta decay, on which the present book is based, it is only fitting that Erik stands as single author of the words in Carsten's memory at the very beginning of this book. Before his untimely death shortly after the completion of the Ph. D. disser tation, Carsten had himself plans to develop the dissertation into a book. Being a true perfectionist, he wanted to rework the manuscript substantively, especially with regard to relating it to the broader discussion among historians of science. 217 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -If you are sitting in a basement room without a view not to mention the bars in front of the windows and writing a book, then you better have good company. I had the best company you could imagine. Waltraud Hiltl, Katja Markert, Martin Romacker, Klemens Schnattinger, Andreas Klee and I shared very little o ce space, but plenty of chocolate, co ee, champagne, and enthusiasm for our research. North German coolness and creativity sprang mostly from my colleagues in the second oor. I learned a lot from and laughed a lot with Nobi Br oker, Susanne (Sue) Schacht, Manfred Klenner, Peter Neuhaus, Stefan Schulz, and Michael Strube. I thank my friend and partner Angela R osch for motivational and te- nical support and for living together with someone who cares about strange things, works too much and does not improve in any way over the years. Special thanks go to my family who sometimes wondered what was going on when I started talking enthusiastically about semantics , but they never let wane their encouragement for me. Kornel Marco provided great service by implementing parts of the system presented in this book. Joe Bush helped me polish up the text with his capabilities as an American native speaker. Remaining errors are entirely my fault and due to my lack of diligence. This book would not have seen the light of day without the dissertation grant through the Graduiertenkolleg Menschliche & Maschinelle Intelligenz funded by the Deutsche Forschungsgemeinschaft (DFG). 212 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This second edition updates the 'WHO Classification of Endocrine Tumours' proposed in 1980 and incorporates many new tumour entities and pertinent concepts that have developed since that time. It is the result of a collaborative effort between 9 pathologists from different countries, in addition to informal contributions and discussions by many other colleagues. In particular, efforts have been made to integrate into the fundamental backbone of the histologic classification a number of prognostic and functional parameters now essential for appropriate diagnosis and clinicopathologic evaluation of endocrine tumours. 176 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a gentle introduction to the physics of quantized fields and many-body physics. Based on courses taught at the University of Illinois, it concentrates on the basic conceptual issues that many students find difficult, and emphasizes the physical and visualizable aspects of the subject. While the text is intended for students with a wide range of interests, many of the examples are drawn from condensed matter physics because of the tangible character of such systems. The first part of the book uses the Hamiltonian operator language of traditional quantum mechanics to treat simple field theories and related topics, such as the Klein-Gordon equation, the Dirac equation, quantum electrodynamics, Fermi gases and liquids, and Bose condensates. The Feynman path integral is introduced in the second half where it is seen as an efficient generator Feynman rules and Ward identities, and is indispensable for understanding the connection between renormalization and critical phenomena, as well as non- perturbative phenomena. 288 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book describes general techniques for solving linear partial differential equations by dividing space into regions to which the equations are independently applied and then assembling a global solution from the partial ones. It is intended for researchers and graduate students involved in calculations of the electronic structure of materials, but will also be of interest to workers in quantum chemistry, electron microscopy, acoustics, optics, and other fields. Multiple scattering theory is, in essence, an extension of Huygens's principle to quantum mechanics. In classical physics, it was introduced by Rayleigh to study propagation of heat and electricity in inhomogeneous media. In quantum theory it has been used to study a number of different phenomena, including LEED spectra, defects in crystalline and disordered media, transport phenomena, photoemission spectroscopy, and electronic-structure calculations. The book begins with an intuitive approach to scattering theory and then turns to partial waves and a formal development of multiple scattering theory, with applications to the solid state (muffin-tin potentials and space-filling cells). The authors then present a variational derivation of the formalism and an augmented version of the theory. It concludes with a discussion of the relativistic formalism and a discussion of the Poisson equation. Appendices discuss Green's functions, spherical functions, Moller operators and the Lippmann-Schwinger equation, irregular solutions, and singularities in Green's functions. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With the rapid development in wireless-network and portable computing and communication devices, mobile users are expected to have access to information from anywhere at anytime in the near future, in the form of ubiquitous c- puting, a term coined by the late Mark Weiser of Xerox, PARC. Indeed, the emerging mobile technology will probably bring us the next wave of information revolution and change our society as we move into the next millennium. Before this vision can be realized, a number of challenges have to be overcome. Tra- tionally, network-based information systems have been developed under wired assumptions about the connectivity and topology of the underlying networks. To eliminate these limitations from wireless and mobile environments, research e orts are needed in networks, architecture, software infrastructure, and app- cation levels, in order to provide mobile data access over hybrid wireless and wired networks, which is the central theme of this conference. Theseproceedingscollectthetechnicalpapersselectedforpresentationatthe First International Conference on Mobile Data Access (MDA 99), held in Hong Kong,followingits returnto China,on December 16{17,1999.Theconferenceis heldin conjunctionwith the InternationalComputer Science Conference,the - ternational Conference on Real-time Computing Systems and Applications, and the Paci c Rim International Symposium on Dependable Computing, forming part of the International Computer Congress. 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Robotics is a highly interdisciplinary research topic, that requires integ- tion of methods for mechanics, control engineering, signal processing, planning, graphics, human-computer interaction, real-time systems, applied mathematics, and software engineering to enable construction of fully operational systems. The diversity of topics needed to design, implement, and deploy such systems implies that it is almost impossible for individual teams to provide the critical mass required for such endeavours.To facilitate interaction and progresson s- sor based intelligent robotics the organisation of inter-disciplinary workshops is necessarythrough which in-depth discussion can be used for cross dissemination between di erent disciplines. The Dagstuhlfoundation has organiseda number of workshopsonModelling and Integration of Sensor Based Intelligent Robot Systems. The Dagstuhl s- inars are all organised over a full week in a beautiful setting in the Saarland in Germany. The setting provides an ideal environment for in-depth presen- tions and rich interactions between the participants. This volume contains the papers presented during the third workshopheld over the period September 28 - October 2, 1998. All papers have been reviewed by one-three reviewers over a relativly short period. We wish to thank all the reviewers for their invaluable help in making this a high quality selection of papers. We gratefully acknowledge the support of the Schloss Dagstuhl Foundation and the sta at Springer-Verlag. Without their support the production of this volume would not have been possible. 340 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -After nearly half a century of research, the Holy Grail of the eld of art- cial intelligence (AI) remains a comprehensive computational model capable of emulating the marvelous abilities of animals, including locomotion, p- ception, behavior, manipulation, learning, and cognition. The comprehensive modeling of higher animals -humans and other primates -remains elusive; However, the research documented in this monograph achieves nothing less than a functional computer model of certain species of lower animals that are by no means trivial in their complexity. Reported herein is the 1996 ACM Doctoral Dissertation Award winning work of Xiaoyuan Tu, which she carried out in the Department of Computer Science at the University of Toronto. Tu presents 'arti cial shes', a rema- able computational model of familiar marine animals in their natural habitat. Originally conceived in the context of computer graphics, Tu's is to date the only PhD dissertation from this major sub eld of computer science (and the only thesis from a Canadian university) to win the coveted ACM award. 196 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Based on a lecture course, this text gives a rigorous introduction to nonlinear analysis, dynamical systems and bifurcation theory including catastrophe theory. Wherever appropriate it emphasizes a geometrical or coordinate-free approach allowing a clear focus on the essential mathematical structures. It brings out features common to different branches of the subject while giving ample references for more advanced or technical developments. 312 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This proceedings volume contains the contributions of the speakers who attended the NATO Advanced Research Workshop on 'Perspectives, Science and Technologies for Novel Silicon on Insulator Devices' held at the Sanatorium Pushcha OLema, Kyiv, th Ukraine from It' to 15 October 1998. This meeting was the second NATO Silicon on Insulator (SOl) Workshop to be held in st the Ukraine where the first meeting (Gurzuf, Crimea, 1 to 4th November 1994) focussed upon the physical and technical problems to be addressed in order to exploit the advantages of incorporating SOl materials in device and sensor technologies. On this occasion emphasis was placed upon firstly, promoting the use of SOl substrates for a range of novel device and circuit applications and secondly, addressing the economic issues of incorporating SOl processing technologies and device technologies within the framework of the resources available within the laboratories and factories of the Newly Independent States (NIS). The primary goal of both workshops has been the breaking of the barriers that inhibit closer collaboration between scientists and engineers in the NATO countries and the NIS. Indeed, it was a pleasure for attendees at the first meeting to renew acquaintances and for the first time attendees to make new contacts and enjoy the warm hospitality offered by our hosts in Kyiv. An outcome was the forging of new links and concrete proposals for future collaborations. 372 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The approach taken by this book is based on two beliefs. The first is that almost nobody understands calculus fully the first time around: multiple exposures are required. The second belief is that graphing calculators can be used to make the introduction of the theory of limits much easier for the students. This book presents the theoretical pieces of introductory calculus, using appropriate technology, in a style suitable to accompany almost any first calculus text. It offers a large range of increasingly sophisticated examples and problems to build understanding of the notion of limit and other theoretical concepts. It is aimed at students who will study fields in which the understanding of calculus as a tool is not sufficient. The text uses the 'spiral approach' of teaching, returning again and again to difficult topics, anticipating such returns across the calculus courses in preparation for the first analysis course. The book may be used as the 'content' text for a transition to upper level mathematics course. 236 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications. 180 pp. Englisch.…