springer berlin heidelberg springer berlin heidelberg feb 1993 (65 risultati)

Taschenbuch. Condizione: Neu. Neuware -M. Sharples 1. 1 The Collaborative Tradition Collaborative writing is nothing new. The description below is from the introduction to a book published in 1911: Every page, however, has been debated and passed by the three of us. Our usual method has been, first to pick up a subject that interested us, perhaps a subject we had been talking about for a long while, then to discuss it and argue over it, ashore and afloat, in company and by ourselves, till we came to our joint conclusion. Then on a rough day, in a set-to discussion, I would take down notes, which frequently amounted in length to more than half the finished article. From the notes I would make a rough draft, which, after more discussion, would be re written, and again, after revision, typewritten. We would go through the printer's proofs together and finally, after reading the matter in print, we have once more revised it for book publication. Collaboration could not be more thorough. (Reynolds, et al. 1911, p. x) The book, Seems So! A Working-class View of Politics, was written by an aca demic working closely with two fishermen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains papers which investigate how to extendlogic programming toward the artificial intelligence andsoftware engineering areas, covering both theoretical andpractical aspects. Some papers investigate topics such asabductive reasoning and negation. Some works discuss how toenhance the expressive power of logic programming byintroducing constraints, sets, and integration withfunctional programming. Other papers deal with thestructuring of knowledge into modules, taxonomies, andobjects, withthe aim of extending logic programming towardsoftware engineering applications. A section is devoted topapers concentrating on proof theory and inspired byGentzen-style sequent or natural deduction systems. Topicssuch as concurrency are considered to enhance the expressivepower of logic languages. Finally, some papers mainlyconcernimplementation techniques for some of these logicprogramming extensions.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Buch. Condizione: Neu. Neuware -In the first part of this EMS volume Yu.V. Egorov gives an account of microlocal analysis as a tool for investigating partial differential equations. This method has become increasingly important in the theory of Hamiltonian systems. Egorov discusses the evolution of singularities of a partial differential equation and covers topics like integral curves of Hamiltonian systems, pseudodifferential equations and canonical transformations, subelliptic operators and Poisson brackets. The second survey written by V.Ya. Ivrii treats linear hyperbolic equations and systems. The author states necessary and sufficient conditions for C - and L2 -well-posedness and he studies the analogous problem in the context of Gevrey classes. He also gives the latest results in the theory of mixed problems for hyperbolic operators and a list of unsolved problems. Both parts cover recent research in an important field, which before was scattered in numerous journals. The book will hence be of immense value to graduate students and researchers in partial differential equations and theoretical physics. 256 pp. Englisch.

