springer berlin heidelberg springer berlin heidelberg mär 1999 (57 résultats)

Buch. Etat : Neu. Neuware -Companies must confront an increasingly competitive environment with lean, flexible and market oriented structures. Therefore companies organize themselves according to their business processes. These processes are more and more often designed, implemented and managed based on standard software, mostly ERP or SCM packages. This is the first book delivering a complete description of a business driven implementation of standard software packages, accelerated by the use of reference models and other information models. The use of those models ensures best quality results and speeds up the software implementation. The book discusses how companies can optimize business processes and realize strategic goals with the implementation of software like SAP R/3, Oracle, Baan or Peoplesoft. It also includes the post implementation activities. The book cites numerous case studies and outlines each step of a process oriented implementation, including the goals, procedures and necessary methods and tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Etat : Neu. Neuware -How can established models and methods be employed for the understanding and change of organisations One of the key issues presented in this book is bridging the communication gap between business leaders and IT experts in companies and public services. This is facilitated by combining different models for the development of corporate strategies, business processes and information support. The leading idea behind this book is to present different perspectives on business modelling, based on established theories and practical experiences. The book offers advanced knowledge and relevant information on the key issues in business modelling for today`s organisations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Buch. Etat : Neu. Neuware -Advanced modeling techniques are a necessary tool in order to design and manage manufacturing systems effectively. This book contains a set of tutorial chapters on topics ranging from aggregate production planning to real time control, including predictive and reactive scheduling, flow management in assembly systems, simulation of robotic cells, design of manufacturing systems under uncertainty and a historical perspective on production management philosophies. The book will be of interest both to researchers and practitioners, including graduate students in Manufacturing Engineering and Operations Research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Buch. Etat : Neu. Neuware -Ceramic materials are widely used as components in a great variety of applications. They are attractive due to their good high temperature strength, high wear resistance, good corrosion restistance and other special physical properties. Their major drawback is their brittleness and the large scatter of their mechanical properties. This book describes failure phenomena in ceramic materials under mechanical loading, methods for determining the material properties, and the principles that one should apply when selecting a material. The fracture-mechanical and statistical principles and their use in describing the scatter of strength and lifetime are also covered. Special chapters are devoted to creep behaviour, multiaxial failure criteria and thermal shock behaviour.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Buch. Etat : Neu. Neuware -Acoustics of Layered Media II presents the theory of sound propagation and reflection of spherical waves and bounded beams in layered media. It is mathematically rigorous but at the same time care is taken that the physical usefulness in applications and the logic of the theory are not hidden. Both moving and stationary media, discretely and continuously layered, including a range-dependent environment, are treated for various types of acoustic wave sources. Detailed appendices provide further background on the mathematical methods.This second edition reflects the notable recent progress in the field of acoustic wave propagation in inhomogeneous media.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Buch. Etat : Neu. Neuware -Sustainable economic development is necessary to improve the standard of liv ing and quality of life in the developing countries. It is also required to maintain or enhance their attributes for those lands already commercially developed. Past experience indicates that one of the most important elements in the economic growth is the development of industry. It should be also recognized that devel oping industry, if pursued according to the tradition al means, entails the addi tional inefficient consumption of limited national resource and generation of large amount of residue that called industrial pollution. In general, industry has three generations of pollution problems. The first generation pollution problem is from the manufacturing facilities. The second generation pollution problem is related to the use of the products after leaving the site of manufacturing. The final disposal of the used or unused products rep resents the third-generation pollution problem for industry. The traditional way of controlling pollution by industry is building costiy waste treatment facilities added-on to the end of manufacturing processes. In dustry also has to commit continuous fun ding to maintain and operate these fa cilities for their entire life span. The waste treatment facilities were supposed to solve the manufacturing related pollution problem for industry, i. e. , the first generation problem. In fact, these facilities, in according to the Law of Conser vation, do not make the pollution disappeared.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 442 pp. Englisch.

Buch. Etat : Neu. Neuware -While the lanthanides (strictly defined as the 14 elements following lanthanum in the periodic table, but as normally used also include lanthanum itself) have several unique characteristics compared to other elements, their appearance in the history of the development of organometallic chemistry is rather recent. Since the f orbitals are filled gradually from lanthanum ([Xe]4f ) to lutetium ([Xe]4fl4), they are regarded as the f-block elements, which are discriminated from the d-block transition elements. This book was edited as the second volume of 'Topics in Organometallic Chemistry', aiming at an overview of recent advances of chemistry and organic synthesis of lanthanides. Since scandium (Sc) and yttrium (Y) (which lie above the lanthanides and have similar characteristics) are also included, this book covers rare earth chemistry. Recently, especially in this decade, the chemistry and organic synthesis of lanthanides have developed rapidly as one of the most exciting areas. An international team of authors has been brought together in order to provide a timely and concise review of current research efforts such as lanthanide catalysis in small molecule organic synthesis especially focused on carbon-carbon bond-forming reactions, chemistry and organic synthesis using low-valent lanthanides such as diiodosamarium, asymmetric catalysis, lant- nide-catalyzed polymer synthesis, and polymer-supported lanthanide catalysts used in organic synthesis. Principles of organolanthanide chemistry are sum- rized in the first chapter. I am sincerely grateful to Drs. R. Anwander, E. C. D- dy, H. Gr6ger, Z. Hou, H. Kagan, G. Molander, J. L. Namy, M. Shibasaki, Y.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Die Problematik, zeitgerecht dem Stand des medizinischen Wissens entsprechende Ausbildungsvorhaben fUr die sogenannten Heilhilfsberufe zu schaffen, ist nicht neu. Einer der bekanntesten deutschen Chirurgen, Prof. Dieffenbach, Berlin, hat Ende des 19. lahrhunderts die zustandigen Behorden angeklagt, weil sie trotz aller Mahnungen kein Berufsbild ftir, wie es damals hieB, Krankenwarter schufen, nur weil es angeblich an Geld fehlte, sich daher kaum ttichtige Menschen fanden, einen solchen verant wortungsvollen Beruf wahrzunehmen, obwohl ohne sie der Fortschritt der Medizin gehemmt wurde. Mehr als 25 lahre muBtenwir gegen Unwissen, fadenscheinige Begrtindungen und unwahre Behauptungen ankampfen, bis end lich 1989 ein Berufsbild ftir Rettungsassistenten verabschiedet wurde. Genugtuung und Enttauschung lagen dicht beieinander, so dass wir kritisch formulierten: Der Gesetzgeber hat sich fUr eine Nulllosung, statt fUr eine Reform entschieden, er entwickelte neue Begriffe, statt notwendiger neuer Konzepte. Wir haben jetzt ein tiberholtes Verschulungskonzept, statt einer modernen qualitats orientierten Ausbildung zu einem Fachberuf im Gesundheits wesen. Wir haben dennoch Vorschlage formuliert, wie man das Beste aus unzureichenden Vorgaben machen konnte. Leider sind fast aBe Beteiligten, insbesondere die Lander und die Hilfs organisationen, einen sehr bequemen, daftir weniger effektiven Weg gegangen und haben die Ausbildung fast ausschlief31ich tiber VII die zu weit gefassten Ubergangsregelungen abgewickelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 100 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Rechenmethoden der Quantentheorie wurde in nun mehr als 50 Jahren zu einem Klassiker der Quantenmechanik. Die Rechenmethoden sind unentbehrlicher Begleiter zu den Vorlesungen der Quantenmechanik und eine praktische Anleitung zur Bewältigung quantenmechanischer Probleme. Mit 110 Aufgaben und deren vollständigen Lösungen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die Therapie von Kopfschmerzen betrifft nahezu alle Bereiche der Medizin. In Deutschland geben nach neuen epidemiologischen Studien rund 54 Mio. Menschen an, daß Kopfschmerzen für sie immer wieder oder andauernd ein Gesundheitsproblem darstellen. 2,4 Mio. Menschen in Deutschland leiden täglich seit Jahren oder gar Jahrzehnten an Kopfschmerzen. Rund 3,7 Milliarden Schmerzmitteldosen werden jährlich in Deutschland eingenommen. Ca. 80% dieser Schmerzmittel werden wegen Kopfschmerzen konsumiert.Die WHO hat der Bedeutung von Kopfschmerzerkrankungen durch die Herausgabe eines eigenständigen diagnostischen Manuals Rechnung getragen. Der Text beschreibt exakte und operational definierte Kriterien aller heute bekannten Kopfschmerzerkrankungen. Die Kenntnis und Nutzung dieses internationalen einheitlichen Klassifikationssystems ist Voraussetzung dafür, daß man mit den internationalen Fortschritten in der Entwicklung neuer Therapieoptionen Schritt halten kann.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Physikalische Interpretation des Ergebnisses und Weiterverwertung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 752 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Spurenfossilien sind im Grenzgebiet von Geologie und Biologie angesiedelt. Die Reaktion der Organismen auf äußere Veränderungen bestimmt ihr Verhalten. Spuren dieses Verhaltens finden sich in fossilen Sedimenten und können somit zur Interpretation der ursprünglichen Umwelt herangezogen werden. Das Buch besteht aus zwei Teilen: Neoichnologie und Palaeoichnologie. Es enthält zahlreiche instruktive Zeichnungen, die speziell für dieses Buch angefertigt wurden. Ein ausführliches Glossary erleichtert den Einstieg in das Gebiet. Das Buch ist gedacht für Studenten und Wissenschaftler der Sedimentologie und Paläontologie.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die vorliegende Arbeit entstand wahrend meiner Tatigkeit als wissenschaftlicher Mitarbeiter am Fraunhofer-Institut fUr Produktionstechnik und Automatisierung (IPA), Stuttgart. Mein besonderer Dank gilt Herrn Prof. Dr.-Ing. Dr. h.c. E. Westkamper, Leiter des Fraunhofer-Instituts fUr Produktionstechnik und Automatisierung (IPA), Stuttgart, fUr seine groP.zOgige Unterstotzung und F6rderung, die zur erfolgreichen DurchfUhrung dieser Arbeit beigetragen hat. Herrn Prof. Dr.-Ing. Sand maier danke ich fUr die Obernahme des Mitberichts und die eingehende Durchsicht der Arbeit. Herrn Professor R.-D. Schraft und Herrn Dr.-Ing. M. Schweizer sowie allen Kollegen und Studenten am Institut, die mich durch ihre Mitarbeit und konstruktive Kritik un terstotzt haben, danke ich an dieser Stelle. Vor allem die Anregungen von Herrn Dr. Ing. W.-D. Schneider, Herrn Dr.-Ing. T. Weisener und Herrn Dr.-Ing. G. V6gele wa ren fUr mich sehr wertvoll. Ganz besonders aber danke ich meinen Eltern fUr die stete F6rderung und Unter stotzung sowie meiner Frau Angelika fUr das Verstandnis und die Geduld, mit denen sie das Entstehen dieser Arbeit begleitet hat.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Deutsch.

Buch. Etat : Neu. Neuware -Der Übergang zum nächsten Jahrtausend wird zum Anlaß genommen zu hinterfragen, welche Management-Strategien in den verschiedenen betrieblichen Bereichen von besonderer Bedeutung sind. Die identifizierten Problembereiche sind vielfältig; beispielhaft untersucht werden die Wirkungen der Einführung des Euro, die zukünftige Rolle virtueller Unternehmen, Strategien für Hochlohnländer wie für Schwellenländer, die Wirkungen der aktuellen weltweiten Fusionen oder die besonderen Aspekte des Corporate Banking, des Asset-Management oder des Wissensbasierten Finanzmanagement. Zu den angesprochenen Fragekomplexen wird von führenden Fachvertretern aus Europa und den USA Stellung genommen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Deutsch.

Buch. Etat : Neu. Neuware -Die Reduktion von Treibhausgasemissionen ist ein zentraler Bestandteil der Umweltpolitik. Die dominierenden Emissionen sind in Deutschland mit der Nutzung von Energie verbunden. Zur Unterstützung von Politik, Wirtschaft, Wissenschaft und anderen interessierten Gruppierungen bei der Erarbeitung möglichst rationeller Emissionsminderungsstrategien haben acht führende wissenschaftliche Institutionen im IKARUS-Projekt energiewirtschaftliche Modelle und eine umfassende Technik- und Rahmendatenbank entwickelt. Deren Inhalte, Potential, aber auch Grenzen werden hier beschrieben und anhand von Beispielen verdeutlicht.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die im Europäischen Gemeinschaftsvertrag bestehenden und aus ihm ableitbaren normativen Verknüpfungen von Kapitalverkehrsfreiheit und Währungsunion zeigen, daß Aufgabenbereiche des EG-Rats und der Europäischen Zentralbank an Schnittpunkten teilweise nicht sinnvoll praktikabel, zumindest widersprüchlich sind. Wirtschaftspolitische Entscheidungen des EG-Rates können erhebliche Auswirkungen auf die Wahrung der Preisstabilität - dem Primat der EZB - haben. Hier muß die EZB gegensteuern können. Dazu sind teils die Annahme impliziter Kompetenzen der EZB, teils die Einschränkung des Anwendungsbereiches binnenmarktrechtlicher Normen und generell ein Vorrang der 3. Stufe der EWWU als nächsthöherer Integrationsstufe vor dem Binnenmarkt erforderlich.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Deutsch.

Buch. Etat : Neu. Neuware -Nach einem halben Jahrhundert fortschreitender Entwicklung gibt dieses Werk einen umfassenden Überblick über den wissenschaftlich-technischen Stand aller wesentlichen Bereiche der modernen Lebensmittelverpackung. Wichtige Aspekte sind Wirtschaftlichkeit, Kosten und Energie. Schwerpunkte bilden Verpackungsfunktionen zum Schutz der verpackten Güter sowie Verbraucher und Umwelt, für Logistik und Verteilung und zur Erfüllung gesetzlicher Auflagen. Die Entwicklung auf dem Gebiet Verpackung und Umwelt wird kritisch behandelt. Als Leiter der Forschung und Vorentwicklung eines großen international tätigen Unternehmens und Dozent für Verpackung für angehende Lebensmitteltechnologen an der Universität Stuttgart-Hohenheim hat der Autor diesen Fortschritt selbst mitgeprägt. Seinen enormen Erfahrungsschatz hat er in diesem Buch niedergelegt. Es stellt damit ein Basiswerk der neuzeitlichen Lebensmittelverpackung dar.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 692 pp. Deutsch.

Buch. Etat : Neu. Neuware -Dieses Buch behandelt die Anwendung der modernen Systemtheorie und den Einsatz von Digitalrechnern bei der Entwicklung hydrostatischer Antriebe und Steuerungen. Ausgangspunkt ist die Modellbildung, d. h. die Beschreibung des Antriebs durch Gleichungen. Diese werden bei der Stabilitätsanalyse untersucht, um ein stabiles, schwingungsfreies Arbeiten des Systems zu erreichen. Anschließend erfolgt die Simualtion des Betriebsverhaltens mit Hilfe eines Digitalrechners, um anhand von errechneten Zeitsignalen bereits vor dem Bau eines Prototypen die Konstruktion optimieren zu können. Zahlreiche Beispiele, denen industrielle Aufgabenstellungen zugrunde liegen, veranschaulichen die im Buch erläuterte Theorie.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Deutsch.

Buch. Etat : Neu. Neuware -Die Identität eines Unternehmens bildet die Basis für seinen Erfolg. Sie spiegelt sich wider in einem konsistenten und glaubwürdigen Auftreten des Unternehmens nach innen und außen. Welche Bedeutung erhält die Identität bei Unternehmenskooperationen wie Fusionen, Allianzen oder Joint Ventures Wie wird sie in virtuellen Unternehmen oder im Zuge zunehmender Internationalisierung gestaltet Der Autor, ein Spezialist für CI-Aufgaben, entwickelt das Management der Identitätsgestaltung mit Vision, Leitbild und Corporate Language. Er behandelt zentrale Aspekte wie CI und Marke bzw. CI und Unternehmensführung. Dieses Buch gibt der CI-Thematik neue Impulse, stellt vorallem die Verbindung zum pragmatischen Management von Organisationen her. Als Beispiele erfolgreicher Identitätsentwicklung werden Lucent Technologies, ABB und Siemens vorgestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Deutsch.

Buch. Etat : Neu. Neuware -ihres Rechts betreffen. 1408 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Conference Foundations of Software Science and Compu- tion Structures (FOSSACS) is a constituent of the Joint European Conferences on Theoryand Practice of Software (ETAPS). The present volume contains the contributions to FOSSACS 99, the second conference in this series, which took place in Amsterdam. As formulated in the call for papers, FOSSACS focusses on papers which o er progress in foundational research with a clear signi cance for software science. A central issue is theories and methods which support the speci cation, tra- formation, veri cation, and analysis of programs and software systems. The articles in this volume represent a wide spectrum of approaches to this general aim. In manypapers, one nds the studyof new concepts and methods which are motivated byrecent trends (or problems) in the practical use of software and information technology. The volume contains 18 contributed papers, preceded bythree invited papers. The rst, byM. Abadi, accompanies his unifying invited lecture addressed to the whole ETAPS audience. The second, byJ. Esparza and J. Knoop, contains an application of the results presented byJ. Esparza in his invited lecture to FOSSACS 99. The third summarizes an invited tutorial byD. Sangiorgi p- sented to ETAPS 99. 340 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumerepresents the proceedings ofthe Fourth International Conference onTypedLambdaCalculiandApplications,TLCA 99,heldinL Aquila,on7-9 April1999. It contains25contributions. Fiftywere submitted, their overallqualitywas high, and selection was di cult. The Programme Committee is very grateful toeveryonewhosubmittedapaper. Italsocontainstwopapersintroducingthe demos of tlcasoftware ,i. e. industrialproductsmakinguseoftypedlamb- calculi. Thetutorialson DenotationalsemanticsbyThomasEhrhardandJohnLongley,and IntersectiontypesbyMarioCoppoandMariangiolaDezaniarenotincluded inthisvolume. Theeditor wishestothankthemembersoftheProgrammeCommitteeand theOrganizingCommitteelisted, fortheir hard work andsupport, witha s- cial mention for Benedetto Intrigila. He also thanks Corrado Boh m for kindly acceptingthe taskofdeliveringabanquetspeech. Theeditor alsoexpresses hisgratitude to allthereferees listed on the next page,as wellas tothose whowishnotto belisted fortheiressential assistance andtimegenerouslygiven. Marseille,January1999 Jean-YvesGirard ProgrammeCommittee S. Abramsky(Edinburgh) T. Coquand(Got eborg) J. -Y. Girard(Marseille)(Chair) R. Hindley(Swansea) J. -L. Krivine(Paris) J. Reynolds(Pittsburgh) S. Ronchi(Torino) A. Scedrov(Philadelphia) T. Streicher(Darmstadt) M. Takahashi(T oky o) P. Urzyczyn(Warszawa) OrganizingCommittee F. Corradini,A. Formisano,B. Intrigila,(Chair),M. -C. Meo, M. Nesi,A. Pierantonio,I. Salvo,S. Sorgi (Dip. Matematica, L AquilaandDip. Informatica,LaSapienza, Roma) Referees Y. Akama T. Altenkirch F. Barbanera H. Barendregt O. Bastonero S. Berardi A. Berarducci C. Berline V. Bono M. Bugliesi F. Cardone G. Castagna I. Cervesato G. Chen R. Cockett A. Compagnoni M. Coppo T. Crolard P. -L. Curien V. Danos R. Davies P. DeGroote U. DeLiguoro M. Dezani R. Dickho H. Geuvers N. Ghani P. Giannini S. Guerrini B. Harper R. Hasegawa H. Herbelin M. Hofmann K. Honda R. Jagadeesan T. Jim Y. Kameyama M. Kanovich R. Kashima Y. Kinoshita T. Kurata Y. Lafont J. Laird F. Lamarche P. B. Levy C. McBride M. Marz R. Matthes P. -A. Mellies G. Mitschke H. Nickau S. Nishizaki M. Parigot C. Paulin F. Pfenning B. 412 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 264 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Conference on High-Performance Computing and Networking, HPCN Europe 1999, held in Amsterdam, The Netherlands in April 1999.The 115 revised full papers presented were carefully selected from a total of close to 200 conference submissions as well as from submissions for various topical workshops. Also included are 40 selected poster presentations. The conference papers are organized in three tracks: end-user applications of HPCN, computational science, and computer science; additionally there are six sections corresponding to topical workshops. 1372 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 468 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The4thAustralasianConferenceonInformationSecurityandPrivacywasheld attheUniversityofWollongong,Australia. Theconferencewassponsoredby theCentreforComputerSecurityResearch,UniversityofWollongong,andthe AustralianComputerSociety. Theaimoftheconferencewastobringtogether peopleworkingindi erentareasofcomputer,communication,andinformation securityfromuniversities,industry,andgovernmentinstitutions. Theconference gavetheparticipantsanopportunitytodiscussthelatestdevelopmen tsinthe quicklygrowingareaofinformationsecurityandprivacy. Theprogramcommitteeaccepted26papersfrom53submitted. Fromthose accepted, thirteen papers were from Australia, two each from Belgium and China,andoneeachfromAustria,Belarus,France,India,Japan,Korea,Sin- pore,theUSA,andYugoslavia. Conferencesessionscoveredthefollowingtopics: accesscontrolandsecuritymodels,networksecurity,Booleanfunctions,group communication,cryptanalysis,keymanagementsystems,electroniccommerce, signatureschemes,RSAcryptosystems,andoddsandends. We would like to thank the members of the program committee who - nerouslyspenttheirtimereadingandevaluatingthepapers. Wewouldalsolike tothankmembersoftheorganisingcommitteeand,inparticular,ChrisCh- nes,HosseinGhodosi,MarcGysin,Tiang-BingXia,Cheng-XinQu,SanYe ow Lee,YejingWang,Hua-XiongWang,Chih-HungLi,WillySusilo,ChintanShah, Je reyHorton,andGhulamRasoolChaudhryfortheircontinuousandtireless e ortinorganisingtheconference. Finally,wewouldliketothanktheauthorsof allthesubmittedpapers,especiallytheacceptedones,andalltheparticipants whomadetheconferenceasuccessfulevent. February1999 JosefPieprzyk ReiSafavi-Naini JenniferSeberry FOURTHAUSTRALASIANCONFERENCE ONINFORMATIONSECURITY ANDPRIVACY ACISP 99 Sponsoredby CenterforComputerSecurityResearch UniversityofWollongong,Australia and AustralianComputerSociety GeneralChair: JenniferSeberry UniversityofWollongong ProgramCo-Chairs: JosefPieprzyk UniversityofWollongong ReiSafavi-Naini UniversityofWollongong ProgramCommittee: ColinBoyd QueenslandUniversityofTechnology,Australia LawrieBrown AustralianDefenceForceAcademy,Australia BillCaelli QueenslandUniversityofTechnology,Australia EdDawson QueenslandUniversityofTechnology,Australia CunshengDing NationalUniversityofSingapore,Singapore DieterGollmann MicrosoftResearch,UK YongfeiHan Gemplus,Singapore ThomasHardjono BayNetworks,US ErlandJonsson ChalmersUniversity,Sweden SveinKnapskog UniversityofTrondheim,Norway KeithMartin KatholiekeUniversiteitLeuven,Belgium CathyMeadows NavalResearchLaboratory,US KaisaNyberg NokiaResearchCenter,Finland Choon-SikPark ElectronicsandTelecommunicationResearchInstitute,Korea DingyiPei AcademiaSinica,China SteveRoberts WithamPtyLtd,Australia ConferenceOrganization VII GregRose Qualcomm,Australia RaviSandhu GeorgeMasonUniversity,US Sta ordTavares Queen sUniversity,Canada VijayVaradharajan WesternSydneyUniversity,Australia YuliangZheng MonashUniversity,Australia Referees N. Asokan ZhangJiang DingyiPei YunBai ErlandJonsson JosefPieprzyk SimonBlackburn SveinKnapskog VincentRijmen ColinBoyd HuLei SteveRoberts LawrieBrown LeszekMaciaszek GregRose BillCaelli KeithMartin ReiSafavi-Naini EdDawson CathyMeadows RaviSandhu CunshengDing BillMillan RajanShankaran GaryGaskell QiMing Sta ordTavares JanuszGetta Sang-JaeMoon VijayVaradharajan DieterGollmann YiMu Kapaleeswaran MarcGysin KennyNguyen Viswanathan YongfeiHan KaisaNyberg ChuanWu ThomasHardjono Choon-SikPark YuliangZheng. TableofContents BooleanFunctions BooleanFunctionDesignUsingHillClimbingMethods WilliamMillan,AndrewClark,andEdDawson. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 EnumerationofCorrelationImmuneBooleanFunctions SubhamoyMaitraandPalashSarkar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 OntheSymmetricPropertyofHomogeneousBooleanFunctions ChengxinQu,JenniferSeberry,andJosefPieprzyk. . . . . . . . . . . . . . . . . . . . . . . . 26 KeyManagement PubliclyVeri ableKeyEscrowwit.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is the Proceedings of the First International Conference on Advanced Multimedia Content Processing (AMCP ¿98). With the remarkable advances made in computer and communication hardware/software system technologies, we can now easily obtain large volumes of multimedia data through advanced computer networks and store and handle them in our own personal hardware. Sophisticated and integrated multimedia content processing technologies, which are essential to building a highly advanced information based society, are attracting ever increasing attention in various service areas, including broadcasting, publishing, medical treatment, entertainment, and communications. The prime concerns of these technologies are how to acquire multimedia content data from the real world, how to automatically organize and store these obtained data in databases for sharing and reuse, and how to generate and create new, attractive multimedia content using the stored data. This conference brings together researchers and practitioners from academia, in dustry, and public agencies to present and discuss recent advances in the acquisition, management, retrieval, creation, and utilization of large amounts of multimedia con tent. Artistic and innovative applications through the active use of multimedia con tent are also subjects of interest. The conference aims at covering the following par ticular areas: (1) Dynamic multimedia data modeling and intelligent structuring of content based on active, bottom up, and self organized strategies. (2) Access archi tecture, querying facilities, and distribution mechanisms for multimedia content.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -These proceedings contain papers presented at the 8th Discrete Geometry for Computer Imagery conference, held 17-19, March 1999 at ESIEE, Marne-la- Vall ee. The domains of discrete geometry and computer imagery are closely related. Discrete geometry provides both theoretical and algorithmic models for the p- cessing, analysis and synthesis of images; in return computer imagery, in its variety of applications, constitutes a remarkable experimentational eld and is a source of challenging problems. The number of returning participants, the arrival each year of contributions from new laboratories and new researchers, as well as the quality and originality of the results have contributed to the success of the conference and are an - dication of the dynamism of this eld. The DGCI has become one of the major conferences related to this topic, including participating researchers and la- ratories from all over the world. Of the 41 papers received this year, 24 have been selected for presentation and 7 for poster sessions. In addition to these, four invited speakers have contributed to the conference. The site of Marne-la-Vall ee, just 20 min away from Paris, is particularly we- suited to hold the conference. Indeed, as a newly built city, it showcases a great amount of modern creative architecture, whose pure lines and original shapes o er a favorable context for the topic of Geometry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -ETAPS¿99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.