springer jul 1999 (327 risultati)

Taschenbuch. Condizione: Neu. Neuware - FAY SUDWEEKS AND CELIA ROMM At the tum of the twenty-fIrst century, global communication is changing the fabric of society at a rate never experienced before. The Internet, in particular, has redrawn the map of global economy. To be competitive in today's marketplace, companies need to expand commercial activities beyond national borders. The global network of electronic infrastructure has played a signifIcant role in this expansion but the technology itself is not the factor driving the business revolution. The changes are driven by the interaction of information technology and customer demand. Customers are not only adapting to new technologies, they are demanding more and more global competition. Electronic commerce, therefore, is arguably the most important economic trend of our time. Its presence on the Internet, in particular, is becoming crucial to the effective functioning of organisations, especially in a world where companies need to deal with suppliers, customers, partners and their own units distributed across the world. A global business industry created by the Internet is no longer a projected vision of technocrats; it is a reality. The Internet is already playing a signifIcant role in determining corporate strategy and in creating values.

Taschenbuch. Condizione: Neu. Neuware - Neck pain is a common condition seen in the general practice of physiotherapy and occupational therapy. However, appropriate reading materials specifically intended for students therapists are rare. Therefore, this book is aimed to provide a comprehensive textbook for undergraduate rehabilitation sciences students, with the contribution of various experts in different medical disciplines. This book is comprised of five parts. Basic sciences such as anatomy, neurology and biomechanics of the cervical spine is included in Part One. Common pathologies, clinical investigation procedures, diagnostics imaging, surgery and orthotic management of cervical spinal disorders are discussed in Part Two. Occupational neck disorders and sports injuries causing cervical problems are discussed in Part Three, whereas the principles of rehabilitaion of patients with cervical spinal disorders are explained in Part Four. As therapists should be aware of the importance of evidence-based practice, current scientific research areas and outcome assessment of cervical spinal disorders are given in the last part of the book. Undergraduate rehabilitation sciences students, clinical therapists and other medical disciplines, such as medical students, nurses and orthopedics, will find this textbook informative and useful.

Taschenbuch. Condizione: Neu. Neuware -At this time when regulatory agencies are accepting and actively encouraging probabilistic approaches and the attribution of overall uncertainty among inputs to support Value of Information analyses, a comprehensive sourcebook on methods for addressing variability and uncertainty in exposure analysis is sorely needed. This need is adroitly met in Probabilistic Techniques in Exposure Assessment. A host of expert contributors provide a straightforward introduction to the practical tools for addressing variability and uncertainty in support of environmental and human health decision making. 151 graphs, plots, charts, and figures supplement a broad range of detailed and practical examples.

Buch. Condizione: Neu. Neuware - Future demographic developments in Europe will be caused by the specific economic, social and cultural context, and will, in turn, have a major influence on future economic and social conditions. To the extent that demographic trends differ across countries, separate countries may face different social and economic problems. As demographic trends tend to have long-lasting effects, it is important to assess the possible consequences of future demographic developments at an early stage. Within the European context, the question can be raised whether the socioeconomic and cultural dimensions of society are dominated by convergent or divergent forces, and what the consequences are of these assumed convergent or divergent tendencies for long-term future demographic developments in the countries of Europe. Since there is no unambiguous answer to this question, this book describes two alternative scenarios for Europe's future population. In the Uniformity scenario, convergent forces are dominant. This will eventually lead to a situation where only marginal economic and cultural differences exist across Europe. Trends in fertility and mortality will converge up to the year 2050, although over time patterns may differ across countries as a result of their different initial states. In contrast to the Uniformity scenario, a Diversity scenario is constructed where cultural, economic and demographic characteristics remain significantly different across countries. This book is the result of close collaboration between researchers from the Netherlands Interdisciplinary Demographic Institute (NIDI) and Statistics Netherlands (SN). Although the project was a joint effort by all researchers involved, the book has assumed the form of an edited volume, with separate chapters by small groups of authors. The authors are, of course, responsible for writing their own contributions, but they were often involved to a certain extent in the realisation of some of the other chapters as well.

