springer berlin heidelberg okt 1998 (119 résultats)

Taschenbuch. Etat : Neu. Neuware -André Julg has published several papers concerning the continuity of classical physics and quantum mechanics. He provides a provocative conclusion in this book: the quantum formalism can be effectively interpreted within the framework of classical physics, provided some minor rearrangements are accepted.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Buch. Etat : Neu. Neuware -The understanding of parallel processing and of the mechanisms underlying neural networks in the brain is certainly one of the most challenging problems of contemporary science. During the last decades significant progress has been made by the combination of different techniques, which have elucidated properties at a cellular and molecular level. However, in order to make significant progress in this field, it is necessary to gather more direct experimental data on the parallel processing occurring in the nervous system. Indeed the nervous system overcomes the limitations of its elementary components by employing a massive degree of parallelism, through the extremely rich set of synaptic interconnections between neurons. This book gathers a selection of the contributions presented during the NATO ASI School 'Neuronal Circuits and Networks' held at the Ettore Majorana Center in Erice, Sicily, from June 15 to 27, 1997. The purpose of the School was to present an overview of recent results on single cell properties, the dynamics of neuronal networks and modelling of the nervous system. The School and the present book propose an interdisciplinary approach of experimental and theoretical aspects of brain functions combining different techniques and methodologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Etat : Neu. Neuware -Mathematical Visualization is a young new discipline. It offers efficient visualization tools to the classical subjects of mathematics, and applies mathematical techniques to problems in computer graphics and scientific visualization. Originally, it started in the interdisciplinary area of differential geometry, numerical mathematics, and computer graphics. In recent years, the methods developed have found important applications.The current volume is the quintessence of an international workshop in September 1997 in Berlin, focusing on recent developments in this emerging area. Experts present selected research work on new algorithms for visualization problems, describe the application and experiments in geometry, and develop new numerical or computer graphical techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Buch. Etat : Neu. Neuware -The area of material damage models has undergone a rapid development in the past few years. This is an extensive and comprehensive survey of one- and three-dimensional damage models for elastic and inelastic solids. The state-of-the-art is reported by about 200 references. The book not only provides a rich current source of knowledge, but also describes examples of practical applications, numerical procedures, and computer codes. The style of presentation is systematic, clear, and concise and is supported by illustrative diagrams. 344 pp. Englisch.

Buch. Etat : Neu. Neuware -E.P. Wigner, one of the leading scientists involved in the early development of nuclear technology, had always in mind its political and social implications. In the 60s persuing his goal of a peaceful open world he began to develop the concept of Civil Defense against nuclear attacks. Looking back one might see this as an alternative to the concept of the Nuclear Shield. The present volume contains a selection of Wigner's writings on this subject. It is annotated by Conrad Chester.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Buch. Etat : Neu. Neuware -Atomic Multielectron Processes is the first comprehensive collection of the data (mostly cross sections and methods) devoted to the multielectron transitions in atoms and ions induced by single collisions with charged particles and photons. The book covers the fundamental ranges of atomic physics which helps understanding the nature of many particle transitions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Buch. Etat : Neu. Neuware -This book serves as an essential reference for all engineers involved in signal and image processing. The book examines the theories and applications of signal processing in filtering, coding, transmitting, estimating, detecting, analysing, recognising, and reproducing sigmals. Compiles all equations necessary for signal and image processing into one edition. Provides thorough examples of equations and definitions. Offers engineers an immediate reference for all essential formulas and tables. Summarises the theories and applications related to signal and image processing. Approaches a plethora of engineering disciplines, including electrical engineering, computer engineering, mechanical engineering, and biomedical engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 856 pp. Englisch.

