Springer sep 1999 (383 risultati)
Lingua: Inglese
Editore: Springer Customer Service Center Gmbh Sep 1999, 1999
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 128,37
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - List of Figures Acknowledgements List of Abbreviations Maps Introduction PART I: THEORETICAL REMARKS: THE NATURE OF CONFLICT AND PEACE The Paris Plan and its Failure Towards a New Explanation of the Collapse of the Paris Plan Peace in the Post-Cold War Order PART II: THE 1993 ELECTIONS: PEACE AS…NEW SOCIAL CONTRACT Tous Les Chemins Ménent a Paris The Paris Plan L'Après-UNTAC PART III: BEYOND THE 1993 ELECTIONS: TOWARDS A NEW MODEL OF INTERNATIONAL CONFLICT RESOLUTION A New Explanation of the Failure of the Paris Plan The Lessons of the Cambodian Peace Process Thinking about Peace in the Emerging Global Order PART IV: THE 1988 ELECTIONS: GLOBAL GOVERNANCE AND THE FAILURE OF INTERNATIONAL CONFLICT RESOLUTION The Dynamics of the 1998 Elections Global Governance and the Nature of International Conflict Resolution Notes Bibliography Index.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 111,50
EUR 63,41 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - The process of producing components to final net-shapes is fast becoming a desirable goal for metal working industries. This is due to a combination of factors such as the development of new materials and escalating energy costs. Computer Applications in Near Net-Shape Operations addresses the de…sign, analysis and simulation of near net-shape operations using some of the most advanced computer techniques and tools available. Topics covered include: Sheet metal forming operations: progressive stamping, fine blanking, nesting, flat pattering, bending and nibbling; Die design, construction and NC programming of wire EDM; Bulk metal forming processes such as cold upsetting and close-die forging; Injection mould design, analysis and simulation; Computer-aided design of CNC machines for near net-shape operations; Intelligent progressive die design system IPD. This collection of the latest developments from leading experts in the field will be of interest to practising engineers, graduate students and researchers of metal forming, stamping, mould and die design.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 129,05
EUR 62,86 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Preface. Acknowledgements. Instead of introduction. 1. Texture, Structure, and Pairwise Interactions. 2. Markov and Non-Markov Gibbs Image Models. 3. Supervised MLE-Based Parameter Learning. 4. Supervised Conditional MLE-Based Learning. 5. Experiments in Simulating Natural Textures. 6. Experiment…s in Retrieving Natural Textures. 7. Experiments in Segmenting Natural Textures. Texture Modelling: Theory vs. Heuristics. References. Index.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 161,00
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - In a new book about Northern Ireland historian Peter Rose argues that if Harold Wilson's government in the late sixties had pursued a different policy the province might have been spared The Troubles. Wilson had promised the Catholics that they would be granted their civil rights. However, new ev…idence suggests that Westminster was deliberately gagged to prevent MPs demanding that the Stormont administration ended discrimination in the province. Had the government acted on intelligence of growing Catholic unrest, it could have prevented the rise of the Provisional IRA without provoking an unmanageable Protestant backlash. The book draws upon recently released official documents and interviews with many key politicians and civil servants of the period to examine the failure of British policy to prevent the troubles.
Lingua: Inglese
Editore: Springer Nature B.V. Sep 1999, 1999
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 163,57
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - As usual, the Proceedings of the International Colloquium on Cognitive Science include leading-edge work by outstanding researchers in the field. This volume contains three kinds of papers corresponding to three of the main disciplines in cognitive science: philosophy, psychology, and artificial…intelligence. The title - Cognition, Agency and Rationality - captures the main issues addressed by the papers. Of course, all are concerned with cognition, but some are especially centred on the very concept of rationality, while others focus on (multiple) agency. The diversity of their disciplinary origins and standpoints not only reflects the main topics and the range of different positions presented at ICCS-97, as well as demonstrating the richness, fruitfulness and diversity of research in cognitive science today.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 161,00
EUR 62,48 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - What is meant by the concept of civil society Why do some equate it with liberal democracy, while others think it simply a guise for a market economy Who benefits from globalization and who loses out Can civil society prosper in an era of globalization Can global civil society restrain some of th…e negative consequences of economic globalization Through a series of unique case studies and theoretical inquiries, this volume provides a set of concrete answers to questions such as these.
Lingua: Inglese
Editore: Springer Sep 1999, 1999
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 162,93
EUR 62,42 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - One of the most basic themes in the philosophy of language is referential uptake, viz., the question of what counts as properly `understanding' a referring act in communication. In this inquiry, the particular line pursued goes back to Strawson's work on re-identification, but the immediate influ…ence is that of Gareth Evans. It is argued that traditional and recent proposals fail to account for success in referential communication. A novel account is developed, resembling Evans' account in combining an external success condition with a Fregean one. But, in contrast to Evans, greater emphasis is placed on the action-enabling side of communication. Further topics discussed include the role of mental states in accounting for communication, the impact of re-identification on the understanding of referring acts, and Donnellan's referential/attributive distinction. Readership: Philosophers, cognitive scientists and semanticists.
Lingua: Inglese
Editore: Springer Customer Service Center Gmbh Sep 1999, 1999
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 213,93
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - List of Tables and Figures Foreword: Geoffrey Till Acknowledgements Acronyms, Abbreviations and Foreign Language Terms The World War and the Atlantic Campaign Chronology, Time and Measurement The Economic Context The German Perspective Convoy Warfare Technology on Both Sides Signals Intelligence…and the Battle of the Atlantic Case-Study I - 1941 Case-Study II - Mid-1942 to Mid-1943 Conclusion End Notes Bibliography and References Index.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 230,74
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - Hermeneutics was elaborated as a specific art of understanding in humanities. The discovered paradigmatic, historical characteristics of scientific knowledge, and the role of rhetoric, interpretation and contextuality enabled us to use similar arguments in natural sciences too. In this way a new…research field, the hermeneutics of science emerged based upon the works of Husserl, Merleau-Ponty, Heidegger and Gadamer. A dialogue between philosophers and scientists begins in this volume on hermeneutic approaches to physics, biology, ethology, mathematics and cognitive science. Scientific principles, methodologies, discourse, language, and metaphors are analyzed, as well as the role of the lay public and the legitimation of science. Different hermeneutical-phenomenological approaches to perception, experiments, methods, discovery and justification and the genesis of science are presented. Hermeneutics shed a new light on the incommensurability of paradigms, the possibility of translation and the historical understanding of science.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 230,74
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - The 'Non-Sleeping Universe' was a conference conceived to commemorate the opening of the new building of the Centro de Astroffsica da U niversidade do Porto (CAUP). It seemed appropriate to include the two major areas of work at CAUP: Stellar Astrophysics and Cosmology. For the organizers the mos…t obvious threading line would be activity. Therefore the choice of the name and contents. The conference lasted for one week, the first three days dealing mainly with the non-sleeping stars, from Asteroseismology to Activity and Flows, involving both young stars and the interstellar medium. It included twenty five oral and thirty four poster presentations and involved 52 participants. The second part of the conference, covered another three days and ad dressed 'non-sleepiness' at galactic scales and beyond. From gamma-ray bursts to the cosmic background radiation and cosmological models. It in cluded twenty three oral and sixteen poster presentations and involved 46 participants. Activity was also the environment dominant note. Only that this time of painters and builders rushing to finish the brand new building . In any case it was a remarkable week with high level of excitement and interchange as expected from a Non-Sleeping Universe. Even if the Port wine in the cellars were the conference(s) dinner(s) took place seemed quite indifferent to all activity, dormant ( . or not) in the amazingly large oak casks.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 230,74
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - This book is a collection of invited papers that were presented at the Ninth IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, September 5-8, 1998, Boston, MA. These papers are meant to provide a global view of the emerging third-generation wireless networks in the… wake of the third millennium. Following the tradition of the PIMRC conferences, the papers are selected to strike a balance between the diverse interests of academia and industry by addressing issues of interest to the designers, manufacturers, and service providers involved in the wireless networking industry. The tradition of publishing a collection of the invited papers presented at the PIMRC started in PIMRC'97, Helsinki, Finland. There are two benefits to this tradition (1) it provides a shorter version of the proceedings of the conference that is more focused on a specific theme (2) the papers are comprehensive and are subject of a more careful review process to improve the contents as well as the presentation of the material, making it more appealing for archival as a reference book. The production costs of the book is subsidized by the conference and the editors have donated the royalty income of the book to the conference.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 247,94
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - This book reassesses the transformation of European diplomacy which took place at the beginning of the twentieth century. It focuses on the British and Russian diplomatic establishments during the years 1894-1917 in order to illustrate both the heterogeneity and complex nature of the 'Old Diploma…cy'. The book will 'ground' discussion in a series of case-studies designed to illustrate both the benefits and the pitfalls of generalizing about a complicated process of transformation that had a range of social, political, administrative and psychological dimensions.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 245,00
EUR 37,56 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - An authoritative guide to Africa's economic development and prospects. This is volume 2 in a major international research project coordinated by the African Economic Research Consortium and bringing together the top academics in development economics, trade policy and international economics from… Africa, Europe and North America. This second volume applies the theoretical framework and issues of economic liberalization and regional integration to detailed country case studies of the Côte d'Ivoire, Ghana, Nigeria, Kenya, Mauritius, Tanzania, Uganda, South Africa, Zambia and Zimbabwe.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 314,64
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - All important aspects of thermophilic moulds such as systematics, ecology, physiology and biochemistry, production of extracellular and intracellular enzymes, their role in spoilage of stores products and solid and liquid waste management, and general and molecular genetics have been dealt with c…omprehensively by experts in this book which covers progress in the field over the last 30 years since the seminal book Thermophilic Fungi published by Cooney and Emerson in 1964. The experts have reviewed extensive literature on all aspects of thermophilic moulds in a very comprehensive manner. This book will be useful for graduates as well as post-graduate students of life sciences, mycology, microbiology and biotechnology, and as a reference book for researchers.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 304,50
EUR 63,93 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Cardiac catheterization has long been a central diagnostic modality in the evaluation of children, adolescents, and adults with congenital heart disease, and in children with acquired heart disease. Over the past two decades, transcatheter interventions have become equally important in the treatm…ent of pediatric and congenital heart disease. Some transcatheter therapies have become established as the standard of care for congenital cardiovascular anomalies previously managed surgically, others serve to supplement surgery in the integrated management of complex lesions, and still others are in their infancy, as pediatric interventional cardiology continues to advance in step with the broader field of pediatric cardiovascular medicine.Since the previous edition of this book, new technologies and techniques have been introduced to the field of pediatric interventional cardiology, much has been learned about established transcatheter therapies, and there has been a substantial increase in the volume of published data on outcomes of transcatheter procedures in congenital and pediatric heart disease. With increasing experience, the role of interventional catheterization has become solidified as an integral component of the comprehensive management of patients with essentially all forms of congenital heart disease. Cardiac catheterization has also become established as a distinct subspecialty within the discipline of pediatric cardiology, and at many centers has become the purview of cardiologists who have received specialized training in interventional catheterization and whose practice is focused on catheterization. This book is targeted to trainees and established interventional cardiologists alike, and is intended as a comprehensive reference for the clinical practice of diagnostic and interventional cardiology in pediatric and congenital heart disease.In the organization of this book, a combination of procedure-based and problem-based approaches has been employed. The structure of the book has been updated to make it more reader friendly, chapters have been added to address new techniques and problems in the field, and greater emphasis has been placed on evaluation of outcomes of transcatheter interventions in congenital heart disease.Section 1 covers the fundamentals of cardiac catheterization, with chapters devoted to pre-procedure patient evaluation, sedation and anesthesia, vascular access and related issues, catheterization equipment ands its use, hemodynamic evaluation, angiography, radiation and radiation safety, and echocardiography in the catheterization lab.Sections 2 through 4 include procedure-based chapters that are organized according to the technical type of intervention. Section 2 is devoted to transcatheter interventions for obstructive lesions, including valvar stenoses and vascular obstructions. Section 3 includes chapters that cover interventions to close various pathologic intracardiac communications and vascular anomalies. Section 4 includes chapters covering interventions performed to create or enlarge intracardiac communications, as well as other interventions.Section 5 focuses on the applications of catheterization and transcatheter interventions in the evaluation and management of specific patient populations. This problem-based or patient-based focus, which is substantially expanded from the previous edition of the book, reflects the expanding role of catheterization in the comprehensive management of pediatric and congenital heart disease, and addresses emerging applications of transcatheter interventions, including management of the patient receiving extracorporeal circulatory support, hybrid transcatheter-surgical interventions, and prenatal cardiac intervention.Section 6 includes two chapters that cover outcome assessment and regulatory issues pertinent to the pediatric cardiology in general and.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 37,40
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a re-edition of Max Koecher's famous Minnesota Notes. The main objects are homogeneous, but not necessarily convex, cones. They are described in terms of Jordan algebras. The central point is a correspondence b…etween semisimple real Jordan algebras and so-called omega-domains. This leads to a construction of half-spaces which give an essential part of all bounded symmetric domains. The theory is presented in a concise manner, with only elementary prerequisites. The editors have added notes on each chapter containing an account of the relevant developments of the theory since these notes were first written. 196 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,61
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is an introduction to the theory of shadowing of approximate trajectories in dynamical systems by exact ones. This is the first book completely devoted to the theory of shadowing. It shows the importance of shadowing theo…ry for both the qualitative theory of dynamical systems and the theory of numerical methods. Shadowing Methods allow us to estimate differences between exact and approximate solutions on infinite time intervals and to understand the influence of error terms. The book is intended for specialists in dynamical systems, for researchers and graduate students in the theory of numerical methods. 296 pp. Englisch.
Lingua: Inglese
Editore: SPRINGER NATURE Sep 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The word 'rape' today denotes sexual appropriation; yet it originally signified the theft of a woman from her father or husband by abduction or elopement. In the early modern period, its meaning is in transition between these two s…enses, while rapes and attempted rapes proliferate in literature. This age also sees the emergence of the woman writer, despite a sexual ideology which equates women's writing with promiscuity. Classical myths, however, associate women's story-telling with resistance to rape. This comprehensive study of rape and representation considers a wide range of texts drawn from prose fiction, poetry and drama by male and female writers, both canonical and non-canonical. Combining close attention to detail with an overview of the period, it demonstrates how the representation of gender-relations has exploited the subject of rape, and uses its understanding of this phenomenon to illuminate the issues of sexual and discursive autonomy which figure largely in women's texts of the period. 284 pp. Englisch.
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Electronic Business will create changes similar to those brought about by the Industrial Revolution. It will change our business, society, and governance. It is happening now!Electronic Business is the integration of information technolog…y (IT) and particularly the Internet into business processes. In the past 30 years IT has made processes more effective and efficient, but it has not fundamentally transformed them. Now, Electronic Business changes everything. The Internet is the catalyst: its eventual impact will be as great as or greater than that of the printing press.The aim of this book is to point out the challenges and opportunities facing Europe and its companies. It is based on the authors' joint experience of over 40 years with IT in business, industry, and government. 260 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were su…bmitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title : Theorem ProvinginHigherOrderLogics:EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry. 372 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing. This volume includes 23 contributed papers and an invited lecture, all presented at D…ISC '99, held on September 27-29, 1999 in Bratislava, Slovak Republic. In addition to regular submissions, the call for papers for DISC '99 also - licited Brief Announcements (BAs). We received 60 regular submissions and 15 brief announcement submissions. These were read and evaluated by the p- gramcommittee, with the additional help of external reviewerswhen needed. At the program committee meeting on June 10-11 at Dartmouth College, Hanover, USA, 23 regular submissions and 4 BAs were selected for presentation at DISC '99. The extended abstracts of these 23 regular papers appear in this volume, while the four BAs appear as a special publication of Comenius Univ- sity, Bratislava- the hostof DISC '99.It is expected that the regularpapers will be submitted later, in more polished form, to fully refereed scienti c journals. Of the 23 regular papers selected for the conference, 12 quali ed for the Best Student Paper award. The program committee awarded this honor to the paper entitled 'Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast' by Marcos Aguilera, Sam Toueg, and Borislav Deianov. Marcos and Borislav, who are both students, share this award. 376 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The topics of control engineering and signal processing continue to flourish and develop. In common with general scientific investigation, new ideas, concepts and interpretations emerge quite spontaneously and these are then discus…sed, used, discarded or subsumed into the prevailing subject paradigm. Sometimes these innovative concepts coalesce into a new sub-discipline within the broad subject tapestry ofcontrol and signal processing. This preliminary battle between old and new usually takes place at conferences, through the internet and in the journals of the discipline. After a little more maturity has been acquired by the new concepts then archival publication as a scientific or engineering monograph may occur. The applications ofsignal processing techniques have grown and grown. They now cover the wide range from the statistical properties of signals and data through to the hardware problems of communications in all its diverse aspects. Supporting this range ofapplications is a body of theory, analysis and techniques which is equally broad. Darrell Williamson has faced the difficult task of organising this material by adopting an algebraic approach. This uses general mathematical and systems ideas and results to form a firm foundation for the discrete signal processing paradigm. Although this may require some extra concentration and involvement by the student or researcher, the rewards are a clarity of presentation and deeper insight into the power of individual results. An additional benefit is that the algebraic language used is the natural language of computing tools like MATLAB and its simulation facility, SIMULINK. 440 pp. Englisch.
Lingua: Inglese
Editore: Springer Netherlands Sep 1999, 1999
Serie: Libro 2 di 12 - Mathematical Modelling: Theory and Applications
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of this book is to present a rigorous phenomenological and mathematical formulation of sedimentation processes and to show how this theory can be applied to the design and control of continuous thickeners. The book is directed to…stu dents and researchers in applied mathematics and engineering sciences, especially in metallurgical, chemical, mechanical and civil engineering, and to practicing en gineers in the process industries. Such a vast and diverse audience should read this book differently. For this reason we have organized the chapters in such a way that the book can be read in two ways. Engineers and engineering students will find a rigorous formulation of the mathematical model of sedimentation and the exact and approximate solutions for the most important problems encountered in the laboratory and in industry in Chapters 1 to 3, 7 and 8, and 10 to 12, which form a self-contained subject. They can skip Chapters 4 to 6 and 9, which are most important to applied mathematicians, without losing the main features of sedimentation processes. On the other hand, applied mathematicians will find special interest in Chapters 4 to 6 and 9 which show some known but many recent results in the field of conservation laws of quasilinear hyperbolic and degenerate parabolic equations of great interest today. These two approaches to the theory keep their own styles: the mathematical approach with theorems and proofs, and the phenomenological approach with its deductive technique. 308 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Sep 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two dec…ades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS'99) which was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). The program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. The resulting volume o ers to the reader a complete landscape of the research in this area. The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy. 372 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Sep 1999, 1999
Serie: Libro 96 di 126 - Lecture Notes in Economics and Mathematical Systems
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The introduction of the thesis consists of four parts: first, we motivate our chosen macroeconomic setting by looking at some real world phenomena. For a better understanding of these phenomena, we argue that the mutual dynamic int…eractions between flScal policy and financial markets need to be closely examined in a macroeconomic framework. Second, we review different strands of the economic literature in order to show that most of the literature has so far exclusively concentrated either on fmancial market dynamics or on flScal policy issues. We conclude that a more integrated model setting is called for in order to explain the dynamic interactions observed in reality. Third, we discuss at length the economic assumptions underlying our model. This avoids multiple repetition later on. Finally, we outline the structure of the thesis and the objectives we pursue in the different chapters. 1. 1 Motivation Fiscal policy and financial market reactions are increasingly receiving world wide attention. The most recent examples are the Maastricht criteria about flScal control, the South-East Asia financial crisis and the resulting IMF policy stance, the high level of public debt in developed and developing countries and the effect on interest rates and economic growth. In contrast to the still underdeveloped theoretical literature on these dynamic links, finding empirical evidence that supports the existence of these links is not a very hard task. 296 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CHARME'99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri cation of hardware and systems. Previous conferences have been held in… Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri cation techniques are now migrating into industrial use. The aim of CHARME'99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers. 388 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Sep 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisbookcontainsaselectionofpaperspresentedatthesecondannualworkshop heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop tookplaceinIrsee,Germany,from27to31ofMarch1998andwasattendedby 89researchers. Ofthe25submission…s,14wereselectedforpublicationafteraregularref- eeingprocess. The nalchoicewasmadebytheeditors. Thisvolumeisasequeltotheproceedingsfromthe rstworkshopofthe workinggroup,whichtookplaceinAussois,France,inDecember1996. The proceedingsappearedinvol. 1512oftheLNCSseries,editedbyChristinePaulin- MohringandEduardoGim enez. Theseworkshopsare,inturn,acontinuationofthemeetingsorganizedin 1993,1994,and1995undertheauspicesoftheEspritBasicResearchAction 6453 Types for Proofs and Programs. Thoseproceedingswerealsopublished intheLNCSseries,editedbyHenkBarendregtandTobiasNipkow(vol. 806, 1993),byPeterDybjer,BengtNordstr omandJanSmith(vol. 996,1994)and byStefanoBerardiandMarioCoppo(vol. 1158,1995). TheEspritBRA6453 wasacontinuationoftheformerEspritAction3245Logical Frameworks: - sign,ImplementationandExperiments. Thearticlesfromtheannualworkshops organizedunderthatActionwereeditedbyGerardHuetandGordonPlotkin inth Elektronisches BuchLogical FrameworksandLogicalEnvironments,bothpublishedby CambridgeUniversityPress. Acknowledgments WewouldliketothankIrmgardMignaniandAgnesSzabo-Lackingerforhelping uswithprocessingtheregistrations,andRalphMatthesandMarkusWenzelfor organizationalsupportduringthemeeting. Weareindebtedtotheorganizersof theWorkingGroupTypesandalsotoPeterClote,TobiasNipkowandMartin Wirsingforgivingustheopportunitytoorganizethisworkshopandfortheir support. WewouldalsoliketoacknowledgefundingbytheEuropeanUnion. Thisvolumewouldnothavebeenpossiblewithouttheworkofthereferees. Theyarelistedonthenextpageandwethankthemfortheirinvaluablehelp. June1999 ThorstenAltenkirch WolfgangNaraschewski BernhardReus VI List of Referees PeterAczel PetriMa enp a a ThorstenAltenkirch RalphMatthes GillesBarthe MichaelMendler HenkBarendregt WolfgangNaraschewski UliBerger TobiasNipkow MarcBezem SaraNegri VenanzioCapretta ChristinePaulin-Mohring MarioCoppo HenrikPersson CatarinaCoquand RandyPollack RobertoDiCosmo DavidPym GillesDowek ChristopheRa alli MarcDymetman AarneRanta Jean-ChristopheFilli atre BernhardReus NeilGhani EikeRitter MartinHofmann GiovanniSambin MonikaSeisenberger FurioHonsell AntonSetzer PaulJackson JanSmith FelixJoachimski FlorianKammuller SergeiSoloview JamesMcKinna MakotoTakeyama Sim aoMelodeSousa SilvioValentini ThomasKleymann MarkusWenzel HansLeiss BenjaminWerner Table of Contents OnRelatingTypeTheoriesandSetTheories. . . . . . . . . . . . . . . . . . . . . . . . . . 1 PeterAczel CommunicationModellingandContext-DependentInterpretation: AnIntegratedApproach. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Ren eAhn,TijnBorghuis Grobner BasesinTypeTheory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 ThierryCoquand,HenrikPersson AModalLambdaCalculuswithIterationandCaseConstructs. . . . . . . . . . 47 Jo elleDespeyroux,PierreLeleu ProofNormalizationModulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 GillesDowek,BenjaminWerner ProofofImperativeProgramsinTypeTheory. . . . . . . . . . . . . . . . . . . . . . . . . 78 Jean-ChristopheFilli atre AnInterpretationoftheFanTheoreminTypeTheory . . . . . . . . . . . . . . . . . 93 DanielFridlender ConjunctiveTypesandSKInT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 JeanGoubault-Larrecq ModularStructuresasDependentTypesinIsabelle . . . . . . . . . . . . . . . . . . . . 121 FlorianKammul ler MetatheoryofVeri cationCalculiinLEGO. . . . . . . . . . . . . . . . . . . . . . . . . . . 133 ThomasKleymann BoundedPolymorphismforExtensibleObjects . . . . . . . . . . . . . . . . . . . . . . . . 149 LuigiLiquori AboutE ectiveQuotientsinConstructiveTypeTheory . . . . . . . . . . . . . .
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Abnormal white matter of the brain is common to patients with one of s- eral di erent diseases (including multiple sclerosis (MS) and Alzheimer s d- ease (AD)) and also appears in normal (asymptomatic) aging (NA) subjects. Better c…haracterization of the nature of these white matter changes can help to improve our understanding of the biological processes at work. Clinically, it is interesting to be able to di erentiate between di erent disease states and to nd markerswhich allowearlydiagnosis.Conventionalspin echo magnetic resonance imaging is sensitive to these white matter changes. MRI studies of patients and volunteershaveindicatedthatthepatternsofbrainchangeassociatedwiththese processes are di erent. An important goal is to be able to quantitatively study these di erences. Many automated and semi-automated segmentation algorithms for quan- tatively assessing these brain changes have been developed and validated. Most of these algorithms have aimed at determining a binary characterization of each voxelas one of a groupof possible tissue classes.This approachhas been limited bytwofactors.First,abnormalwhitematter isoftenisointensewithnormalgrey matter and previous studies have been limited by the inability to discriminate between some abnormal white matter and normal grey matter [1,2]. Secondly, white matter damage appears as an heterogenous region of abnormal signal - tensity but binarization of the segmentation treats all levels of signal intensity abnormality equally. 1288 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the refereed proceedings of the Second International Conference on Scale-Space Theories in Computer Vision, Scale-Space'99, held in Corfu, Greece, in September 1999.The 36 revised full papers and the 18 revi…sed posters presented in the book were carefully reviewed and selected from 66 high-quality submissions. The book addresses all current aspects of this young and active field, in particular geometric Image flows, nonlinear diffusion, functional minimization, linear scale-space, etc. 552 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Introduction to Optimal Estimation is an introductory but comprehensive treatment of the important topics of Kalman and Wiener filtering. In addition, least-squares, maximum-likelihood and maximum a posteriori (based on discrete-ti…me measurements) estimation are developed, covering a broad range of techniques in a single textbook. Emphasis is placed on showing how these different approaches can be fitted together to form a systematic rationale for optimal estimation. The different matters to be addressed in actually computing estimates and characterizing the properties of estimates viewed as random variables are explained and underlined throughout. The text also incorporates study of nonlinear filtering, focusing on the extended Kalman filter and on a recently-developed nonlinear estimator based on a block-form version of the Levenberg-Marquardt algorithm.Introduction to Optimal Estimation is for use in a single course (or, with judicious pruning, a one-quarter course) on estimation by senior undergraduates or first-year graduate students. A number of the examples in this text were fashioned using MATLAB® and some of the homework problems require it. Students using this book will need to have completed a standard course on probability and random variables and at least one course in signals and systems including state-space theory for linear systems. 400 pp. Englisch.