Buch. Condizione: Neu. Neuware - European Populations: Unity in Diversity was the general theme of the 1999 European Population Conference, which convened in The Hague (The Netherlands) from 30 August to 3 September on behalf of the European Association for Population Studies (EAPS), The International Union for the Scientific Study of Population, (IUSSP), The Netherlands Interdisciplinary Demographic Institute (NIDI), Statistics Netherlands (SN), and The Netherlands Demographic Society (NVD). On the threshold of the third millennium, Europe is facing major and challenging demographic issues that, to a large extent, will shape its future. These challenges formed the basis for selecting special underlying themes for the plenary sessions at the conference. Four outstanding population experts were invited to present their views. Written versions of their presentations form the contents of this book. Dirk van de Kaa (The Netherlands) describes Europe and its population. Henri Leridon (France) addresses the question `How do Europeans plan their families '. Giuseppe Gesano (Italy) considers the relationship between demographic trends and the labour market, and Marek Okólski (Poland) writes about Europe's recent international migration history.

Buch. Condizione: Neu. Neuware - Inputs of nitrogen to terrestrial and aquatic ecosystems have increased several-fold over the last one hundred and fifty years, with the steepest increases during the last four decades. The expansion of fertilizer manu facture and use, the increase in fossil fuel combustion, the intensification of animal husbandry, and widespread cultivation of N2 fixing crops have all contributed to the dramatic increase in N inputs. The increase has been most rapid in Northern Hemisphere (NH) temperate ecosystems, but presently subtropical and tropical regions of Asia are also experiencing an explosive increase in N inputs to terrestrial ecosystems (W. Chameides, pers. comm. ; Galloway et al. 1996). Projected increases in N deposition for these trop ical and subtropical regions, with a high natural background of N inputs, exceed increases projected for temperate and arctic regions (Cleveland et al. submitted; Galloway et al. 1994; Holland & Lamarque 1997a). Compared to biological N fixation, N deposition is becoming a proportionately greater source of N to terrestrial and aquatic ecosystems worldwide (Vitousek et al. 1997). 6 The nitrogen contained in the atmosphere as N , 3. 9 \* 10 Tg (Tg = 2 12 10 g), is the largest reservoir of N in the Earth system (Warneck 1988). However, this paper focuses on the nitrogen emissions and deposition that have been transformed from N2 into reactive forms that are biologically avail able (e. g. Vitousek et al. 1997).

Buch. Condizione: Neu. Neuware - Mobile Computing Environments for Multimedia Systems brings together in one place important contributions and up-to-date research results in this fast moving area. Mobile Computing Environments for Multimedia Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.

Taschenbuch. Condizione: Neu. Neuware - At this time when regulatory agencies are accepting and actively encouraging probabilistic approaches and the attribution of overall uncertainty among inputs to support Value of Information analyses, a comprehensive sourcebook on methods for addressing variability and uncertainty in exposure analysis is sorely needed. This need is adroitly met in Probabilistic Techniques in Exposure Assessment. A host of expert contributors provide a straightforward introduction to the practical tools for addressing variability and uncertainty in support of environmental and human health decision making. 151 graphs, plots, charts, and figures supplement a broad range of detailed and practical examples.

Buch. Condizione: Neu. Neuware - A number of relatively new technologies, such as Enterprise Resource Planning systems, the Internet and intranets, have entered the organizational landscape. These technologies have not only enabled a wide range of social and organizational transformations, but have also challenged much of the received wisdom that operates in academic and industrial discourses. This book attempts to capture some of these strands by discussing the social and organizational issues surrounding the implementation and use of these new technologies in organizational processes. Some of the contributions are critical and reflexive by nature, while others offer rich insights through the analysis of cases. The book represents a wide scope of traditions of thought, as well as research approaches, in addressing these emerging issues. A number of practical and theoretical topics are discussed in detail, including: Implementation of ERP; Electronic commerce; Intranet implementation; The management of standards; Issues of organizational analysis; Understanding BPR tools; Collaborative technologies; Knowledge work environments. This book contains the selected proceedings of the International Working Conference on New Information Technologies in Organizational Processes: Field Studies and Theoretical Reflections on the Future of Work, organized by the International Federation for Information Processing (IFIP) and held in St. Louis, Missouri, USA, in August 1999. This valuable new title will be essential reading for researchers working in information systems and management, technology, social and organization studies.

Buch. Condizione: Neu. Neuware - Testing of Communicating Systems presents the latest worldwide results in both the theory and practice of the testing of communicating systems. This volume provides a forum that brings together the substantial volume of research on the testing of communicating systems, ranging from conference testing through interoperability testing to performance and QoS testing. The following topics are discussed in detail: Types of testing; Phases of the testing process; Classes of systems to be tested; and Theory and practice of testing.£/LIST£ This book contains the selected proceedings of the 12th International Workshop on the Testing of Communicating Systems (formerly the International Workshop on Protocol Test Systems), sponsored by the International Federation for Information Processing (IFIP), and held in Budapest, Hungary, in September 1999. The book contains not only interesting research on testing different communication technologies from telecom and datacom systems to distributed systems, but also presents reports on the application of these results in industry. Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer science and telecommunications.

Buch. Condizione: Neu. Neuware - It is certain that, over the next few years, data traffic will dwarf voice traffic on telecommunications networks. Growth in data-traffic volumes far exceeds that for voice, and is driven by increased use of applications such as e-mail attachments, remote printing and fileserver access, and the now omnipresent World Wide Web. The growth of data networking to connect computers with each other and with their peripheral devices began in earnest in the 1970s, took off in the 1980s and exploded in the 1990s. The early 21st century will see ever faster, more cost effective networks providing flexible data access into ever more businesses and homes. Since the 1970s there have been great advances in technology. For the past twenty years the processing power of computers has continued to grow with no hint of slowing - recall the oft-cited Moore's Law claiming that this power doubles every 18 months. Advances in the data networking equipment required to support the data traffic generated have been enormous. The pace of development from early X. 25 and modem technology through to some of the advanced equipment functionality now available is breathtaking - it is sometimes hard to believe that the practical router is barely ten years old! This book provides an overview of the advanced data networking field by bringing together chapters on local area networks, wide area networks and their application.

Taschenbuch. Condizione: Neu. Neuware -At this time when regulatory agencies are accepting and actively encouraging probabilistic approaches and the attribution of overall uncertainty among inputs to support Value of Information analyses, a comprehensive sourcebook on methods for addressing variability and uncertainty in exposure analysis is sorely needed. This need is adroitly met in Probabilistic Techniques in Exposure Assessment. A host of expert contributors provide a straightforward introduction to the practical tools for addressing variability and uncertainty in support of environmental and human health decision making. 151 graphs, plots, charts, and figures supplement a broad range of detailed and practical examples. 352 pp. Englisch.

Buch. Condizione: Neu. Neuware - This book champions the view that economics is a social science, and that, moreover, it may serve as a new paradigm for the social sciences. Economics is taken to be part of those sciences which deal with actual problems of society by providing insights, improving our understanding and suggesting solutions. I am aware that the way problems are addressed here has little in common with economics as it is generally understood today; most economists make strong efforts to imitate the exact sciences. Economics tends to become a branch of applied mathematics; the majority of all publications in professional journals and books are full of axioms, lemmas and proofs, and they are much concerned with purely formal deductions. Often, when the results are translated into verbal language, or when they are applied empirically, disappointingly little of interest remains. The book wants to show that another type of economics exists which is surprisingly little known. This type of economics has its own particular point of view. It centres on a concept of man, or a model of human behaviour, which differs from those normally used in other social sciences such as sociology, political science, law, or psychology. I do not, however, claim that economics is the only legitimate social science. On the contrary, economics can provide useful insights only in collaboration with the other social Vll Vlll PREFACE sciences-an aspect which has been disregarded by mathematically oriented economics.

Buch. Condizione: Neu. Neuware - the adaptation of the institutional settings of monetary policy to deal with an emerging market economy had to be carried out in the midst of an unprecedented stabilization effort and, therefore, was particularly urgent and complicated. In many of the transition countries, the transformation effort implied not just changes in procedures but the establishment of a central bank from scratch, a process that involved an important effort, precisely at a time when the whole system was in serious turmoil. While the process of reforms is not yet completed in all the transition countries, an immense amount of progress has been achieved, and many of the transition countries face today monetary and central banking conditions that are close to those of Western economies. In this volume, we collect a number of important contributions that discuss the most burning aspects of the current debates on central banking and monetary policy and draw implications for the postsocialist transition economies. The various papers included in the volume deal with a broad set of related issues, which are highly relevant not just for transition economies but for other emerging markets and for advanced economies as well. The subjects covered in the book are divided into seven major categories (Sections II to VIII), some of which overlap.

Buch. Condizione: Neu. Neuware - This book is the proceedings of the 11th Kongsberg seminar, held at the Norwegian Mining Museum in the city of Kongsberg, about 70 km Southwest of Oslo. The Kongs berg district is known for numerous Permian vein deposits, rich in native silver. Mining activity in the area lasted for more than 300 years, finally ceasing in 1957. The first eight Kongsberg seminars, organized by professor Arne Bj0rlykke, now director of the Norwegian Geological Survey, were focused on ore-forming processes. These seminars have always been a meeting point for people with a variety of geological backgrounds. Since 1995, the Kongsberg seminars have focussed on geological processes, rather than on specific geological systems, and the selection of invited speakers has been strongly influenced by their interest in the dynamics of geological systems. In 1995 and 1996, various aspects of fluid flow and transport in rocks, were emphasized. The first 'Kongsberg proceedings' (of the 1995 seminar) published by Chapman and Hall (Jamtveit and Yardley, 1997) contained 17 chapters dealing with a wide range of topics from field based studies of the effects of fluid flow in sedimentary and metamorphic rocks to computer simulations of flow in complex porous and fractured media. In 1997, the focus was changed to growth, and dissolution processes in geological systems.

Buch. Condizione: Neu. Neuware - This book is devoted entirely to methods developed in and for studies of members of the bacterial family Streptococcaceae. Many of the studies that have been conducted on the Streptococcaceae were initiated because of the diseases they cause, or to enhance their utility from an industrial perspective. However, the results of many of these investigations have demonstrated a complexity among some members of the family that warrants an interest in them in their own right, apart from or in addition to any biomedical or industrial considerations. It is therefore hoped and expected that the advanced methods contained in this book will be of interest to those who work with the streptococci and other Gram-positive organisms, to researchers interested in industrial and medical microbiology and to any researcher who seeks to obtain a better understanding of how microorganisms interact with each other, their environment and their hosts.

Buch. Condizione: Neu. Neuware - Techniques in Speech Acoustics provides an introduction to the acoustic analysis and characteristics of speech sounds. The first part of the book covers aspects of the source-filter decomposition of speech, spectrographic analysis, the acoustic theory of speech production and acoustic phonetic cues. The second part is based on computational techniques for analysing the acoustic speech signal including digital time and frequency analyses, formant synthesis, and the linear predictive coding of speech. There is also an introductory chapter on the classification of acoustic speech signals which is relevant to aspects of automatic speech and talker recognition. The book intended for use as teaching materials on undergraduate and postgraduate speech acoustics and experimental phonetics courses; also aimed at researchers from phonetics, linguistics, computer science, psychology and engineering who wish to gain an understanding of the basis of speech acoustics and its application to fields such as speech synthesis and automatic speech recognition.

Buch. Condizione: Neu. Neuware - Principles of Digital Transmission is designed for advanced undergraduate and graduate level students and professions in telecommunications. Teachers and learners can mix and match chapters to create four distinct courses: (1) a one-term basic course in digital communications; (2) a one-term course in advanced digital communications; (3) a one-term course in information theory and coding; (4) a two-term course sequence in digital communications and coding. The book provides rigorous mathematical tools for the analysis and design of digital transmission systems. The authors emphasize methodology in their aim to teach the reader how to do it rather than how it is done. They apply the fundamental tools of the discipline onto a number of systems, such as wireless data transmission systems.

Buch. Condizione: Neu. Neuware - Il moderno approccio terapeutico al paziente affetto da metastasi ha subito, nel corso dell'ultimo decennio, un radicale mutamento. Al noto concetto di diagnosi precoce del tumore primitivo viene ad affiancarsi quello della diagnosi precoce delle metastasi, al fine di intervenire altrettanto tempestivamente con intenti di potenziale radicalità. Inoltre, aumentando la sopravvivenza del malato oncologico, sistematicamente monitorato mediante tecniche di immagine, si è documentato il riscontro in vivo di metastasi anche in sedi differenti da quelle considerate classiche e un estremo polimorfismo strutturale legato sia alle caratteristiche istologiche ed evolutive del tumore sia alla terapia.Il testo esamina analiticamente i polimorfi aspetti TC delle lesioni metastatiche, le differenti modalità di diffusione, gli aspetti strutturali e le variabili sedi di colonizzazione a seconda degli specifici tumori primitivi considerati e delle singole sedi coinvolte.

Buch. Condizione: Neu. Neuware - Das Problem des Seinsglaubens in der Phänomenologie Husserls läßt sich zweifelsohne zu deren zentralen Themen wie Wahmehmung, Phantasie und Zeitbewußtsein zählen und steht auch in engem Zusammenhang mit diesen. Das Buch Seinsglaube in der Phänomenologie Edmund Husserls versucht dieses Problem zu klaren und zu zeigen, wie weit Husserl bei der Lösung dieses Problems gekommen ist und welche Fragen dabei offen blieben, die weiterer Lösungen bedürfen. Zudem werden die Gründe für das Gelingen bzw. Mißlingen bei Husserls Bemühungen herausgearbeitet. Die Einleitung erörtert die verschiedenen Bedeutungen des Begriffs 'Seinsglauben' und zeichnet den Ort des Seinsglaubens im phänomenologischen System Husserls vor. Der erste Teil des Buches stellt sich als Hauptaufgabe die Strukturanalyse des Seinsglaubens aus verschiedenen Aspekten. In den ersten vier Kapiteln wird Husserls Exposition der verschiedenen Richtungen des Seinsglaubens, der Modalitäten, Modifikationen sowie der Eigentlichkeit und der Uneigentlichkeit des Seinsglaubens stufenweise behandelt. Das V. Kapitel, das den zweiten Teil einleitet, bildet den Wendepunkt der Arbeit, da es sich einerseits weiter mit Husserls Darstellung des Seinsglaubens, und zwar hier der verschiedenen Glaubensweisen, beschäftigt, andererseits schon Bezug auf die verschiedenen Weisen der Ausschaltung des Seinsglaubens nimmt, welche im VI. VII. und VIII. Kapitel das Hauptthema bilden: die eidetische Reduktion, Neutralitätsmodifikation und die transzendentale Reduktion. Der Schwerpunkt der vorliegenden Arbeit liegt auf den in der Forschungsliteratur bisher wenig beachteten Husserlschen Analysen zur Neutralitätsmodifikation (Kapitel VII) im Zusammenhang mit dem Problem des Seinsglaubens in der Vergegenwärtigung. Da die transzendentale Reduktion, eine andere wichtige Methode der Ausschaltung des Seinsglaubens im Sinne der Neutralitätsmodifikation, in derphänomenologischen Literatur bereits gründlich behandelt ist, wird sie hier nur in dem Maß in Betracht gezogen, insofern sie sich von der Neutralitätsmodifikation deutlich abhebt. Eine rückblickende Zusammenfassung der ganzen Untersuchung beschließt die Arbeit.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'A Crash Course in Mathematica' is a compact introduction to the program Mathematica, which is widely used in mathematics, as well as in the natural and engineering sciences. 200 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the thoroughly refereed post-workshop proceedings of an international workshop on fuzzy logic in Artificial Intelligence held in Negoya, Japan during IJCAI '97.The 17 revised full papers presented have gone through two rounds of reviewing and revision. Three papers by leading authorities in the area are devoted to the general relevance of fuzzy logic and fuzzy sets to AI. The remaining papers address various relevant issues ranging from theory to application in areas like knowledge representation, induction, logic programming, robotics, pattern recognition, etc. 264 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proceedings of the NATO Advanced Study Institute, Sesimbra, Portugal, 3-15 May, 1998 612 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The primary purpose of this book is to develop and unify the theory of rational choice. Michael Allingham produces a framework in which the problems of pure choice, choice under uncertainty, strategic choice and social change are united. A secondary purpose is to comment on attitudes to risk and of the concept of knowledge to examine how these problems impact on rational choice theory. 143 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Japan's technology support system has played a crucial role in developing firms technological capability and stimulating their innovation. How has it been done, and why is it effective The research findings presented here show that what has worked best in Japan is inter-firm cooperative learning, which requires the support of public technology institutions to promote cooperation, disseminate technology, and facilitate innovation. Among the many books published about Japanese technology policies and corporate management, this is the first to show definitively that cooperative learning is important in a wide spectrum of firms, whether or not they are keiretsu-affiliated. With a caveat on the limitations of the Japanese system from an institutional perspective, the countrys techno-governance structure is revealed to be more effective in assembly-oriented industries than in those that are basic-science oriented and employ rapidly changing technology. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -User modeling researchers look for ways of enabling interactive software systems to adapt to their users-by constructing, maintaining, and exploiting user models, which are representations of properties of individual users. User modeling has been found to enhance the effectiveness and/or usability of software systems in a wide variety of situations.Techniques for user modeling have been developed and evaluated by researchers in a number of fields, including artificial intelligence, education, psychology, linguistics, human-computer interaction, and information science. The biennial series of International Conferences on User Modeling provides a forum in which academic and industrial researchers from all of these fields can exchange their complementary insights on user modeling issues. The published proceedings of these conferences represent a major source of information about developments in this area. 412 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In these lectures, we give an account of certain recent developments of the theory of spatial branching processes. These developments lead to several fas cinating probabilistic objects, which combine spatial motion with a continuous branching phenomenon and are closely related to certain semilinear partial dif ferential equations. Our first objective is to give a short self-contained presentation of the measure valued branching processes called superprocesses, which have been studied extensively in the last twelve years. We then want to specialize to the important class of superprocesses with quadratic branching mechanism and to explain how a concrete and powerful representation of these processes can be given in terms of the path-valued process called the Brownian snake. To understand this representation as well as to apply it, one needs to derive some remarkable properties of branching trees embedded in linear Brownian motion, which are of independent interest. A nice application of these developments is a simple construction of the random measure called ISE, which was proposed by Aldous as a tree-based model for random distribution of mass and seems to play an important role in asymptotics of certain models of statistical mechanics. We use the Brownian snake approach to investigate connections between super processes and partial differential equations. These connections are remarkable in the sense that almost every important probabilistic question corresponds to a significant analytic problem. 163 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 Third International Workshop on Cooperative Information Systems, CIA'99, held in Uppsala, Sweden in July/August 1999.The 16 revised full papers presented were carefully reviewed and selected from a total of 46 submissions. Also included are ten invited contributions by leading experts. The volume is divided in sections on information discovery and management on the Internet; information agents on the Internet-prototypes systems and applications; communication and collaboration, mobile information agents; rational information agents for electronic business; service mediation and negotiation; and adaptive personal assistance. 424 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Crypto '99, the Nineteenth Annual Crypto Conference, was sponsored by the International Association for Cryptologic Research (IACR), in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department, University of California, Santa Barbara (UCSB). The General Chair, Donald Beaver, was responsible for local organization and registration. The Program Committee considered 167 papers and selected 38 for presentation. This year's conference program also included two invited lectures. I was pleased to include in the program UeliM aurer's presentation 'Information Theoretic Cryptography' and Martin Hellman's presentation 'The Evolution of Public Key Cryptography.' The program also incorporated the traditional Rump Session for informal short presentations of new results, run by Stuart Haber. These proceedings include the revised versions of the 38 papers accepted by the Program Committee. These papers were selected from all the submissions to the conference based on originality, quality, and relevance to the field of cryptology. Revisions were not checked, and the authors bear full responsibility for the contents of their papers. 660 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances. 316 pp. Englisch.