springer berlin heidelberg aug 1993 (114 résultats)

Taschenbuch. Etat : Neu. Neuware -The number field sieve is an algorithm for finding the prime factors of large integers. It depends on algebraic number theory. Proposed by John Pollard in 1988, the method was used in 1990 to factor the ninth Fermat number, a 155-digit integer. The algorithm is most suited to numbers of a special form, but there is a promising variant that applies in general. This volume contains six research papers that describe the operation of the number field sieve, from both theoretical and practical perspectives. Pollard's original manuscript is included. In addition, there is an annotated bibliography of directly related literature.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Computational geometry is the part of theoretical computerscience that concerns itself with geometrical objects; it aims to define efficient algorithms for problems involving points, lines, polygons, and so on. The field has gained popularity very rapidly during the last decade. This is partly due to the many application areas of computational geometry and partly due to the beauty of the field itself. This monograph focuses on three problems that arise in three-dimensional computational geometry. The first problem is the ray shooting problem: preprocess a set of polyhedra into a data structure such that the first polyhedron that is hit by a query ray can be determined quickly. The second problem is that of computing depth orders: we want to sort a set of polyhedra such thatif one polyhedron is (partially) obscured by another polyhedron then it comes first in the order. The third problem is the hidden surface removal problem: given a set of polyhedra and a view point, compute which parts of the polyhedra are visible from the view point. These three problems involve issues that are fundamental to three-dimensional computational geometry. The book also contains a large introductory part discussing the techniques used to tackle the problems. This part should interest not only those who need the background for the rest of the book but also anyone who wants to know more about some recent techniques in computational geometry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume constitutes the proceedings of the 5thInternational Conference on Computer Analysis of Images andPatterns (CAIP'93), held in Budapest, Hungary, in September1993.Formerly, the events in this biennial conference series werethought as a forum where East European researchers andprofessionals from academia and industry had an opportunityto discuss their results and ideas with Western colleaguesactive in image processing and pattern recognition. NowCAIP'93 has a much more international scope, and in thefuture these conferences will not any longertake place onlyin East European countries, but roam throughout wholeEurope.Besides invited talks by Belikova, Gimel'farb, Haralick andRoska, the volume contains 114 contributions, eitherpresented as lectures or posters and carefully selected by ahighly competent international program committee from atotal of some 230 submissions; thus the book gives athorough survey on recent research results and theirapplications in image processing and pattern recognition.The proceedings is organized in 20 sections, for example onimage data structures, image processing, edges and contoursHough transforms and related methods, shape, motion, 3-Dvision, character recognition and document processingbiomedical applications, industrial applications, and neuralnetworks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 884 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This graduate level textbook deals with analyzing and forecasting multiple time series. It considers a wide range of multiple time series models and methods. The models include vector autoregressive, vector autoregressive moving average, cointegrated, and periodic processes as well as state space and dynamic simultaneous equations models. Least squares, maximum likelihood, and Bayesian methods are considered for estimating these models. Different procedures for model selection or specification are treated and a range of tests and criteria for evaluating the adequacy of a chosen model are introduced. The choice of point and interval forecasts is considered and impulse response analysis, dynamic multipliers as well as innovation accounting are presented as tools for structural analysis within the multiple time series context. This book is accessible to graduate students in business and economics. In addition, multiple time series courses in other fields such as statistics and engineering may be based on this book. Applied researchers involved in analyzing multiple time series may benefit from the book as it provides the background and tools for their task. It enables the reader to perform his or her analyses in a gap to the difficult technical literature on the topic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the proceedings of the fourth EuropeanSoftware Engineering Conference. It contains 6 invitedpapers and 27 contributed papers selected from more than 135submissions.The volume has a mixtureof themes. Some, such as softwareengineering and computer supported collaborative work, areforward-looking and anticipate future developments; otherssuch as systems engineering, are more concerned with reportsof practical industrial applications. Some topics, such assoftware reuse, reflect the fact that some of the concernsfirst raised in 1969 when software engineering was bornremain unsolved problems.The contributed papers are organized under the followingheadings: requirements specification, environments, systemsengineering, distributed software engineering, real-timesystems, software engineering and computer supportedcollaborative work, software reuse, software process, andformal aspects of software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Buch. Etat : Neu. Neuware -With the advent of powerful computing tools and numerous advances in math ematics, computer science and cryptography, algorithmic number theory has become an important subject in its own right. Both external and internal pressures gave a powerful impetus to the development of more powerful al gorithms. These in turn led to a large number of spectacular breakthroughs. To mention but a few, the LLL algorithm which has a wide range of appli cations, including real world applications to integer programming, primality testing and factoring algorithms, sub-exponential class group and regulator algorithms, etc . Several books exist which treat parts of this subject. (It is essentially impossible for an author to keep up with the rapid pace of progress in all areas of this subject.) Each book emphasizes a different area, corresponding to the author's tastes and interests. The most famous, but unfortunately the oldest, is Knuth's Art of Computer Programming, especially Chapter 4. The present book has two goals. First, to give a reasonably comprehensive introductory course in computational number theory. In particular, although we study some subjects in great detail, others are only mentioned, but with suitable pointers to the literature. Hence, we hope that this book can serve as a first course on the subject. A natural sequel would be to study more specialized subjects in the existing literature.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Englisch.