Buch. Etat : Neu. Neuware -Human impact on natural landscapes through urbanization and agricultural expansion are becoming more and more dramatic and are the cause of serious environmental problems. This volume examines the effect of landscape disturbance on plant and animal diversity in the five mediterranean-climate regions of the world. It begins with three introductory chapters broadly reviewing the issues of landscape degradation. Further contributions describe regional land use conflicts in each of the five regions. Landscape disturbance and plant diversity, and landscape disturbance and animal diversity are treated in separate chapters. Four contributions deal with demography and ecophysiology in vegetation succession following disturbance. The volume closes with a consideration of the future addressing aspects of environmental politics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Das vorliegende Buch bietet eine Einführung in die makroökonomische Theorie und Politik und behandelt folgende Themenbereiche: Die Bestimmung von Produktion und Beschäftigung durch Vermögensdispositionen, Einkommensverwendung und Aktionen der Geld- und Fiskalpolitik Ursachen, Konsequenzen und Bekämpfungsmöglichkeiten der Inflation mikroökonomische Funktionsprobleme des Arbeitsmarktes und makroökonomische Steuerungsmöglichkeiten des Beschäftigungsniveaus die durch Außenwirtschaftsbeziehungen begründeten Einflüsse auf die inländische Wirtschaftsentwicklung und den Handlungsspielraum der nationalen Wirtschaftspolitik Probleme der Wahl und Funktionsweise wirtschaftspolitischer Strategien.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Springers Handbuch der Betriebswirtschaftslehre vermittelt in insgesamt 19 Beiträgen einen Überblick über die wichtigsten Gebiete der Betriebswirtschaftslehre. Jeder Beitrag liefert eine verständliche Einführung in die Teilgebiete der Betriebswirtschaftslehre und eine Übersicht über aktuelle Entwicklungen. Die Beiträge stellen umfassendes, prüfungsrelevantes Wissen für Wirtschaftswissenschaftler dar. Ziel des Buches ist es, dem Leser betriebswirtschaftliche Fragen, Methoden und Erkenntnisse zu erläutern; es wendet sich in erster Linie an alle, die im Rahmen ihres Studiums betriebswirtschaftliche Zusammenhänge erkennen und verstehen wollen sowie an alle, die sich für ihre praktische Tätigkeit einen Überblick über den Stand der Betriebswirtschaftslehre verschaffen wollen. Der erste Band stellt die Grundlagen der Betriebswirtschaftslehre dar und beschäftigt sich mit der Managementfunktion und der Realgüterwirtschaft.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Springers Handbuch der Betriebswirtschaftslehre vermittelt in insgesamt 19 Beiträgen einen Überblick über die wichtigsten Gebiete der Betriebswirtschaftslehre. Jeder Beitrag liefert eine verständliche Einführung in die Teilgebiete der Betriebswirtschaftslehre und eine Übersicht über aktuelle Entwicklungen. Die Beiträge stellen umfassendes, prüfungsrelevantes Wissen für Wirtschaftswissenschaftler dar. Ziel des Buches ist es, dem Leser betriebswirtschaftliche Fragen, Methoden und Erkenntnisse zu erläutern; es wendet sich in erster Linie an alle, die im Rahmen ihres Studiums betriebswirtschaftliche Zusammenhänge erkennen und verstehen wollen sowie an alle, die sich für ihre praktische Tätigkeit einen Überblick über den Stand der Betriebswirtschaftslehre verschaffen wollen. Der (vorliegende) zweite Band erläutert die Kapital- sowie die Informationswirtschaft und schließt mit Fragen des Innovations- und Umweltmanagements ab.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Dieses Lehrbuch vermittelt Studierenden und Praktikern die Grundlagen für die Entwicklung von Übersetzern für objektorientierte Programmiersprachen.In einem Theorieteil werden zunächst ausführlich und anschaulich die Konzepte dieser Sprachen und ihrer Übersetzung behandelt, so daß der Leser einen umfassenden Überblick über die verschiedenen Übersetzungstechniken erhält. Die Übersetzung von Smalltalk-80, Java und C++ wird über eine einfache abstrakte (virtuelle) Maschine vereinheitlicht.Im Praxisteil des Buches wird dann die Spezifikation eines Übersetzers für Java entwickelt. Diese kann als Eingabe für einen Übersetzergenerator verwendet werden, der daraus ein ablauffähiges C-Programm erzeugt. In einem abschließenden Praktikum mit Aufgaben und Lösungen (Gesamtlösung im WWW) wird der vermittelte Stoff am Beispiel der Entwicklung eines Java-Compilers eingeübt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware - Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 faßt die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen.Teil III behandelt Grundbegriffe und Beschreibungstechniken für verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV führt in die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschließenden Ausblick auf Anwendungen und Auswirkungen der Informatik den Bezug zu aktuellen Fragen her.Die beiden Bände der Einführung werden durch einen Übungsband (mit CD-ROM) ergänzt: 'Übungen zur Einführung in die Informatik. Aufgabensammlung mit Musterlösungen' von M. Broy und B. Rumpe.