Buch. Condizione: Neu. Neuware -The aim of this work is threefold: First it should be a monographical work on natural bundles and natural op erators in differential geometry. This is a field which every differential geometer has met several times, but which is not treated in detail in one place. Let us explain a little, what we mean by naturality. Exterior derivative commutes with the pullback of differential forms. In the background of this statement are the following general concepts. The vector bundle A kT\* M is in fact the value of a functor, which associates a bundle over M to each manifold M and a vector bundle homomorphism over f to each local diffeomorphism f between manifolds of the same dimension. This is a simple example of the concept of a natural bundle. The fact that exterior derivative d transforms sections of A kT\* M into sections of A k+1T\* M for every manifold M can be expressed by saying that d is an operator from A kT\* M into A k+1T\* M.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Buch. Condizione: Neu. Neuware -At the request of our publishers, I accepted the task of preparing this second edition. I felt this was necessary for several reasons: new imaging technologies such as CT scanning and 3-D reconstructions are now used routinely, the in dications for employing improved approaches are clearer, and reconstructions are facilitated by new internal fixation devices. Above all, I thought it was time to report the long-term results of the 940 acetabular fractures, 90070 of which were treated surgically - a unique series. In spite of the experience acquired from the three previous reviews of cases (1966, 1971, and 1978), I failed to foresee the amount of time this revision would need. In fact, it took more than 3 years to follow up the larger number of cases, and 159 patients (out of 800, i. e. 22. 7%) were not included as they had moved since their last review and simply could not be located. At a time when it is in fashion to evaluate the cost of health care, it is strange to see how public administrators, so keen on evaluating the immediate cost of our opera tions, do not care about the quality of their long-term results, which appears to us, however, to be the best basis for the choice of the initial treatment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 760 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Mit Fertigungsinseln wird eine interessante M|glichkeit zurwirtschaftlichenund humanen Gestaltung desFertigungsbereiches vorgestellt, die zunehmenden Eingang indie industrielle Einzel-, Klein- und Mittelserienfertigungfindet. Dabei wendet sich dieser Band vornehmlich an kleineund mittlere Unternehmen, denn er zeigt Wege, bei geringemInvestment mittels Nutzung fortschrittlicher betrieblicherInformationstechnik zu leistungsf{higenOrganistionsstrukturen zu gelangen.Fertigungsinseln als Organisationsform versprechen beih|herer Termintreue eine Verringerung der Durchlaufzeitenund eine Verbesserung der Fertigungsqualit{t. Dieses Buchbetrachtet Fertigungsinseln aber nicht nur als isoliertebetriebliche Organisationsstruktur. Es werden vielmehrM|glichkeiten der Integration in }bergeordneteCIM-Strukturen aufgezeigt, wobei der Koordination mehrererInseln besondere Bedeutung zukommt. Neben den grundlegendenAusf}hrungen zum Thema macht eine Reihe vonrealisiertenBeispielen das Buch zum Handwerkszeug f}r den industriellenPraktiker.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Realisierung entwickeln.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die hier zusammengefa~ten Ergebnisse einer interdisziplin{ren Fachtagung vermitteln den aktuellen Wissensstand beiausgew{lten Darmerkrankungen. Ber}cksichtigt werden coloretale Tumoren, Darminfektionen bei Reisenden und Bewohnerntropischer L{nder, Funktionsst|rungen durch EnzymmangelIntoleranzen und Nahrungsmittelallergene, extraintestinaleManifestationen, neue Aspekte aus der Darmimmunologie sowiediagnostische Ans{tze und Behandlungsm|glichkeiten durchnicht antibiotisch wirksame Pr{parate. ]bersichtsreferateund neue Forschungsergebnisse von Wissenschaftlern der relevanten klinischen und theoretischen F{cher geben dem Lesernicht nur praktische Hinweise, sondern vermitteln gleichzeitig das notwendige theoretische Wissen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Der Rechner am Arbeitsplatz ist bereits weitgehend eine Selbstverstandlichkeit. Durch Vernetzung und zunehmend multimediale Eigenschaften entwickeln sich verteilte Sy steme von Rechnern zu einer breit nutzbaren Infrastruktur der Informations- und Kommunikationstechnik. Die Verschmelzung dieser Gebiete, traditionell der Daten verarbeitung und der Fernmeldetechnik, hat sich in der Reihe der Tagungen 'Kom munikation in Verteilten System en (KiVS)' schon fruhzeitig angekOndigt -und zu einer rasanten Entwicklung gefOhrt. So ist es sicher keine Zufalligkeit, daB die KiVS auf dem Gebiet der Kommunikationstechnik zu einer der graBten wissenschaftlichen Fachta gungen im nationalen Bereich heranwuchs. Die KiVS'93 ist die 8. Tagung in ihrer Reihe und findet nach Berlin, Aachen, Stuttgart und Mannheim erstmals in MOnchen statt. Die Tagungen werden von dem Fachaus schuB 'Kommunikation und Verteilte Systeme' durchgefUhrt. Der FachausschuB ge hart sowohl der GI (Gesellschaft fUr Informatik) als auch der ITG an (Informations technische Gesellschaft im Verband Deutscher Elektrotechniker, VDE). Fur die DurchfUhrung der Veranstaltung in Munchen ist die ITG verantwortlich. Auf dem Gebiet der Kommunikation in Verteilten Systemen nehmen die Teilgebiete der Multimedia-Kommunikation und des Netzmanagements eine Schlusselrolle in der Aktualitat ein. Multimedia-Kommunikation steht in Wechselwirkung mit zahlreichen anderen Teilgebieten wie Hochgeschwindigkeitsnetzen und -protokollen, der Syn chronisation der einzelnen Medien oder geeigneten Referenzmodellen multimedialer Kommunikation. Fur das Netzmanagement stehen insbesondere Fragen einer inte grierten Lasung fUr heterogene Netze an.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 632 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -In diesem Buch wird ein nichtlinearesZweikompartimentmodell der Lunge, welches wesentlicheMerkmale der Atemmechanik eines ARDS-Patienten aufweist,inForm einer Computersimulation vorgestellt. Nach Anpassungdes Modellsan Daten, die bei Patienten mitunterschiedlichem Schweregrad des ARDS und 4verschiedenenPEEP-Stufen gemessen wurden, erlauben die ModellparameterAussagen }ber Funktionskompartimente der Lunge. DieBeurteilung der therapeutischen Effekte des PEEP wird somit Hilfe einer nichtinvasieven Me~methode verfeinert. Eswird gezeigt, da~ die intrapulmonalen Druckverl{ufe inverschiedenen Kompartimenten unterschiedlich sein k|nnen unddie Gefahr besteht, da~ unter der klassichenPEEP-Beatumung]berdehnungsph{nomene gerade die bis dahin wenigergesch{digten Lungenareale betreffen. Gleichzeit wird derWeg zu neuen Beatmungsformen aufgzeigt, die sich anhandeiner Modellsimulaiton an die gegebenen Verh{ltnisse desbeatmetetn Patienten anpassen und Verbesserungen desGausaustausches ohne die gef}rchtete ]berbl{hung einzelnerpulmonaler Bezirke erwarten lassen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Das Buch gibt erstmals einen Überblick über die in der Papierindustrie eingesetzten Chemikalien. Anwendungsbereiche, Funktionen und alle stoffspezifischen, ökologisch relevanten Informationen werden übersichtlich in Datenblättern dargestellt. Dabei wurden alle wichtigen Papierprodukte, wie Druck-, Presse-, Büro-, Administrations-, Hygiene- und Verpackungspapiere berücksichtigt. Dem umfangreichen Datenteil ist eine Darstellung der Papierherstellung und der damait verknüpften Prozesse vorangestellt. Das Buch wird in der Papierindustrie, bei Behörden und vor allem dort sehr hilfreich sein, wo Richt- und Grenzwerte vorgegeben werden sollen oder wo der Papierhersteller oder -anwender mehr über Inhaltsstoffe und deren Umweltwirkungen wissen soll.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1308 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains papers which investigate how to extendlogic programming toward the artificial intelligence andsoftware engineering areas, covering both theoretical andpractical aspects. Some papers investigate topics such asabductive reasoning and negation. Some works discuss how toenhance the expressive power of logic programming byintroducing constraints, sets, and integration withfunctional programming. Other papers deal with thestructuring of knowledge into modules, taxonomies, andobjects, withthe aim of extending logic programming towardsoftware engineering applications. A section is devoted topapers concentrating on proof theory and inspired byGentzen-style sequent or natural deduction systems. Topicssuch as concurrency are considered to enhance the expressivepower of logic languages. Finally, some papers mainlyconcernimplementation techniques for some of these logicprogramming extensions. 436 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book reports research conducted in the ESPRIT project PECOS, which investigated the requirements for effective CSCW (Computer Supported Cooperative Work) with special reference to cooperation among organisations in large projects. It indicates commercial areas where CSCW technology can be applied, and examines such methodological issues as enterprise modelling, system architecture, and the incorporation of artificial intelligence techniques. PECOS studied two practical contexts. The first was the management of a complex industrial project, the construction of a high-speed train for the Italian railway, which required cooperation among four private companies. The second was the design of an information system for water management in the Lombardy region, which required cooperation among several different branches of public administration.fhese contexts were analysed, applying techniques of enterprise modelling, in order to identify requirements for CSCW systems. The composition of the book is as follows. Chapter 1 presents some highlights of the vast literature on cooperation, including results from psycholOgy, sociology, management science, linguistics, and artificial intelligence. Chapter 2 reviews the much shorter history of CSCW, with reference to a catalogue of existing systems given in an appendix at the end of the book. The next four chapters contain our original findings. 152 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents selected papers from an internationalworkshop devoted tothe theory, techniques and tools ofdecision analysis and support. Major trends in thedevelopment of this field are stressed, such as the tendencyto place the final user of a decision support system in thecenter of attention, or an emerging connection between toolsand software environments for modeling and for decisionsupport. The volume is acontinuation of the reports onearlier meetings which were published in the same series. 316 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This proceedings volume contains a selection of revised andextended papers presented at the Second InternationalWorkshop on Nonmonotonic and InductiveLogic, NIL '91, whichtook place at Reinhardsbrunn Castle, December 2-6, 1991.The volume opens with an extended version of a tutorial onnonmonotonic logic by G. Brewka, J. Dix, and K. Konolige.Fifteen selected papers follow, on a variety of topics. Themajority of papers belong either to the area of nonmonotonicreasoning or to the field of inductive inference, butsome papers integrate research from both areas.The first workshop in this series was held at the Universityof Karlsruhe in December 1990 and its proceedings werepublished as Lecture Notes in Artificial Intelligence Volume543. The series of workshops was made possible by financialsupport from Volkswagen Stiftung, Hannover. This workshopwas also supported by IBM Deutschland GmbH and Siemens AG. 348 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 18th International Workshop on Graph-Theoretic Conceptsin Computer Science (WG '92) was held inWiesbaden-Naurod, Germany, June 18-20, 1992. Itwasorganized by the Department of Computer Science, JohannWolfgang Goethe University, Frankfurt am Main.Contributions with original results inthe study andapplication of graph-theoretic concepts in various fields ofcomputer science were solicited, and 72 papers weresubmitted and reviewed, from which 29 were selected forpresentation at the workshop. The workshop was attended by61 scientists from 16 countries. All 29 papers in thevolume have undergone careful revision after the meeting,based on the discussions and comments from the audience andthe referees.The volume is divided into parts on restricted graphclasses, scheduling and related problems, parallel anbddistributed algorithms, combinatorial graph problems, graphdecomposition, graph grammars and geometry, and modelling bygraphs. 364 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Image processing is a fascinating applications area, not a fundamental science of sufficient generality to warrant studying it for its own sake. In this area, there are many opportunities to apply art and experience, as well as knowledge from a number of sciences and engineering disciplines, to the creation of products and processes for which society has an expressed need. Without this need, work in the field would be sterile, but with it, image processing can readily provide the interested scientist or engineer with a professioilal lifetime of challenging problems and corresponding rewards. This point of view motivates this book and has influenced the selection and treatment of topics. I have not attempted to 1 be encyclopedic; this service has already been performed by others. It will be noted that the word 'digital' is not in the title of this book. While much of present-day image processing is implemented digitally, this work is not intended for those who think of image processing as a branch of digital signal processing, except, perhaps, to try to change their minds. Image gathering and image display, vital parts of the field with strong effects on image quality, are inherently analog, as are all of the channels and media now used, or likely to be used in the future, to record TV signals and to transmit them to the home. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A series of workshops devoted to modern cryptography beganin Santa Barbara,California in 1981 and was followed in1982 by a European counterpart in Burg Feuerstein, Germany.The series has been maintained with summer meetings in SantaBarbara and spring meetings somewhere in Europe. At the 1983meeting in Santa Barbara the International Association forCryptologic Research was launched and it now sponsors allthe meetings of the series. This volume presents theproceedings of Eurocrypt '92, held in Hungary. The papersare organized into the following parts: Secret sharing, Hashfunctions, Block ciphers, Stream ciphers, Public key I,Factoring, Trapdoor primes and moduli (panel report), Publickey II, Pseudo-random permutation generators, Complexitytheory and cryptography I, Zero-knowledge, Digital knowledgeand electronic cash, Complexity theory andcryptography II,Applications, and selected papers from the rump session.Following the tradition of the series, the authors producedfull papers after the meeting, in some cases with revisions. 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The laboratory work to the dynamics of turbidity currentsoutlined in this volume, is the first experimentalinvestigation of the nature of downslape gravity-drivencurrents of suspended sediments which are reflected/deflected against obstacles such as seamounts oceanfloorslopes. Scientists and researchers working on theinterpretation and understanding of features occurring insequence stratigraphic sections will find useful clues. 196 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents selected papers from an internationalworkshop devoted tothe theory, techniques and tools ofdecision analysis and support. Major trends in thedevelopment of this field are stressed, such as the tendencyto place the final user of a decision support system in thecenter of attention, or an emerging connection between toolsand software environments for modeling and for decisionsupport. The volume is acontinuation of the reports onearlier meetings which were published in the same series.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and discussing ways of achieving safety in computer systems to be used in safety-critical industrial applications. The book is divided into three parts, which correspond with the themes of the three days of the symposium. The first - Experience from Around Europe - brings together information on developments in safety-critical systems outside the UK. The second - Current Research - consists of papers on large projects within the UK, which involve collaboration between academia and industry, providing techniques and methods to enhance safety. The final part - Achieving and Evaluating Safety - explores how methods already in use in other domains may be applied to safety, and examines the relationships between safety and other attributes such as quality and security. The papers identify the current problems and issues of interest in the field of safety-critical software-based systems, and provide valuable up-to-date material for those in both academia and industry. The academic will benefit from information about current research complimentary to his own, and the industrialist will learn of the technologies which will soon be available and where to find them.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This proceedings volume contains a selection of revised andextended papers presented at the Second International Workshop on Nonmonotonic and InductiveLogic, NIL '91, which took place at Reinhardsbrunn Castle, December 2-6, 1991. The volume opens with an extended version of a tutorial on nonmonotonic logic by G. Brewka, J. Dix, and K. Konolige. Fifteen selected papers follow, on a variety of topics. The majority of papers belong either to the area of nonmonotonic reasoning or to the field of inductive inference, but some papers integrate research from both areas. The first workshop in this series was held at the University of Karlsruhe in December 1990 and its proceedings were published as Lecture Notes in Artificial Intelligence Volume 543. The series of workshops was made possible by financial support from Volkswagen Stiftung, Hannover. This workshop was also supported by IBM Deutschland GmbH and Siemens AG.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A series of workshops devoted to modern cryptography beganin Santa Barbara,California in 1981 and was followed in1982 by a European counterpart in Burg Feuerstein, Germany.The series has been maintained with summer meetings in SantaBarbara and spring meetings somewhere in Europe. At the 1983meeting in Santa Barbara the International Association forCryptologic Research was launched and it now sponsors allthe meetings of the series. This volume presents theproceedings of Eurocrypt '92, held in Hungary. The papersare organized into the following parts: Secret sharing, Hashfunctions, Block ciphers, Stream ciphers, Public key IFactoring, Trapdoor primes and moduli (panel report), Publickey II, Pseudo-random permutation generators, Complexitytheory and cryptography I, Zero-knowledge, Digital knowledgeand electronic cash, Complexity theory andcryptography IIApplications, and selected papers from the rump session.Following the tradition of the series, the authors producedfull papers after the meeting, in some cases with revisions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -with Dynamic Priorities P. Bremond-Gregoire, S. Davidson and I. Lee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 Exception Handling in Process Algebra F. S. de Boer, J. Coenen and R. Gerth . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 Session 3 Observation Trees (Extended Abstract) P. Degano, R. De Nicola and U. Montanari. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 Computing Ready Simulations Efficiently B. Bloom and R. Paige . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 Verification of Value-Passing Systems Z. Schreiber . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The 18th International Workshop on Graph-Theoretic Conceptsin Computer Science (WG '92) was held inWiesbaden-Naurod, Germany, June 18-20, 1992. Itwasorganized by the Department of Computer Science, JohannWolfgang Goethe University, Frankfurt am Main.Contributions with original results inthe study andapplication of graph-theoretic concepts in various fields ofcomputer science were solicited, and 72 papers weresubmitted and reviewed, from which 29 were selected forpresentation at the workshop. The workshop was attended by61 scientists from 16 countries. All 29 papers in thevolume have undergone careful revision after the meetingbased on the discussions and comments from the audience andthe referees.The volume is divided into parts on restricted graphclasses, scheduling and related problems, parallel anbddistributed algorithms, combinatorial graph problems, graphdecomposition, graph grammars and geometry, and modelling bygraphs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Computer supported cooperative work (CSCW) systems will undoubtedly play an important role in the application of information systems in the 1990s and beyond. The term 'cooperative' is often taken for granted and it is assumed that CSCW users are willing and able to cooperate without any difficulty. This assumption ignores the possibility of conflict and, as a result, the expression, management and resolution of conflict are not supported. CSCW: Cooperation or Conflict arose from a one-day meeting on computer supported cooperative work which examined the role of conflict in collaborative work. The aim of the meeting was to examine what people actually do when they say they are cooperating, and to assess how this affects the design of systems. The chapters of this book are fuller accounts of the work presented during the meeting. The first chapter presents a survey of studies of conflict in social psychology and related fields, providing both a summary of the main findings and a set of pointers into the literature. The subsequent chapters each present a different view of conflict, focussing particularly on the social and organizational settings, and the factors which lead to conflict. The earlier chapters provide conceptual frameworks for the study of various types of conflict, while the later chapters concentrate on the implications for CSCW. The book is the first to examine conflict from a CSCW perspective. It offers a unique snapshot of current research work in this exciting field, and establishes the importance of the issue. For the designer of CSCW systems, it offers insights into the role of conflict, and an analysis of some of the assumptions on which existing CSCW sytems have been based. For the student and researcher, it provides both an introduction to the area, and a set of in-depth studies suitable to inform future research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Image processing is a fascinating applications area, not a fundamental science of sufficient generality to warrant studying it for its own sake. In this area, there are many opportunities to apply art and experience, as well as knowledge from a number of sciences and engineering disciplines, to the creation of products and processes for which society has an expressed need. Without this need, work in the field would be sterile, but with it, image processing can readily provide the interested scientist or engineer with a professioilal lifetime of challenging problems and corresponding rewards. This point of view motivates this book and has influenced the selection and treatment of topics. I have not attempted to 1 be encyclopedic; this service has already been performed by others. It will be noted that the word 'digital' is not in the title of this book. While much of present-day image processing is implemented digitally, this work is not intended for those who think of image processing as a branch of digital signal processing, except, perhaps, to try to change their minds. Image gathering and image display, vital parts of the field with strong effects on image quality, are inherently analog, as are all of the channels and media now used, or likely to be used in the future, to record TV signals and to transmit them to the home.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book reports research conducted in the ESPRIT project PECOS, which investigated the requirements for effective CSCW (Computer Supported Cooperative Work) with special reference to cooperation among organisations in large projects. It indicates commercial areas where CSCW technology can be applied, and examines such methodological issues as enterprise modelling, system architecture, and the incorporation of artificial intelligence techniques. PECOS studied two practical contexts. The first was the management of a complex industrial project, the construction of a high-speed train for the Italian railway, which required cooperation among four private companies. The second was the design of an information system for water management in the Lombardy region, which required cooperation among several different branches of public administration.fhese contexts were analysed, applying techniques of enterprise modelling, in order to identify requirements for CSCW systems. The composition of the book is as follows. Chapter 1 presents some highlights of the vast literature on cooperation, including results from psycholOgy, sociology, management science, linguistics, and artificial intelligence. Chapter 2 reviews the much shorter history of CSCW, with reference to a catalogue of existing systems given in an appendix at the end of the book. The next four chapters contain our original findings.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term 'information systems' is used here in a very general context to denote database systems, software development systems, knowledge base systems, proof support systems, distributed systems and reactive systems. One of the most vigorously researched topics common to all information systems is 'formal modeling'. An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from 'outside in'; that is, the aggregation of ideas is around real-life objects about which the system is to be designed. Formal methods yhen applied with this view in mind, especially during early stages of system development, can lead to a formal reasoning on the intended properties, thus revealing system flaws that might otherwise be discovered much later. Logic in different styles and semantics is being used to model databases and their transactions; it is also used to specify concurrent, distributed, real-time, and reactive systems. ,The notion of 'object' is central to the modeling of object oriented databases, as well as object-oriented design and programs in software engineering. Both database and software engineering communities have undoubtedly made important contributions to formalisms based on logic and objects. It is worthwhile bringing together the ideas developed by the two communities in isolation, and focusing on integrating their common strengths.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.