Buch. Etat : Neu. Neuware -This book deals with methods for solving nonstiff ordinary differential equations. The first chapter describes the historical development of the classical theory, and the second chapter includes a modern treatment of Runge-Kutta and extrapolation methods. Chapter three begins with the classical theory of multistep methods, and concludes with the theory of general linear methods. The reader will benefit from many illustrations, a historical and didactic approach, and computer programs which help him/her learn to solve all kinds of ordinary differential equations. This new edition has been rewritten and new material has been included.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -In der Antike mythisch verklärt, später als Rohstoffquelle verbraucht, sind Wale und Delphine mittlerweile zu Publikumslieblingen und Symboltieren des Naturschutzes geworden. Wolfgang Gewalt pflegt seit mehr als einem Vierteljahrhundert fast täglichen Umgang mit diesen faszinierenden Tieren - im Zoo und draußen im freien Meer. Er erzählt von der Herkunft der Wale und Delphine, ihrem Lernvermögen, ihrer Sprache und ihrem Verhalten. Locker und verständlich erhält der Leser damit einen unmittelbaren Einblick in den heutigen Stand der Walkunde.

Taschenbuch. Etat : Neu. Neuware -ACHTUNG!!!Für Werbeblatt Vorlage von Fr. Venninger verwenden Was ist ein Zahnarztbesuch für Sie Reine Routine zur Vorsorge oder eine unangenehme Notwendigkeit, die man möglichst lange hinausschiebt Damit der Termin beim Zahnarzt seinen Schrecken verliert, zeigt dieses Buch, was man selbst zum Erhalt der Zähne tun kann. Doch zuerst erklärt Elmar Wendler die Entstehung, Struktur und Funktion der Zähne. Danach befaßt er sich mit bewährten und neuen Methoden der zahnärztlichen Behandlung, mit Plomben und Kronen, Brücken und herausnehmbarem Zahnersatz, mit der Behandlung bei Zahnfleischerkrankungen und dem Zähneziehen. Als Grundlage für das Gespräch mit dem Zahnarzt und für die Entscheidung über die oft teuren Behandlungsmaßnahmen ist dieses Buch eine unentbehrliche Hilfe.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Angst zu haben, ist in vielen Situationen ganz normal. Doch wenn Ängste anfangen, das Alltagsleben zu beeinträchtigen, sollte man etwas dagegen tun. Wer - aus persönlicher Betroffenheit, als Freund oder als Familienangehöriger - nach Informationen über Ängste sucht, findet in diesem Buch alles Wissenswerte über ihre Ursachen, Erscheinungsformen und Behandlungsmöglichkeiten. Die Spinnenphobie taucht ebenso auf wie die Platz- und Höhenangst, Waschzwänge aus Angst vor Infektionen, Schul- und Prüfungsängste und viele mehr. Isaac Marks zeigt, daß nicht immer professionelle Hilfe nötig ist, wenn Ängste zur Last werden. Sein Selbsthilfeprogramm führt die Betroffenen in fünf Schritten zur Bewältigung der Angst.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -In der Antike mythisch verklärt, später als Rohstoffquelle verbraucht, sind Wale und Delphine mittlerweile zu Publikumslieblingen und Symboltieren des Naturschutzes geworden. Wolfgang Gewalt pflegt seit mehr als einem Vierteljahrhundert fast täglichen Umgang mit diesen faszinierenden Tieren - im Zoo und draußen im freien Meer. Er erzählt von der Herkunft der Wale und Delphine, ihrem Lernvermögen, ihrer Sprache und ihrem Verhalten. Locker und verständlich erhält der Leser damit einen unmittelbaren Einblick in den heutigen Stand der Walkunde.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Jungen Menschen, die vor dem Entschlu~ f}r ein Studium der Rechtswissenschaften stehen, will dieses Buch eine Orientierungshilfe zur L|sung ihrer Berufswahl geben; auch Studienanf{ngern dient es als neuartig konzipierte Einf}hrung in die Hauptprobleme, aber auch Teilgebiete der Jurisprudenz. Dar}ber hinaus finden Interessierte erste Informationen }ber Denkweise und Probleme der Juristen. So unternimmt der Autor unterschiedliche Versuche, das Recht zu definieren und analysiert die verschiedenen Methoden der Auslegung. Zur Sprache kommt aber auch das Verh{ltnis des Rechts zu den Ideologien sowie die Beziehung zwischen dem Recht und der Philosophie.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -]ber 50 Parasitenarten bedrohen die Gesundheit von Katzen.einige dieser Erreger k|nnen auch Menschen befallen undteilweise zu gef{hrlichen Erkrankungen f}hren.Birgit und Heinz Mehlhorn erkl{ren, wo und wie man dieverschiedenen Parasiten finden und erkennen kann. VielePhotos und Zeichnungen erleichtern das Bestimmen derSchmarotzer. Vorschl{ge zur Vorbeugung, Fr}herkennung undzu Abwehrma~nahmen bei Befall helfen dem Katzenhalter, seineGesundheit und die seines Haustiers zu erhalten.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die Regenw{lder der afrikanischen Tropen sind die Heimat der Gorillas. IhremLeben und ihrem Verhalten gilt dieses Buch. Angela Meder hat diese Menschenaffen }ber viele Jahre beobachtet. Anschaulich erz{hlt sie aus der Kinderstube der Gorillas, von ihrer Kommunikation, ihrem Gruppenverhalten und ihrer Intelligenz. Informationen }ber ihren Lebensraum, ihre Ern{hrung und ihre Wanderungen lassen das Leben der Gorillagruppen lebendig werden. Vergleiche mit den anderen Menschenaffen und dem Menschen machen auf Gemeinsamkeiten Besonderheiten aufmerksam. Schlie~lich erf{hrt der Leser, welche Gefahren diesen menschenscheuen Tieren drohen und was man zu ihrem Schutz tun kann.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -InhaltsangabeEinführung.- 1 Mathematische Grundlagen.- 2 Digitale Systeme.- 3 Linearer Automat.- 4 Lösungen zu den Übungsaufgaben.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für die Informatik von höchster Bedeutung ist. Lebendig und didaktisch klar wird das Studium der berechenbaren Funktionen auf dem Programmbegriff aufgebaut. Dabei sind die Induktion als Beweisprinzip und die Rekursion als Konstruktionsprinzip die beiden grundlegenden Werkzeuge für den Umgang mit Zahlen und Funktionen. Obwohl über eine gewisse Vertrautheit mit der mathematischen Argumentationsweise hinaus keine inhaltlichen Kenntnisse aus der Mathematik oder der Informatik vorausgesetzt werden, findet auch der Kenner eine durch viele neuartige Details angereicherte und an neuesten Ergebnissen orientierte Darstellung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Diese Einf}hrung zeichnet sich nicht nur durch diedidaktisch geschickte Darstellung der Grundlagen, sonderndurch eine F}lle von Erl{uterungen zu vielverwendetenSchaltungen aus.Der aktuelle Stand der analogen und digitalenHalbleiterelektronik wird exemplarisch aufgezeigt. Auftypische Anf{ngerschwierigkeiten, z.B. bei Entwurf undDimensionierung einfacher Schaltungen, wird eingegangen.Die Eigenschaften von grundlegenden Transistor- undOperationsverst{rkerschaltungen werden im Rahmen derlinearen Netzwerkanalyse berechnet. Die wichtigstenLogikfamilien der digitalen Elektronik werden besprochen undzahlreiche TTL-Schaltungen angegeben - bis hin zu parallelenund seriellen Schaltungen der Grundrechenarten. Die letztenKapitel sind modernen me~technischen Problemen gewidmet:Signalumsetzung, Messung kleiner Signale und Beispiele ausdernuklearen Elektronik.Das Buch wendet sich sowohl an den Anf{nger, sei er Studentoder Hobby-Elektroniker, als auch an denElektronik-Anwender.Ein gro~er Teil der angegebenen Schaltungen kann miteinfacher Experimentierausr}stung oder durchComputer-Simulation getestet werden. In den Abschnitten DOIT YOURSELF werden hierzu Vorschl{ge gemacht.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Diese Einführung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implementierung solcher Entwürfe in integrierten Schaltungen. Außerdem deckt sie die wesentlichen Aspekte ab, die für das Verständnis, den Einsatz und die Entwicklung entsprechender CAD-Werkzeuge wichtig sind. Das weiterführende Lehrbuch wendet sich in erster Linie an Studierende der Informatik und der Elektrotechnik; außer dem im Grundstudium aller Elektrotechnik- und Informatik-Fachbereiche vermittelten Wissen setzt es keine speziellen Grundkenntnisse voraus. Zugleich ist es für Entwickler von integrierten Schaltungen und von Entwurfswerkzeugen interessant, die einen Überblick über die Ansätze zur Automatisierung des funktionalen Entwurfs gewinnen wollen. Die Darstellung ist mit einer Vielzahl von Beispielen illustriert, Zusammenhänge werden in tabellarischen und graphischen Übersichten verdeutlicht. Übungsaufgaben am Ende der Kapitel ermöglichen die Überprüfung des Verständnisses, Hinweise auf weiterführende Literatur die Vertiefung der Stoffgebiete.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -depressivem Affekt einhergehen (Bech, 1975; Hawkins et aI. , 1988). Dieser Vermutung laBt sich durch die Erhebung beider MaBe fiir dieselben Intervalle nachgehen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Das Buch gibt einen breiten Überblick über den derzeitigen Stand von Diagnostik und Therapie der Struma maligna aus interdisziplinärer Sicht. Dies macht es für alle Fachgebiete zu einem aktuellen Nachschlagewerk. Die Kapitel zur Chirurgie bilden den Schwerpunkt: Es werden ausführlich die chirurgischen Strategien, in Abhängigkeit vom Feinnadelpunktat oder vom klinischen Tumorstadium, sowie die aktuellen Resektionstechniken besprochen. Daneben stehen Kapitel zur Epidemiologie, nuklearmedizinischen Diagnostik und Radiotherapie der Erkrankung. Außerdem werden neueste Techniken in der pathologischen Diagnostik beschrieben: Themen sind hier z.B.: Immunhistochemie, DNA-Messungen, molekularbiologische Techniken. Beiträge zur Diagnostik mit bildgebenden Verfahren sowie Feinnadelpunktionszytologie schließen die präoperative Abklärung ab. Schließlich kommen Onkologen, Nuklearmediziner, Radiotherapeuten und onkologisch tätige Chirurgen zu Wort. Wegen seiner interdisziplinären Anlage kann das Buch als Nachschlagewerk für Ärzte unterschiedlicher Fachrichtungen dienen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -'Koh{rente Optik' beschreibt ausgehend von denGrundbegriffen der Koh{renz und seiner Messung dieGrundlagen f}r Interferometrie, Holographie und Fourieroptiksowie die me~technischen Methoden dieser Gebiete. V|lligneuartige Anwendungen werden durch das Gebiet dernichtlinearen Optik erschlossen: der Laser und seinenichtlineare Dynamik, das Wellenmischen, diePhasenkonjugation und die optische Nachrichtentechnik undDatenverarbeitung. Durch die verst{ndliche und anschaulicheDarstellung mit vielen Beispielen und ]bungsaufgaben eignetsich das Lehrbuch sowohl als Vorlesungsbegleiter als auchzum Selbststudium. Ein Anhang zu Fouriertransformation unddigitaler Hologrammberechnung sowie die L|sungen zu den etwa50 ]bungsaufgaben runden das Buch ab.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Der Begriff 'Fuzzy' - 1965 von Lofty A. Zadeh in einer Erweiterung der gewöhnlichen Mengenlehre auf die Verknüpfung unscharfer Mengen kreiert - hat seine Anwendung in zahlreichen Gebieten der Technik gefunden. In diesem Lehrbuch erhält der Leser eine leicht verständliche Einführung in die mathematischen und logischen Grundlagen. Er soll in die Lage versetzt werden, die für die Fuzzy-Logik spezifischen algebraischen und logischen Arbeitsmethoden operativ einzusetzen. Das Lehrbuch wurde mit dem Ziel entwickelt, insbesondere im Selbststudium das Werkzeug 'Fuzzy' für die berufspraktische Anwendung zu erarbeiten. Zu diesem Zweck enthält es eine große Anzahl von Beispielen aus der Anwendung sowie Aufgaben mit Lösungen. Fuzzy-Logik wendet sich gleichermaßen an Studenten der Ingenieurwissenschaften, Informatik und Wirtschaftswissenschaften, wie auch an Anwender in der industriellen Praxis, die sich in dieses aktuelle und hochbrisante Gebiet einarbeiten möchten.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Aufgrund der gro~en Fortschritte in der Diagnostik undTherapie chronischer Krankheiten bei Kindern undJugendlichen hat die klinische Ern{hrungstherapie zunehmendan Bedeutung gewonnen. Insbesondere bei Kindernmit schwerenchronischen Erkrankungen beeinflu~t eine konsequenteErn{hrungstherapie die Lebenserwartung g}nstig. Dervorliegende Band gibt einen fundierten ]berblick }berGrundlagen, Ziele, M|glichkeiten und Grenzen der klinischenErn{hrungsmedizin. Praxisbezogene Hinweise erleichtern dieAnwendung der Ern{hrungstherapie im Einzelfall und diekonkrete Umsetzung im Alltag von Klinik, Praxis undh{uslichem Umfeld.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The number field sieve is an algorithm for finding the prime factors of large integers. It depends on algebraic number theory. Proposed by John Pollard in 1988, the method was used in 1990 to factor the ninth Fermat number, a 155-digit integer. The algorithm is most suited to numbers of a special form, but there is a promising variant that applies in general. This volume contains six research papers that describe the operation of the number field sieve, from both theoretical and practical perspectives. Pollard's original manuscript is included. In addition, there is an annotated bibliography of directly related literature. 148 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains papers first presented at the SecondInternational Workshop on Field-Programmable Logic andApplications (FPL '92), held in Vienna, Austria, inAugust-September 1992.The growing importance of field-programmable devices,especially of field-programmable gate arrays, isdemonstrated by the increased number of papers submitted in1992. Of the 70 papers submitted, 23 were selected for thisbook. The first three papers were invited and discussstrategic issues and give surveys. Three papers deal withnew FPGA architectures and five papers introduce methods andtools. The last twelve papers report applications focusingon rapid prototyping or new FPGA-based computerarchitectures.The invited papersare: 'Overview of complex array-basedPLDs' by G. Biehl; 'Technologies and utilization of fieldprogrammable gate arrays' by J. Isoaho, A. Nummela, andH.Tenhunen; and 'Some considerations on field-programmablegate arrays and their impact on system design' by A.Sangiovanni-Vincentelli. 232 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is about the smooth classification of a certainclass of algebraicsurfaces, namely regular ellipticsurfaces of geometric genus one, i.e. elliptic surfaces withb1 = 0 and b2+ = 3. The authors give a completeclassification of these surfaces up to diffeomorphism. Theyachieve this result by partially computing one of Donalson'spolynomial invariants. The computation is carried out usingtechniques from algebraic geometry. In these computationsboth thebasic facts about the Donaldson invariants and therelationship of the moduli space of ASD connections with themoduli space of stable bundles are assumed known. Somefamiliarity with the basic facts of the theory of moduliofsheaves and bundles on a surface is also assumed. This workgives a good and fairly comprehensive indication of how themethods of algebraic geometry can be used to computeDonaldson invariants. 236 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We have only begun to understand the experimental nature ofsoftware engineering, the role of empirical studies andmeasurement within software engineering, and the mechanismsneeded to apply them successfully. This volume presents theproceedings of a workshop whose purpose was to gather thosemembers of the software engineering community who support anengineering approach based upon empirical studies to providean interchange of ideas and paradigms for research.The papers in the volume are grouped into six partscorresponding to the workshop sessions: The experimentalparadigm in software engineering; Objectives and context ofmeasurement/experimentation; Procedures and mechanisms formeasurement/experimentation; Measurement-based modeling;packaging for reuse/reuse of models; and technologytransfer, teaching and training. Each part opens with akeynote paper and ends with a discussion summary.The workshop served as an important event in continuing tostrengthen empirical software engineering as a majorsubdiscipline ofsoftware engineering. The deep interactionsand important accomplishments from the meeting documented inthese proceedings have helped identify key issues in movingsoftware engineering as a whole towards a true engineeringdiscipline. 292 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the 7thEuropean Knowledge Acquisition Workshop (EKAW `93), held inToulouse and Caylus, France, in September 1993.Traditionally the EKAW workshops deal with the variousaspects of knowledge acquisition as a crucial topic inartificial intelligence as well as in computer science,engineering in general, and cognitive science. EKAW `93 hadist emphasis on knowledge acquisition for knowledge-basedsystems; besides the scientific workshop on the inter-disciplinary topic of knowledge acquisition there also wasoffered an open day as a users' forum open to the public.This proceedings contains the best papers presented at thescientific workshop after they had been selected by aninternational program committee consisting of leadingexperts in the field. The volume includes two surveys by GuyBoy and Brian Gaines and is divided in two main parts: thefirst part on problem solving models has sections onbuilding steps, support tools, and comparison of approaches;the second part on life cycle and methodologies is dividedin sections on refinement, methodologies, workbenches, andelicitation techniques. 468 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Graphs can be used to convey information about relationshipsin many applications. State transition diagrams, PERT/CPMcharts, and entity-relationship diagrams are a few examplesof many applications involving graphs. Typically, nodes inthe graph represent items in the application and the edgesrepresent the relationships among these items. A grapheditor is an interactive tool that presents a graph to theuser pictorially and allows the user to edit the graph.This monograph presents the design of an extendible grapheditor, which is a graph editor that can be adapted easilyto many different application areas. Several fundamental andrecurring problem areas associated with graph editors areinvestigated and a solution is proposed for each. The topicsinvestigated are:- Graph layout: a layout constraint mechanism is presentedwhich can easily be combined with various graph layoutalgorithms.- Graphical abstraction: a novel clustering techniquecallededge concentration is presented which can reduce theapparent complexity of the graph.- Persistence: the graph structures produced by theeditorcan be kept in long-term storage using a standardized,external format for graphs.- Extendibility: the design of the proposed graph editormakes it easy to adapt to various applications.To demonstrate their feasibility, the proposed solutionshave been incorporated into EDGE, an extendible graph editorprotoype. 212 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers working in the fields ofcomputational logic and proof theory. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science. In both disciplines methods were inventedwhich arecrucial to one another. This volume contains theproceedings of the symposium. It contains contributions by36 authors from 10 different countries. In addition to 10invited papers there are 26 contributed papers selected fromover 50 submissions. 372 pp. Englisch.