Taschenbuch. Etat : Neu. Neuware -Drei Meteorologen, erfahren in Theorie und Praxis, beschreiben das am Ende des 20. Jahrhunderts erreichte Know-how in der Vorhersage von Wetter und Klima. Basis des Fortschritts ist das weltumspannende, ganz wesentlich satellitengestützte System der ununterbrochenen Beobachtung atmosphärischer Vorgänge. Super-Computer und ständig verbesserte physikalische Modelle simulieren die Wetterabläufe immer detaillierter und weiter in die Zukunft hinein.Zum erstenmal im deutschsprachigen Raum wird ganz ausführlich und sehr spannend über die Meilensteine der modernen Wettervorhersage berichtet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Das Kompendium bietet Ihnen praxisbezogene Fort- und Weiterbildung in den aktuellen Themen Ihres Fachgebietes.Es faßt ausgewählte Weiterbildungs-Artikel aus der FacharztZeitschrift 'Der Internist' zum Teilgebiet Gastroenterologie in einem kompakten Überblick für Sie zusammen. Die 'Blauen Seiten' der Weiterbildungsrubrik im 'Internist' sind seit langem ein Markenzeichen für qualifizierte Fort- und Weiterbildung in allen Gebieten der inneren Medizin. Renommierte Autoren, Spezialisten in ihrem Fachgebiet, setzen neueste wissenschaftliche Erkenntnisse in didaktisch ausgefeilte, praxisgerechte Beiträge um. Jetzt sofort griffbereit für Sie: o wichtige Themen der Gastroenterologie, orientiert an der Weiterbildungsordnung Ihres Fachgebietes, o didaktisch klar und übersichtlich zum schnellen Nachschlagen und konzentrierten Lernen, o von den Autoren zusätzlich geprüft, überarbeitet und aktualisiert. Gesichertes Wissen - Ihr Gewinn: Auf Ihrem Weg zum Facharzt und bei Ihren täglichen Fragen in Klinik und Praxis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -DCE (Distributed Computing Environment) ist ein weltweit von vielen großen Computerfirmen als Produkt vertriebener Middleware-Standard. Er bietet Dienste, die die Programmierung verteilter Anwendungen auf heterogenen Rechnernetzen mit hohem Sicherheitsanspruch erleichtert. In diesem Buch wird erstmals eine Gesamtlösung vollständig beschrieben, die in der Industrie zur Einführung eines DCE-Systems als Security-Middleware für Client-Server-Systeme entwickelt wurde.Aus der Praxis heraus entstanden, diskutiert das Buch konkrete praxisrelevante Fragestellungen sowie Alternativen und Design-Entscheidungen. Im Mittelpunkt steht die mit DCE in heterogenen Systemen umsetzbare applikatorische Sicherheit. Dabei werden sowohl grundlegende Sicherheitsaspekte untersucht als auch alle notwendigen Kenntnisse über DCE vermittelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die vorliegende Sammlung von Weiterbildungs-Artikeln aus der Zeitschrift 'Der Internist' bietet dem in der Facharztausbildung befindlichen Assistenzarzt didaktisch aufearbeitetes Wissen. Die Artikel orientieren sich an der Weiterbildungsordnung des Fachgebietes und beziehen Interessen sowohl niedergelassener als auch klinisch tätiger Internisten ein.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Deutsch.

