Springer springer jun 1999 (348 Ergebnisse)
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 39,08
EUR 62,50 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - From the editors of the wildly successful Beyond Calculation comes another exploration of the overwhelming impact of computers on our future. This time, the essays focus on the human impact of computer technology and culture: how computers will affect the ways we teach, learn, communicate, relate to… each other, and live in the coming decades. The contributors, representing the best of many fields, include Secretary of Defense William Perry on how computers will affect warfare; Brian Ferrin on technology and storytelling; Patti Maes on intelligent agents; Nobel Laureate Murray Gell-Mann on the quality of information; Eliot Soloway on the impact of computers on education; and many more. Like Beyond Calculation, praised by the New York Times for its 'astonishing intellectual reach,' this sequel engages readers with some of the most compelling and important issues of our time.
Sprache: Englisch
Verlag: Springer Customer Service Center Gmbh Jun 1999, 1999
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 110,00
EUR 62,70 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - Acknowledgements List of Acronyms List of Tables and Figures About the Contributors Globalization and the Developing World: An Introduction; F.Adams, S.D. Gupta & K.Mengisteab PART I: THEMATIC ISSUES For a Progressive and Democratic New World Order; S.Amin Conceptualizing Resistance to Globalization…; C.Chin & J.Mittleman The Essence and Appearance of Globalization: The Rise of Finance Capital; J.Weeks PART II: CASE STUDIES Popular Resistance to Neoliberalism in Latin America; R.Harris Economic Reform and Political Turmoil in Mexico; F.Adams Reforming Cuban Socialism: State-Society Dynamics; S.Eckstein Globalization and South Africa's Transition through a Consociational Arrangement; K.Mengisteab Avoiding Globalization: The State and Depoliticization in Nigeria; J.Ihonvbere Ideology, Politics, and Public Policy in Ghana: 1982-1996; W.Ofuatey-Kodjoe Liberalization and Retrenchment in the Middle East and North Africa; M.Dorraj Global Accumulation and Structural Adjustment in Iran; B.Yaghmaian Liberalization, Globalization, and Inequality in South Asia; M.Pasha State-Socialist Transition and Labor Relations in China; X.Lu Selected Bibliography Index.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 132,07
EUR 63,91 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - In Ionic Polymerization and Related Processes, internationally recognised academic and industrial researchers discuss and debate the latest developments in the field. The major focus is on cationic polymerizations, but related anionic and controlled radical processes are also discussed.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 136,11
EUR 63,26 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - This volume is the proceedings of the International Symposium on Male Sterility for Motility Disorders, held in Paris, January 30-31, 1998. The internationally recognized faculty present the latest research on etiologic factors and treatment of male sterility for motility disorders, including the et…iology of immobile sperm; therapeutic possibilities for immotile sperm; ICSI option; testicular sperm, physiological and pathological aspects and retrieval; and conceptus quality in ICSI and ethical problems with ART.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 147,75
EUR 62,09 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - A collection of refereed papers from a six-week workshop on statistics in the health sciences, that brought together theoretical and applied statisticians from universities, medical and public health schools, government and private research institutions, and pharmaceutical companies involved in pred…iction problems in the life and social sciences and in diagnostic and screening tests. A number of papers with applications were presented and particularly lively discussions ensued involving the critical issues and difficulties in using and interpreting diagnostic tests and implementing mass screening programs. The prediction or controlling future events, such as survival, comparative survival and survival post intervention for a disease or even for certain biological or natural events was also represented by participants who presented work that devised predictive methodology for a variety of problems mainly from a Bayesian perspective.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 147,75
EUR 63,21 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - The IMA Workshop on Evolutionary Algorithms brought together many of the top researchers in the area of Evolutionary Computation for a week of intensive interaction. The field of Evolutionary Computation has developed significantly over the past 30 years and today consists of a variety of subfields…such as genetic algorithms, evolution strategies, evolutionary programming, and genetic programming, each with its own algorithmic perspectives and goals. The workshop did a great deal to clarify the current state of the theory of Evolutionary Algorithms. The existing theory might be characterized as deriving from two principal approaches. There is a high level macro-theory that looks at the processing of 'building blocks' and 'schemata' that are shared by many good solutions when searching a problem space. There is also a low level micro-theory that builds exact Markov models of the search process. It is sometimes hard for researchers working at such different levels of abstraction to interact. The IMA workshop allowed researchers working at these different levels to present their points of view and to move toward common ground. There was real progress in communication between theorists and practitioners in the evolutionary computation field. Speakers presented applications across a wide range of problem areas. In some of those cases, theoretically motivated methods work quite well. In other cases, practitioners used domain-based methods to obtain better performance than could be achieved by using a 'pure' evolutionary algorithm. Individuals on both sides went away with a better appreciation of the successes and failures of current theory. TOC:Foreword.- Preface.- Genetic algorithms as multi-coordinators in large-scale optimization.- Telecommunication network optimization with genetic algorithms: A decade of practice.- Using evolutionary algorithms to search for control parameters in a nonlinear partial differential equation.- Applying genetic algorithms to real-world problems. An overview of evolutionary programming.- A hierarchical genetic algorithm for system identification and curve fitting with a supercomputer implementation.- Experiences with the PGAPack parallel genetic algorithm library.- The significance of the evaluation function in evolutionary algorithms.- Genetic algorithm optimization of atomic clusters.- Search, binary representations and counting optima.- An investigation of GA performance results for different cardinality alphabets.- Genetic algorithms and the design of experiments.- Efficient parameter optimization based on combination of direct global and local search methods.- What are genetic algorithms A mathematical perspective.- Survey of projects involving evolutionary algorithms sponsored by the Electric Power Research Institute.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 168,50
EUR 64,87 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - For chemists, biochemists, physicists and materials scientists, pressure as an experimental variable represents a tool that provides unique information about the microscopic properties of the materials being studied. In addition to its use as a research tool for investigating the energetics, structu…re, dynamics and kinetics of molecular transformations of materials, pressure is also being used to modify the properties of materials to preserve or improve their properties. The contributions collected here cover the main areas of high pressure research, including applications in materials science, condensed matter physics, chemistry and biochemistry. In addition, some papers offer more specialised aspects of high pressure studies. The book makes clear the impressive range of fundamental and applied problems that can be studied by high pressure techniques and also points towards a major growth of high pressure science and technology in the near future.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 168,50
EUR 66,41 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - This book represents the proceedings of a conference, Rheumaderm, that was held in December 1997. The meeting was a dialogue between the specialties of Rheumatology and Dermatology, exploring and discussing areas of common interest. The aim was to present problems common to both specialties, thereby… emphasising the team approach to such problems and helping to combine various skills.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 203,00
EUR 63,50 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - An unusually understandable survey of the forces or perception and feeling that determine the purchases we make; the roles played by fashion, fads, and status; and the psychological needs that they fulfill. The book discusses how children become consumers and how they change as they age. Research ba…sed throughout, it shows how ads use classical conditioning, harnessing psychological motivation to create image and sell products.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 247,94
EUR 64,14 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Neuware - Learning on Silicon combines models of adaptive information processing in the brain with advances in microelectronics technology and circuit design. The premise is to construct integrated systems not only loaded with sufficient computational power to handle demanding signal processing tasks in senso…ry perception and pattern recognition, but also capable of operating autonomously and robustly in unpredictable environments through mechanisms of adaptation and learning. This edited volume covers the spectrum of Learning on Silicon in five parts: adaptive sensory systems, neuromorphic learning, learning architectures, learning dynamics, and learning systems. The 18 chapters are documented with examples of fabricated systems, experimental results from silicon, and integrated applications ranging from adaptive optics to biomedical instrumentation. As the first comprehensive treatment on the subject, Learning on Silicon serves as a reference for beginners and experienced researchers alike. It provides excellent material for an advanced course, and a source of inspiration for continued research towards building intelligent adaptive machines.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 24,60
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'Elegant and literate' -THE TIMES OF LONDON'The kind of book that both skeptics and believers would do well to read'- SKEPTICAL INQUIRER'An urbane, original, convincing rebuttal of paranormal and supernatural notions' -NEW SCIENTIST'A… lively, entertaining book. Humphrey has set himself a larger task than simply explaining why people believe in parapsychology: the task of explaining why it is irrational to believe in it.'-NATURE 260 pp. Englisch.
Sprache: Englisch
Verlag: Springer New York, Chapman And Hall/CRC Jun 1999, 1999
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 35,30
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a tour-de-force on how human consciousness may have evolved. From the 'phantom pain' experienced by people who have lost their limbs to the uncanny faculty of 'blindsight,' Humphrey argues that raw sensations are central…to all conscious states and that consciousness must have evolved, just like all other mental faculties, over time from our ancestors' bodily responses to pain and pleasure. ' 240 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 42,75
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book is about differentiability of six operators on functions or pairs of functions: composition (f of g), integration (of f dg), multiplication and convolution of two functions, both varying, and the product integral and inverse…operators for one function. The operators are differentiable with respect to p-variation norms with optimal remainder bounds. Thus the functions as arguments of the operators can be nonsmooth, possibly discontinuous, but four of the six operators turn out to be analytic (holomorphic) for some p-variation norms. The reader will need to know basic real analysis, including Riemann and Lebesgue integration. The book is intended for analysts, statisticians and probabilists. Analysts and statisticians have each studied the differentiability of some of the operators from different viewpoints, and this volume seeks to unify and expand their results. 292 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,14
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This project is based on the use of graphing calculators by students enrolled in calculus. There is enough material in the book to cover precalculus review, as well as first year single variable calculus topics. Intended for use in wo…rkshop-centered calculus courses. Developed as part of the well-known NSF-sponsored project, Workshop Mathematics, the text is intended for use with students in a math laboratory, instead of a traditional lecture course. There are student-oriented activities, experiments and graphing calculator exercises found throughout the text. The authors are well-known teachers and innovative thinkers about ways to improve undergraduate mathematics teaching. 424 pp. Englisch.
- Hardcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume seeks to explore bureaucratic forms of administration in the Third World and alternatives to them. Experts with wide experience in development are assembled to deal with issues of reform, indigenization, and desirable futures. 33…0 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Human rights are always a matter of law, but they are increasingly a matter of politics. Much lip-service is paid nowadays to the notion of human rights. At the same time they are being violated all over the world. Peter Baehr present…s a succinct introduction to the key theoretical and practical issues that will serve as a useful primer for students and researchers. 178 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Contradictory results in schizophrenia research are generally explained as being due to genetic heterogeneity and multiple factor heredity in relationship to manifold environmental factors. The book reports a short overview of all rel…evant twin studies on schizophrenic psychoses and provides data and case histories on a systematic twin study based on a polydiagnostic approach carried out by two independently working psychiatrists. In addition to the internationally applied operational diagnostic systems of DSM-III-R and ICD 10 Leonhard s subclassification of schizophrenic psychoses was used. Up to now this sophisticated methodological approach is unique in the world.The data provide strong evidence that the spectrum of psychoses with schizophrenic and schizophrenia-like symptoms is not a continuum of diseases. At least in Leonhard s three major groups of cycloid psychoses, unsystematic schizophrenias and systematic schizophrenias genetic, somatic and psycho-social factors play a completely different etiological role. Cycloid psychoses and systematic schizophrenias are predominantly caused by environmental factors. In unsystematic schizophrenias, however, genetic predisposition is the main etiological factor and environmental factors are subordinate. 164 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully revi…ewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction. 524 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -P.A. MURARO, A. LUGARESI, D. GAMBI Many of the pathological aspects of multiple sclerosis (MS) lesions have been known for over a century. It is only recently, however, that different patterns of demyelination have been linked to dist…inct pathways of immune-mediated tissue destruction. In particular, the inter-individual heterogeneity of MS lesions has suggested that different mechanisms may act in different patients, accounting for the variability observed in clinical course, immunological findings in peripheral blood and cere brospinal fluid (CSF), and response to immunomodulatory treatments. To provide an overview of the basic mechanisms possibly involved in MS lesion initiation and development, an international meeting was organized in the context of the annual Congress of the Italian Neuroimmunology Association (AINI), held at the University of Chieti, in Chieti Italy on 29 October 1998. The high standard of presentations prompted us to report them in extended form, to highlight recent pro gress in the understanding of basic mechanisms sustaining MS immuno pathogenesis. A central role in the possible mechanisms leading to myelin destruc tion has been attributed to T lymphocytes reactive to myelin antigens. Studies on the myelin antigen-specific T cell repertoire have contributed significant advances to our knowledge of autoimmunity (Chapters 1,2). 100 pp. Englisch.
Sprache: Englisch
Verlag: Springer Netherlands Jun 1999, 1999
Serie: Buch 1 von 12 - Mathematical Modelling: Theory and Applications
- Hardcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Over the past decade there has been an increasing demand for suitable material in the area of mathematical modelling as applied to science and engineering. There has been a constant movement in the emphasis from developing proficiency in pur…ely mathematical techniques to an approach which caters for industrial and scientific applications in emerging new technologies. In this textbook we have attempted to present the important fundamental concepts of mathematical modelling and to demonstrate their use in solving certain scientific and engineering problems. This text, which serves as a general introduction to the area of mathematical modelling, is aimed at advanced undergraduate students in mathematics or closely related disciplines, e.g., students who have some prerequisite knowledge such as one-variable calculus, linear algebra and ordinary differential equations. Some prior knowledge of computer programming would be useful but is not considered essential. The text also contains some more challenging material which could prove attractive to graduate students in engineering or science who are involved in mathematical modelling. In preparing the text we have tried to use our experience of teaching mathematical modelling to undergraduate students in a wide range of areas including mathematics and computer science and disciplines in engineering and science. An important aspect of the text is the use made of scientific computer software packages such as MAPLE for symbolic algebraic manipulations and MA TLAB for numerical simulation. 304 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First International Workshop on Active Networks, IWAN'99, held in Berlin, Germany in June/July 1999.The 30 revised full papers presented were carefully reviewed and selected from a… total of 80 submissions. The book is divided in sections on networks architectures, platforms, active management and control, and security. All in all, this book provides a unique state-of-the-art account of architectural aspects, technologies, and prototype systems that will impact the way future networked businesses will be created and managed. 368 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-…reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java. 420 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In Chapter 6, we describe the concept of braid equivalence from the topological point of view. This will lead us to a new concept braid homotopy that is discussed fully in the next chapter. As just mentioned, in Chapter 7, we shall discuss t…he difference between braid equivalence and braid homotopy. Also in this chapter, we define a homotopy braid invariant that turns out to be the so-called Milnor number. Chapter 8 is a quick review of knot theory, including Alexander's theorem. While, Chapters 9 is devoted to Markov's theorem, which allows the application of this theory to other fields. This was one of the motivations Artin had in mind when he began studying braid theory. In Chapter 10, we discuss the primary applications of braid theory to knot theory, including the introduction of the most important invariants of knot theory, the Alexander polynomial and the Jones polynomial. In Chapter 11, motivated by Dirac's string problem, the ordinary braid group is generalized to the braid groups of various surfaces. We discuss these groups from an intuitive and diagrammatic point of view. In the last short chapter 12, we present without proof one theorem, due to Gorin and Lin [GoL] , that is a surprising application of braid theory to the theory of algebraic equations. 292 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist. Reading the newspaper or watching the television conveys a very warped view of what is happening in co…mputer science. This conference illustrates how a maturing subdiscipline of computer science can continue to grow and integrate within it both old and new approaches despite (or perhaps due to) a lack of public awareness. The conceptual graph community has basically existed since the 1984 publication of John Sowa's book, 'Conceptual Structures: Information Processing In Mind and Machine.' In this book, John Sowa laid the foundations for a knowledge representation model called conceptual graphs based on semantic networks and the existential graphs of C.S. Peirce. Conceptual graphs constitutes a very powerful and expressive knowledge representation scheme, inheriting the benefits of logic and the mathematics of graphs. The expressiveness and formal underpinnings of conceptual graph theory have attracted a large international community of researchers and scholars. The International Conferences on Conceptual Structures, and this is the seventh in the series, is the primary forum for these researchers to report their progress and activities. As in the past, the doors were open to admit alternate representation models and approaches. 536 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Jun 1999, 1999
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheFastSoftwareEncryptionWorkshop1999isthesixthinaseriesofworkshops startinginCambridgeinDecember1993. TheworkshopwasorganizedbyGeneralChairWilliamWolfowicz,Fon- zioneU. Bordoni,andProgrammeChairLarsKnudsen,UniversityofBergen, Norway,…incooperationwithSecurteam,asfaraslocalarrangementswerec- cerned. TheworkshopwasheldMarch24-26,1999inRome,Italy. Theworkshopconcentratedonallaspectsoffastsecretkeyciphers,inc- dingthedesignandcryptanalysisofblockandstreamciphers,aswellashash functions. Therewere51submissions,allofthemsubmittedelectronically. Ones- missionwaslaterwithdrawnbytheauthors,and22paperswereselectedfor presentation. Allsubmissionswerecarefullyreviewedbyatleast4committee members. Attheworkshop,preliminaryversionsofall22papersweredistri- tedtoallattendees. Aftertheworkshoptherewasa nalreviewingprocesswith additionalcommentstotheauthors. Ithasbeenachallengeformetochairthecommitteeofthisworkshop,andit isapleasuretothankallthemembersoftheprogrammecommitteefortheirhard work. Thecommitteethisyearconsistedof,inalphabeticorder,RossAnd- son(Cambridge,UK),EliBiham(Technion,Israel),DonCoppersmith(IBM, USA), Cunsheng Ding (Singapore), Dieter Gollmann (Microsoft, UK), James Massey (Denmark), Mitsuru Matsui (Mitsubishi, Japan), Bart Preneel (K. U. Leuven, Belgium), Bruce Schneier (Counterpane, USA), and Serge Vaudenay (ENS,France). ItisagreatpleasuretothankWilliamWolfowiczfororganisingtheworkshop. Also,itisapleasuretothankSecurteamforthelogisticsandTelsyandSunfor supportingtheconference. Finally,abigthankyoutoallsubmittingauthorsfor theircontributions,andtoallattendees(approximately165)oftheworkshop. Finally, I would like to thank Vincent Rijmen for his technical assistance in preparingtheseproceedings. April1999 LarsKnudsen TableofContents AdvancedEncryptionStandard ImprovedAnalysisofSomeSimpli edVariantsofRC6 . . . . . . . . . . . . . . . . . . . . . . . 1 S. Contini,R. L. Rivest,M. J. B. Robshaw,andY. L. Yin LinearCryptanalysisofRC5andRC6. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 J. Borst,B. Preneel,andJ. Vandewalle ARevisedVersionofCRYPTON:CRYPTONV1. 0. . . . . . . . . . . . . . . . . . . . . . . . . 31 C. H. Lim AttackonSixRoundsofCRYPTON. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 C. D Halluin,G. Bijnens,V. Rijmen,andB. Preneel OntheSecurityofthe128-bitBlockCipherDEAL. . . . . . . . . . . . . . . . . . . . . . . . . 60 S. Lucks CryptanalysisofaReducedVersionoftheBlockCipherE2. . . . . . . . . . . . . . . . . 71 M. MatsuiandT. Tokita OntheDecorrelatedFastCipher(DFC)andItsTheory. . . . . . . . . . . . . . . . . . . . 81 L. R. KnudsenandV. Rijmen RemotelyKeyedEncryption ScrambleAll,EncryptSmall. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 M. Jakobsson,J. P. Stern,andM. Yung AcceleratedRemotelyKeyedEncryption. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 S. Lucks AnalysisofBlockCiphersI MissintheMiddleAttacksonIDEAandKhufu. . . . . . . . . . . . . . . . . . . . . . . . . . . 124 E. Biham,A. Biryukov,andA. Shamir ModnCryptanalysis,withApplicationsagainstRC5PandM6. . . . . . . . . . . . 139 J. Kelsey,B. Schneier,andD. Wagner TheBoomerangAttack. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156 D. Wagner Miscellaneous TowardsMakingLuby-Racko CiphersOptimalandPractical . . . . . . . . . . . . . 171 S. Patel,Z. Ramzan,andG. S. Sundaram ANewCharacterizationofAlmostBentFunctions. . . . . . . . . . . . . . . . . . . . . . . . . 186 A. Canteaut,P. Charpin,andH. Dobbertin ImprimitivePermutationGroupsandTrapdoorsinIteratedBlockCiphers. 201 K. G. Paterson VIII TableofContents ModesofOperation OntheSecurityofDoubleand2-KeyTripleModesofOperation. . . . . . . . . . . 215 H. HandschuhandB. Preneel OntheConstructionofVariable-Input-LengthCiphers. . . . . . . . . . . . . . . . . . .
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Large-scale open distributed systems provide an infrastructure for assembling global applications on the basis of software and hardware components originating from multiple sources. Open systems rely on publicly available standards to… permit heterogeneous components to interact. The Internet is the archetype of a large-scale open distributed system; standards such as HTTP, HTML, and XML, together with the widespread adoption of the Java language, are the cornerstones of many distributed systems. This book surveys security in large-scale open distributed systems by presenting several classic papers and a variety of carefully reviewed contributions giving the results of new research and development. Part I provides background requirements and deals with fundamental issues in trust, programming, and mobile computations in large-scale open distributed systems. Part II contains descriptions of general concepts, and Part III presents papers detailing implementations of security concepts. 520 pp. Englisch.
Sprache: Englisch
Verlag: Springer, Springer Berlin Heidelberg Jun 1999, 1999
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Symmetric multiprocessors (SMPs) dominate the high-end server market and are currently the primary candidate for constructing large scale multiprocessor systems. Yet, the design of e cient parallel algorithms for this platform c- rent…ly poses several challenges. The reason for this is that the rapid progress in microprocessor speed has left main memory access as the primary limitation to SMP performance. Since memory is the bottleneck, simply increasing the n- ber of processors will not necessarily yield better performance. Indeed, memory bus limitations typically limit the size of SMPs to 16 processors. This has at least twoimplicationsfor the algorithmdesigner. First, since there are relatively few processors availableon an SMP, any parallel algorithm must be competitive with its sequential counterpart with as little as one processor in order to be r- evant. Second, for the parallel algorithm to scale with the number of processors, it must be designed with careful attention to minimizing the number and type of main memory accesses. In this paper, we present a computational model for designing e cient al- rithms for symmetric multiprocessors. We then use this model to create e cient solutions to two widely di erent types of problems - linked list pre x com- tations and generalized sorting. Both problems are memory intensive, but in die rent ways. Whereas generalized sorting algorithms typically require a large numberofmemoryaccesses, they areusuallytocontiguousmemorylocations. By contrast, prex computation algorithms typically require a more modest qu- tity of memory accesses, but they are are usually to non-contiguous memory locations. 364 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In Ionic Polymerization and Related Processes, internationally recognised academic and industrial researchers discuss and debate the latest developments in the field. The major focus is on cationic polymerizations, but related anionic… and controlled radical processes are also discussed. 412 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Jun 1999, 1999
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998.The 15 revised full papers present…ed were carefully selected during two rounds of reviewing. The volume covers a wide range of topics including parallel process organization, parallel profiling, compilation and semantics of parallel systems, programming methodology, interrupt handling, strictness analysis, concurrency and message passing, and inter-language working. 264 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 20th International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for the dissemination of the latest results in the applicatio…n and theory of Petri nets. Typically there are some 150-200 participants and usually one third of these come from industry, while the rest are from universities and research institutions. The conferences and a number of other activitiesare co- dinatedbyasteering committeeformedby: G.Balbo (Italy),J. Billington(A- tralia), C. Girault (France), K. Jensen (Denmark), S. Kumagai (Japan), G. De Michelis (Italy), T. Murata (U.S.A.), C.A. Petri (Germany; honorary member) W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chair), M. Silva (Spain). The 1999 Petri net conference took place in Williamsburg, Virginia, and was organized by the Department of Computer Science of The College of William and Mary, Williamsburg. This was the second time the conference had been organized in the United States. We received 45 submissions from 15 countries on 5 continents of which 21 accepted for presentation. The submitted papers were evaluated by a program committee with the following members: W. van der Aalst (The Netherlands), P. Azema (France), W. Brauer (Germany), S. Christensen (Denmark), A. Desrochers (U.S.A.), S. Donatelli (Italy; co-chair), C. Girault (France), L. Gomes (Portugal), J. Hillston (United Kingdom), E. 440 pp. Englisch.
