springer berlin heidelberg springer berlin heidelberg apr 2005 (126 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Multiple-Choice-Aufgaben finden zunehmend Verwendung in Klausuren zur Mathematik für Wirtschaftswissenschaftler. Das vorliegende Buch enthält 240 Multiple-Choice-Aufgaben mit Lösungswegen und Lösungen. Die Aufgaben sind, mit wenigen Ausnahmen und geringfügigen Änderungen, Klausuren entnommen, die von den Autoren im Grundstudium der wirtschaftswissenschaftlichen Studiengänge an der Technischen Universität Dresden gestellt wurden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Wissen durch Anwendung verfestigen! Hierzu muss auch im Zeitalter der Computer-Unterstützung zunächst einmal selbst gerechnet werden. Dieses Arbeitsbuch bietet praxisbezogene Aufgaben sowie eine Fallstudie, die controllingorientiert die Informationsversorgung von Planung und Kontrolle behandeln. Informationen zur thematischen Einordnung und zum Schwierigkeitsgrad jeder Aufgabe erleichtern es, individuelle Übungsinhalte zusammenzustellen und so die Erarbeitung der Grundlagen der Kosten- und Erlösrechnung zu optimieren.'.ist das vorliegende Arbeitsbuch sehr gut geeignet für Studenten der Betriebswirtschaftslehre und der Ingenieurwissenschaften im Grund- und Hauptstudium an Universität und Fachhochschulen, aber auch für Dozenten, die zur Visualisierung und Verdeutlichung ihrer Ausführungen auf Beispiele und konkrete Aufgaben zurückgreifen wollen.'krp - Zeitschrift für ControllingSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Risikomanagement beschäftigt sich mit der Identifikation, der Analyse und der Steuerung von Unternehmensrisiken. Dabei kann es sich sowohl um dem Unternehmen drohende Gefahren als auch um Chancen handeln. Das Buch beschreibt einen zweckmäßigen und quantitativ orientierten Prozess, in dem das Risikomanagement als Teil der Unternehmensplanung verstanden wird. Mit Hilfe von elementaren statistischen Ansätzen, ihrer Veranschaulichung über Entscheidungsbäume und durch entweder analytische oder simulative Auswertungen von Entscheidungssituationen werden die Auswirkungen von Risiken auf das Unternehmensergebnis plausibel und nachvollziehbar dargestellt. Über 40 gerechnete Übungsaufgaben, Beispiele und Fallstudien zeigen, wie die praktische Umsetzung der Konzepte erfolgen kann.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Sie möchten Ihre Internet-Präsenz ohne HTML- und Programmierkenntnisse verwalten Alle Mitarbeiter sollen sich inhaltlich an Ihrem Internet-Auftritt beteiligen Sie planen die Einführung eines Intranet-Portals in Ihrem Unternehmen Ihre Kunden und Partner sollen eigene Extranet-Bereiche nutzen können Möglichst kostenlos Anpassbar Für Sie ist dieses Buch geschrieben. Es behandelt alle Aspekte des weit verbreiteten Open Source Content Management Systems 'PostNuke'. Anhand praktischer Beispiele werden die Installation, Konfiguration und die Anwendung von Internet-Auftritten, Intranet-Portalen und Extranets mit PostNuke erläutert. Auch die Erweiterung und Anpassung des Content Management Systems wird ausführlich behandelt ¿ auf externe Module gehen die Autoren genau so ein wie auf die PostNuke API, welche die Programmierung eigener Blöcke und Module in PHP ermöglicht.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dokumentation und Information Retrieval, also das gezielte Wiederauffinden von Informationen zu thematisch-inhaltlichen Fragestellungen sind wichtiger als je zuvor. Die hier vorliegende theoretisch fundierte und praxisorientierte Darstellung der Literatur-, Daten- und Faktendokumentation enthält viele instruktive Beispiele und praktische Übungen sowie einen umfassenden Beispielthesaurus und behandelt ausführlich Ordnungs- und Retrievalsysteme. Jedes Thema wird mit zahlreichen Prüfungsfragen abgeschlossen. Die detaillierten Antworten zu den insgesamt 195 Fragen umfassen alleine etwa 60 Seiten.Dieses Lehrbuch ist in seiner systematischen Darstellung und didaktischen Aufbereitung einzigartig. Durch sein ausführliches Sachwortregister eignet es sich auch als Nachschlagewerk. Die fünfte Auflage ist aktualisiert und erweitert worden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Als erstes deutschsprachiges Werk zum Thema Wissensbilanzierung ist dieses Buch unentbehrlich für Entscheider in Unternehmen und öffentlichen Institutionen, die sich mit der Steuerung und Kommunikation der wichtigsten Ressource der Zukunft, dem Wissen, auseinandersetzen wollen. Das Buch gibt einen umfassenden Überblick über das neue Thema und beinhaltet neben einer allgemeinen Einführung vor allem praktische Ergebnisse und Fallstudien von Anwendern. Es wurde geschrieben von führenden Experten der Wissensbilanzierung, verantwortlich für deren Entwicklung und Umsetzung in verschiedenen Organisationen. Interessierten Wissenschaftlern und Studierenden vermittelt das Buch Kenntnisse über die derzeit wichtigsten Methoden und zentralen Erfahrungen mit Wissensbilanzen in Europa.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Supply Chain Management (SCM) optimiert die Geschäftsprozesse vom Lieferanten bis zum Kunden. Ganzheitliche Modelle kommen dabei nicht ohne E-Business-Konzepte und Web-Technologien aus, sie unterstützen die Koordination aller Prozesse und Transaktionen.Das Buch bietet einen umfassenden und systematischen Überblick über voll integrierte SCM-Konzepte. Dafür werden auch die zur Effizienzsteigerung notwendigen Informations- und Kommunikations-Technologien vorgestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Eingebettete Systeme übernehmen komplexe Steuerungs- und Regelungsaufgaben für technische Systeme. Ihre Funktionalität wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsächlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Überblick über das Thema. Klassifikationen und Themen wie Nebenläufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto erläutert. Ausgewählte Softwareentwurfstechniken wie Statecharts, hybride Systeme, UML und Hardware-Software Co-Design werden ausführlich vorgestellt. Eingebettete Systeme finden oft in sicherheitskritischen Bereichen Einsatz. Die Sicherung der Softwarequalität ist daher von zentraler Bedeutung und bildet einen weiteren wichtigen Teil des Buches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Introduction Closing supply chains refers to taking care of items once they are no longer desired or can no longer be used by their user. Smart management of closed-loop supply chains means profitable recovery of value from these items (products, functional components, materials or packaging). The company closing the supply chain may be the original equipment manuf- turer (OEM), a distribution partner or a third party not involved in the f- ward distribution. In recent years, the management of closed-loop supply chains has gained importance because of increased legislation on producer respon- bility, requiring companies to take back products from customers and to organize for proper recovery and disposal. This legislation is partially due to increased awareness of environmental issues. However, smart com- nies have also understood that returned products often contain lots of value to be recovered. They manage closed-loop supply chains simply because it is a profitable business proposition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Zustand: Neu. Neuware -The concepts and theories of knowledge management and networks are meanwhile well documented. Yet there are few, if any, guidelines on how to implement knowledge management within an organization, especially focusing on how to manage knowledge in a network environment. This shows that managing knowledge in networks is a rather new and unexplored field. This book visualizes paths that allow one to make connections between theories, concepts and concrete actions. Knowledge networks are organizational forms within companies that connect key experts to share knowledge and therefore fulfil strategic goals. Managing knowledge in network environments is a fast-moving field attempting to integrate various disciplines such as human resources, organizational development, change management, strategy, information technology, sociology and network theory. This book shows how to integrate these different roots into a holistic view on managing knowledge in networks. It develops a methodology which will support the reader to move concrete steps forward towards building and maintaining knowledge networks in his organization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface. 380 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers to engineer distributed appli- tions more easily, providing abstractions and primitives to handle distribution and coordination. Middlewareisconstantlyfacingnewchallenges.Today¿sadvancesincomp- ing, including development of pervasive applications, exacerbates the diversity problem, introducing variations not only in terms of performance, but also in terms of environments and device characteristics. Software engineers are the- fore challenged both in the area of the development of new and scalable m- dleware systems, where open, heterogeneous, component-based platforms should provide richer functionality and services, and in the area of application devel- ment, where tools to simplify the use of middleware solutions are necessary. Software Engineering and Middleware is the premier workshop for the - search and practice community of software engineering working in both areas to presentanddiscussnewideasinthis eld.SEM2004wasthefourthinternational workshop on software engineering and middleware of the EDO/SEM workshop series. Previous workshops of this series were successfully held in 2002, 2000 and 1999. Most of the proceedings have been published by Springer in the Lecture Notes in Computer Science series. 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and c- tomization. CBSE 2005, ¿Software Components at Work,¿ was the eighth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fortunate to have a dedicated Program Committee comprised of 30 internationally recognized researchers and industrial practitioners. We received 91 submissions andeach paper wasreviewedby at least three ProgramComm- tee members (four for papers with an author on the Program Committee). The entirereviewingprocesswassupportedbyCyberChairPro,theWeb-basedpaper submissionandreviewsystemdevelopedandsupportedbyRichardvandeStadt of Borbala Online Conference Services. After a two-day virtual Program C- mittee meeting, 21 submissions were accepted as long papers and 2 submissions were accepted as short papers. 372 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - rst-class data with coordination primitives.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The inaugural Information Security Practice and Experience Conference (ISPEC) was held on April 11¿14, 2005, in Singapore. As applications of information security technologies become pervasive, - sues pertaining to their deployment and operation are becoming increasingly important. ISPEC is intended to be an annual conference that brings together researchers and practitioners to provide a con uence of new information se- rity technologies, their applications and their integration with IT systems in various vertical sectors. The Program Committee consisted of leading experts in the areas of information security, information systems, and domain experts in applications of IT in vertical business segments. The topics of the conference covered security applications and case studies, access control, network security, data security, secure architectures, and cryp- graphic techniques. Emphasis was placed on the application of security research to meet practical user requirements, both in the paper selection process and in the invited speeches. Acceptance into the conference proceedings was very competitive. The Call for Papers attracted more than 120 submissions, out of which the Program Committee selected only 35 papers for inclusion in the proceedings. Thisconferencewasmadepossibleonlythroughthecontributionsfrommany individuals and organizations. We would like to thank all the authors who s- mitted papers. We also gratefully acknowledge the members of the Program Committee and the external reviewers, for the time and e ort they put into reviewing the submissions. Special thanks are due to Ying Qiu for managing the website for paper s- mission,reviewandnoti cation.PatriciaLohwaskindenoughtoarrangeforthe conference venue, and took care of the administration in runningthe conference. 440 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Welcome to the 3rd International Conference on Wired/Wireless Internet C- munications (WWIC). After a successful start in Las Vegas and a selective c- ference in Germany, this year¿s WWIC demonstrated the event¿s maturity. The conference was supported by several sponsors, both international and local, and became the o cial venue for COST Action 290. That said, WWIC has now been established as a top-quality conference to promote research on the convergence of wired and wireless networks. This year we received 117 submissions, which allowed us to organize an - citing program with excellent research results, but required more e ort from the 54 members of the international Program Committee and the 51 additional reviewers. For each of the 117 submitted papers we asked three independent - viewers to provide their evaluation. Based on an online ballot phase and a TPC meeting organized in Colmar (France), we selected 34 high-quality papers for presentation at the conference. Thus, the acceptance rate for this year was 29%.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). This book contains the contributed papers, and extended abstracts of two invited talks, given by Thierry Coquand and Susumu Hayashi. A short abstract of the joint RDP invited lecture by Amy Felty is also included. The 27 contributed papers were selected from 61 submissions of generally very high quality, and the Program Committee had a hard time making the selection. The editor would like to thank everyone who submitted a paper and to express his regret that many interesting works could not be included. The editor also wishes to thank the invited speakers, the members of the Program and Organizing Committees, the Publicity Chair, and the referees for their joint e ort towards the success of the conference. The support from the Nara Convention Bureau is gratefully acknowledged. The typed lambda calculus continues to be an important tool in logic and theoretical computer science. Since 1993, the research progress in this area has been documented by the TLCA proceedings. The present volume contributes to this tradition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at the 10th Anniversary Workshop on Job Scheduling Strategies for Parallel Processing. The workshop was held in New York City, on June 13, 2004, at Columbia University, in conjunction with the SIGMETRICS 2004 conference. Although it is a workshop, the papers were conference-reviewed, with the full versions being read and evaluated by at least five and usually seven members of the Program Committee. We refer to it as a workshop because of the very fast turnaround time, the intimate nature of the actual presentations, and the ability of the authors to revise their papers after getting feedback from workshop attendees. On the other hand, it was actually a conference in that the papers were accepted solely on their merits as decided upon by the Program Committee. We would like to thank the Program Committee members, Su-Hui Chiang, Walfredo Cirne, Allen Downey, Eitan Frachtenberg, Wolfgang Gentzsch, Allan Gottlieb, Moe Jette, Richard Lagerstrom, Virginia Lo, Reagan Moore, Bill Nitzberg, Mark Squillante, and John Towns, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and final revisions for this volume. Finally, we would like to thank the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL), The Hebrew University, and Columbia University for the use of their facilities in the preparation of the workshop and these proceedings. 332 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In 2005, the twelfth edition of the conference Discrete Geometry for Computer Imagery was held in Poitiers, France, April 13¿15, 2005. The conference was organized by the laboratory SIC (¿Signal, Image, Communications¿) of the University of Poitiers, Centre National de la Recherche Scienti que and the Technical Committee 18 of the International Association for Pattern Recog- tion. DGCI 2005 was sponsored by the Faculty of Science, the University of Poitiers, the Conseil G¿ en¿ eral de la Vienne and the Region of Poitou-Charentes. The aim of the conference was to present recent advances in both theoretical aspects and applications in discrete geometry. This year¿s conference was organized in combination with the 5th Workshop B on Graph- ased Representations in Pattern Recognition,April 11¿13, 2005 also organizedinPoitiers.TheworkshopGbRaimsatusinggraph-basedstructuresin image analysis. There is a strong connection between the community interested in the GbR workshop and the discrete geometry community. For this reason, for the rsttime,boththeworkshopandtheDGCIconferencewereorganizedin the same place, with a common session of four papers, two submitted to GbR and two to DGCI. The DGCI conference attracted again for this edition many excellent papers, with 53 submitted papers from 21 countries. After careful reviewing by two and sometimesthreereviewers,36paperswereaccepted,fromwhich22wereselected for oral presentation and 14 as posters. These contributions were regrouped into topics: applications, discrete topology, discrete hierarchical geometry, discrete tomography, object properties, recognition, and reconstruction, uncertain ge- etry, and visualization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the fth in the series of these high-quality scienti c conf- ences. In addition to the overall signi cance of such a pan-European event, this year¿s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di erent European countries in Western and Eastern Europe ¿ who were active in research and education related to dependability created a ¿ joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year¿s conference was the rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti c senses led to a seamless integration of these research communities previously separated ar- cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe eldofdependability. 496 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear¿sjointconferenceconcentrateon three currently important elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems. 324 pp. Englisch.