Buch. Etat : Neu. Neuware -Die Versauerung von Böden ist eines der zentralen Themen einer an Nachhaltigkeit orientierten Umwelt- und Wirtschaftspolitik. Wirksame Umweltentlastungen können hier nur durch Maßnahmen in so unterschiedlichen Bereichen wie Energiewirtschaft, Verkehr und Landwirtschaft erzielt werden. Das Buch bietet neben einer detaillierten Analyse von Emissionsverlauf und -struktur der wichtigsten Schadstoffe zunächst einen umfangreichen Überblick zu den notwendigen Emissionsminderungen. Anschließend werden die bisher in Deutschland sowie auf internationaler Ebene ergriffenen politischen Instrumente zur Emissionsminderung versauernd wirkender Substanzen im Detail analysiert, wobei Effekte bei der Emissionsminderung gleichberechtigt neben ökonomischen, sozialen und rechtlichen Aspekten stehen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die Ähnlichkeit zwischen Affe und Mensch hat schon früh die Neugier der Wissenschaft erweckt. Durch anatomisch-morphologische Vergleiche von lebenden und fossilen Primaten sowie durch biochemische und molekularbiologische Analysen läßt sich heute ein phylogenetischer Stammbaum der Homininen mit immer deutlicheren Verwandtschaftsbeziehungen nachzeichnen.Die Stammesgeschichte des Menschen erzählt diese Evolution der Homininen in verständlicher, angenehm zu lesender, aber dennoch fundierter Art. In vom Text unabhängigen Fenstern werden relevante Konzepte oder Hypothesen vertieft dargestellt - wie z.B. die ökologische Nische, life-history, die Erstbesiedlung Europas und Steinwerkzeugkulturen - oder auch spezielle methodische Aspekte der Fundinterpretation, Klassifikation, der phylogenetischen Beziehungen sowie Datierungsverfahren, z.B. die molekulare Uhr, erläutert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Deutsch.

Buch. Etat : Neu. Neuware -Die Arbeit untersucht die völker- und europarechtliche Bedeutung der seit Anfang der 90er Jahre von der Europäischen Gemeinschaft in ihre Verträge mit Drittstaaten eingebrachten Menschenrechts- und Demokratieklauseln. Deren Schutzstandard sowie das Verfahren ihrer Anwendung werden erörtert. Anhand der Praxis gegenüber afrikanischen, osteuropäischen und lateinamerikanischen Staaten wird gezeigt, daß sich die Europäische Gemeinschaft zulässigerweise mit wirtschaftlichen Druckmitteln vermehrt für die weltweite Achtung der Menschenrechte und Förderung der Demokratie einsetzt. 684 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Das Lehrbuch-Kompendium behandelt praxisorientiert die speziellen Verletzungsmechanismen bei den verschiedenen Breitensportarten. Die Neuauflage orientiert sich noch enger an der Ausbildungs- und Prüfungsordnung für Sportmedizin an Physiotherapieschulen. Sie ist didaktisch überarbeitet und ergänzt durch informative Abbildungen, aktualisierte Kapitel zu Schulter und Knie und einen neuen Abschnitt über Golf.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Deutsch.

Buch. Etat : Neu. Neuware -Die modellgestützte Bestimmung der ökologischen Wirkungen von Emissionen ermöglicht die Ermittlung naturwissenschaftlich begründeter Belastungsgrenzen von Ökosystemen, Organismen und Materialien. Im Rahmen der Aktivitäten der Wirtschaftskommission der Vereinten Nationen für Europa (UN-ECE) ist das Critical Levels- und Critical Loads-Konzept für ökologische Belastungsgrenzen gegenüber verschiedenen Luftschadstoffen entwickelt worden. In diesem Zusammenhang werden unter Critical-Levels Luftschadstoffkonzentrationen verstanden, bei deren Unterschreitung keine direkten Schäden an Rezeptoren zu erwarten sind. Unter Critical-Loads versteht man die auf einen Rezeptor unmittelbar einwirkende Schadstoffmenge und kann so die jeweiligen kritischen Eintragsraten ermitteln.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Anhand des Maastricht-Urteils ist ein grundlegender Justizkonflikt zwischen Bundesverfassungsgericht und Europäischem Gerichtshof über die letztverantwortliche Kontrolle der Gemeinschaftskompetenzen festzustellen. Während das Bundesverfassungsgericht für sich in Anspruch nimmt, am Maßstab des deutschen Übertragungsaktes zu überprüfen, ob Gemeinschaftsrecht sich im Rahmen der eingeräumten Kompetenzen hält, besteht der Europäische Gerichtshof auf ein Auslegungs- und Verwerfungsmonopol in Bezug auf Gemeinschaftsrecht. Der Autor untersucht die Standpunkte beider Gerichte auf ihre innere Schlüssigkeit; er zeichnet die Begründungen nach, untersucht ihre Prämissen und stellt ihre Folgerichtigkeit fest. Der Anspruch des Bundesverfassungsgerichts auf Kompetenzkontrolle dient dem Schutz des Demokratieprinzips. Für den Europäischen Gerichtshof ist dagegen die Sicherung der Funktions- und Handlungsfähigkeit der Gemeinschaft der höchste Wert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Brazilian Symposium on Artificial Intelligence (SBIA) has been organized by the Interest Group on Artificial Intelligence of the Brazilian Computer Society (SBC) since 1984. In order to promote research in Artificial Intelligence and scientific interaction among Brazilian AI researchers and practitioners, and with their counterparts worldwide, it is being organized as an international forum since 1993. The SBIA proceedings have been published by Springer-Verlag as a part of the Lecture Notes in Artificial Intelligence (LNAI) series since 1995. The XIVth SBIA, held in 1998 at the PUCRS Campus in Porto Alegre, has maintained the international tradition and standards previously established: 61 papers were submitted and reviewed by an international program committee, from this number, 26 papers were accepted and are included in this volume. Of course, organizing an event such as SBIA demands a lot of group effort. We would like to thank and congratulate all the program committee members, and the many reviewers, for their work in reviewing and commenting on the submitted papers. We would also like to thank the Pontifical Catholic University of Rio Grande do Sul, host of the XIV SBIA, and the institutions which sponsored it - CNPq, CAPES, BANRISUL, among others. Last but not least, we want to thank all the kind people of the Local Organizing Committee, whose work made the event possible. 276 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming.The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area. Thus, the book is the ultimate reference for anybody interested in the theory and application of deductive databases and logic programming. 412 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -I would like to welcome you to Singapore and the 17th International Conf- enceonConceptualModeling(ER 98).Thisconferenceprovidesaninternational forum for technical discussion on conceptual modeling of information systems among researchers, developers and users. This is the rst time that this c- ference is held in Asia, and Singapore is a very exciting place to host ER 98. We hope that you will nd the technical program and workshops useful and stimulating. The technical program of the conference was selected by the distinguished program committee consisting of two co-chairs and 83 members. Credit for the excellent nalprogramisduetoTokWangLingandSudhaRam.Specialthanks to Frederick H. Lochovsky for selecting interesting panels, and Alain Pirotte for preparation of attractive tutorials. I would also like to thank Yong Meng Teo (PublicityChair),andtheregionco-ordinators,AlbertoLaender,ErichNeuhold, Shiwei Tang, and Masaaki Tsubaki, for taking care of publicity. The following three workshops are also organized to discuss speci c t- ics of data modeling and databases: International Workshop on Data Wa- housing and Data Mining organized by Sham Navathe (Workshop chair) and MukeshMohania(ProgramCommitteeChair), InternationalWorkshoponNew Database Technologies for Collaborative Work Support and Spatio-Temporal DataManagement organizedbyYoshifumiMasunaga,and InternationalWo- shop on Mobile Data Access organized by Dik L. Lee. Ee Peng Lim took care of all detailed work related to the workshops. I would like to thank all these people who organized the workshops as well as the members of program committees. The workshop proceedings will be published jointly after the workshop. 504 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Workshop on Graph-Theoretic Concepts in Computer Science is one of the most traditional and high quality conferences in Computer Science. PreviousconferenceswereorganizedatvariousplacesinAustria,Germany,Italy, and the Netherlands. The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer science, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. The workshop is well-balanced with respect to established researchers and young scientists. th The24 InternationalWorkshoponGraph-TheoreticConceptsinComputer Science(WG 98)washeldatSmoleniceCastle,nearBratislava,SlovakRepublic, June 18 20, 1998. It was organized by the Slovak Academy of Computer Science in cooperation with the Department of Computer Science I at RWTH Aachen (Germany) and with Slovak Society for Computer Science. For the rst time in its history, WG took place in a country of the former eastern block, in the Slovak Republic. The program committee of WG 98 consisted of: H. Bodlaender, Utrecht (NL) A. Brandst adt, Rostock (D) M. Habib, Montpellier (F) J. Hromkovi c, Aachen (D) L. Kirousis, Patras (GR) L. Ku cera, Praha (CR) A. Marchetti-Spaccamela, Roma (I) E. Mayr, Munc hen (D) R. Moehring, Berlin (D) M. Nagl, Aachen (D) H. Noltemeier, Wurzburg (D) F. Parisi Presicce, Roma (I) O. Syk ora, Bratislava (SK) G. Tinhofer, Munc hen (D) D. Wagner, Konstanz (D) P. 404 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Computer-Aided Design (FMCAD 98), organized November 4-6, in Palo Alto, California, USA. The rst event of this series was organized byMandayamSrivasand Albert Camilleriin 1996 inPaloAlto. FMCAD,which evolved from the series Theorem Provers in Circuit Design (TPCD), strives to beapremierforumfordisseminatingresearchinFormalVeri cation(FV) me- ods for digital circuits and systems, including processors, custom VLSI circuits, microcode,andreactivesoftware.Inadditiontosigni cantcase-studiesandve- cationapproaches,FMCADalsoendeavorstorepresentadvancesinthedr iving technologies for veri cation, including binary decision diagrams, model che- ing,symbolicreasoning(theorem proving),symbolicsimulation,andabstraction methods. Theconferenceincludedfourinvitedlectures.Theinvitedlecturesweregiven by Kenneth McMillan (Cadence Berkeley Labs) on Minimalist proof assistants: interactions of technology and methodology in formal system level veric ation , by Carl-Johan Seger on Formal methods in CAD from an industrial perspective, by Randal E. Bryant and Bwolen Yang on A performance study of BDD-based model checking, and by Amir Pnueli on Veric ation of data-insensitive circuits: an in-order-retirement case study. Of the 55 regular paper submissionsreceived, 27 were selected by the technical program committee for presentation at the conference. All four tools papers received were also selected. We gratefully acknowledge the services of the technical program comm- tee of FMCAD 98, which consisted of Adnan Aziz (Univ. of Texas at Austin, USA),AlanHu(Univ.ofBritishColumbia,Canada),Albert Camilleri(Hewlett- Packard,USA), CarlPixley(Motorola,USA), CarlosDelgadoKloos (Univ. C- los III de Madrid,Spain), Ching-TsunChou (Intel, USA), EduardCerny (Univ. 548 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996.The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL. 388 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the thoroughly refereed post-conference proceedings of the 11th Australian Joint Conference on Artificial Intelligence, AI'98, held in Brisbane, Australia in July 1998. The 28 revised full papers presented in the book were carefully reviewed and selected from twice as many papers accepted for presentation at the conference. Among the topics covered are philosophical issues, fuzzy logic, agent systems, AI logics, planning, knowledge representation, automated deduction, intelligent agents, learning, constraint solving, and neural networks. 356 pp. Englisch.