Buch. Zustand: Neu. Neuware -The subject of this book is the solution of polynomial equations, that is, s- tems of (generally) non-linear algebraic equations. This study is at the heart of several areas of mathematics and its applications. It has provided the - tivation for advances in di erent branches of mathematics such as algebra, geometry, topology, and numerical analysis. In recent years, an explosive - velopment of algorithms and software has made it possible to solve many problems which had been intractable up to then and greatly expanded the areas of applications to include robotics, machine vision, signal processing, structural molecular biology, computer-aided design and geometric modelling, as well as certain areas of statistics, optimization and game theory, and b- logical networks. At the same time, symbolic computation has proved to be an invaluable tool for experimentation and conjecture in pure mathematics. As a consequence, the interest in e ective algebraic geometry and computer algebrahasextendedwellbeyonditsoriginalconstituencyofpureandapplied mathematicians and computer scientists, to encompass many other scientists and engineers. While the core of the subject remains algebraic geometry, it also calls upon many other aspects of mathematics and theoretical computer science, ranging from numerical methods, di erential equations and number theory to discrete geometry, combinatorics and complexity theory. Thegoalofthisbookistoprovideageneralintroduction tomodernma- ematical aspects in computing with multivariate polynomials and in solving algebraic systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Digital cities constitutes a multidisciplinary field of research and development, where researchers, designers and developers of communityware interact and collaborate with social scientists studying the use and effects of these kinds of infrastructures and systems in their local application context. The field is rather young. After the diffusion of ICT in the world of organizations and companies, ICT entered everyday life. And this also influenced ICT research and development. The 1998 Workshop on Communityware and Social Interaction in Kyoto was an early meeting in which this emerging field was discussed. After that, two subsequent Digital Cities workshops were organized in Kyoto, and a third one in Amsterdam. This book is the result of the 3rd Workshop on Digital Cities, which took place September 18¿19, 2003 in Amsterdam, in conjunction with the 1st Communities and Technologies Conference. Most of the papers were presented at this workshop, and were revised thoroughly afterwards. Also the case studies of digital cities in Asia, the US, and Europe, included in Part I, were direct offsprings of the Digital Cities Workshops. Together the papers in this volume give an interesting state-of-the-art overview of the field. In total 54 authors from the Americas, from Asia, and from Europe were contributed to this volume. The authors come from Brazil (two), the USA (eleven), China (three), Japan (fourteen), Finland (two), Germany (two), Italy (three), Portugal (two), the Netherlands (eight), and the UK (seven), indicating the international nature of the research field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using uniform discrete time steps. Thus it integrates and reconciles two views of time that are commonly used separately in di erent application domains. In many discrete systems time is modelled by discrete steps of uniform length, in continuous systems time is seen as a dense ow. Themainideatointegratethesedi erentviewsisadiscretizationofthedense real-number time structure by using constant in nitesimal time steps within each real-number point in time. The underlying mathematical structure of this time model is based on concepts of Non-standard Analysis as proposed by Abraham Robinson in the 1950s. The discrete modelling, i.e., the descr- tion of sequential discrete algorithms at di erent abstraction levels, is done with Abstract State Machines along the formalisms developed by Yuri Gu- vich and temporal logic. These ingredients produce a rich formal basis for describing a large variety of systems with quantitative linear time prop- ties, by seamless integration, re nement and embedding of continuous and discrete models into one uniform semantic framework called¿Non-standard Timed Abstract State Machines¿(NTASM).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 18th conference of the Canadian Society for the Computational Study of Intelligence (CSCSI) continued the success of its predecessors. This set of - pers re ects the diversity of the Canadian AI community and its international partners. AI 2005 attracted 135 high-quality submissions: 64 from Canada and 71 from around the world. Of these, eight were written in French. All submitted papers were thoroughly reviewed by at least three members of the Program Committee. A total of 30 contributions, accepted as long papers, and 19 as short papers are included in this volume. We invited three distinguished researchers to give talks about their current research interests: Eric Brill from Microsoft Research, Craig Boutilier from the University of Toronto, and Henry Krautz from the University of Washington. The organization of such a successful conference bene ted from the coll- oration of many individuals. Foremost, we would like to express our apprec- tion to the Program Committee members and external referees, who provided timely and signi cant reviews. To manage the submission and reviewing process we used the Paperdyne system, which was developed by Dirk Peters. We owe special thanks to Kellogg Booth and Tricia d¿Entremont for handling the local arrangementsandregistration.WealsothankBruceSpencerandmembersofthe CSCSI executive for all their e orts in making AI 2005 a successful conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Modern information systems rely increasingly on combining concurrent, d- tributed, mobile, recon gurable and heterogenous components. New models, architectures, languages, and veri cation techniques are therefore necessary to cope with the complexity induced by the demands of today¿s software devel- ment. Coordination languages have emerged as a successful approach, providing abstractions that cleanly separate behavior from communication and therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. This volume contains the proceedings of the 7th International Conference on Coordination Models and Languages (Coordination 2005), held at the Ins- tute of Informatics of the University of Namur, Belgium, on April 20¿23, 2005. The previous conferences in this series took place in Cesena (Italy), Berlin (G- many),Amsterdam(TheNetherlands),Limassol(Cyprus),York(UK),andPisa (Italy). Building upon the success of these events, Coordination 2005 provided a forum for the community of researchers interested in models, languages, and implementation techniques for coordination and component-based software, as well as applications that exploit them. The conference attracted 88 submissions from authors all over the world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The field of Adaptive Optics (AO) for astronomy has matured in recent years, and diffraction-limited image resolution in the near-infrared is now routinely achieved by ground-based 8 to 10m class telescopes. This book presents the proceedings of the ESO Workshop on Science with Adaptive Optics held in the fall of 2003. The book provides an overview on AO instrumentation, data acquisition and reduction strategies, and covers observations of the sun, solar system objects, circumstellar disks, substellar companions, HII regions, starburst environments, late-type stars, the galactic center, active galaxies, and quasars. The contributions present a vivid picture of the multitude of science topics being addressed by AO in observational astronomy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Buch. Zustand: Neu. Neuware -Ziel dieses Buches ist es, Managern Argumente und Entscheidungshilfen für die Einführung effizienter Techniken der Softwareentwi- lung zu geben, und Praktiker von der Notwendigkeit effizienter Softwaree- wicklung zu überzeugen und Wege zur erfolgreichen - wendung aufzuzeigen. Unter 'effizienter Softwareentwicklung' verstehen wir die - setzung von Anforderungen in 'qualitativ hochwertige' Software zu 'angemessenem' Preis innerhalb 'angemessener' Zeit. 'Qualitativ hochwertig' steht für fehlerfrei, zuverlässig, robust und voll den Anforderungen entsprechend. Unter 'angemessen' verstehen wir minimale Komplexität bei voller Abdeckung der - forderungen, bezahlbar und kurzfristig verfügbar. Im ersten Teil dieses Buches (Kap. 2 - 5) führen wir den Leser hin zum 'automatischen Softwareproduktionsprozess', durch P- sentation von Thesen und Analysen. Anleitungen und Beispiele folgen im zweiten Teil (Kap. 6 und 7). Wir schließen mit Betra- tungen zur gesellschaftspolitischen Relevanz einer Technologie, die auf Automation beruht (Kap. 8). Wie in anderen Bereichen, in denen Automation bereits an- wendet wird, haben automatische Softwareproduktionsprozesse Einfluss auf die Arbeitsplätze. Präziser ausgedrückt, es fallen - stimmte Arten von Arbeitsplätzen weg, während andere entstehen. Für Manager und Entwickler, aber auch Ausbilder, ist es wichtig, sich frühzeitig auf die Möglichkeiten und Folgen dieser Technologie einzustellen. Zur Zeit wird durch 'Outsourcing', 'Nearshoring' oder 'Offs- ring' versucht, die Softwareentwicklungskosten zu senken. 'Au- mation' in der Softwareentwicklung geht darüber hinaus. Nicht nur Kosten sinken, auch Entwicklungszeit und -risiken, die Flexibilität Vorwort VII erhöht sich, und Know-how muss nicht nach außenweitergegeben werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Das Buch behandelt die wesentlichen Aspekte der numerischen Simulation von Verbrennungsprozessen. Dazu gehören die Grundlagen zur mathematischen Beschreibung der Verbrennung, die Modellierung der Turbulenz, Ansätze zur Berücksichtigung der Turbulenz-Chemie-Interaktion, numerische Lösungsverfahren und moderne, hoch effiziente Methoden zur Konvergenzbeschleunigung. In seiner umfassenden Darstellung liegt der besondere Nutzen dieses Buchs.Das Buch ist geeignet für Studierende des Maschinenbaus, der Verfahrenstechnik und Luft- und Raumfahrttechnik ebenso wie für Wissenschaftler und für Ingenieure in der industriellen Praxis.Es stellt sowohl für den Programmentwickler als auch für den Nutzer kommerzieller Simulationsprogramme ein wichtiges Hilfsmittel dar.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Deutsch.