springer berlin heidelberg feb 2008 (71 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Dieses Einführungswerk in die Digitaltechnik wurde speziell für Bachelorstudenten entwickelt. Es enthält viele auf den Anfänger zugeschnittene praktische Anwendungen. Folgende Aspekte sind einmalig: Tool-orientierter Ansatz - Verwendung der Hardwarebeschreibungssprache Verilog - Einführung in systematische Methoden zur Fehlersuche - Geringe Anforderungen an die mathematischen Vorkenntnisse - Ein vereinfachter X86 IA32-Prozessor als AnwendungsbeispielDie vorgestellten Beispiele werden mit Hilfe von Tools wie XILINX ISE und MentorGraphics ModelSim in echte Schaltungen umgesetzt. Diese Tools werden auch im industriellen Alltag eingesetzt. Im Internet werden weitere Übungen, realisierte Beispiele sowie Animationen angeboten. Für Dozenten stehen Folien zum Abrufen bereit.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Our lives are immersed in a sea of chance. Everyone¿s existence is a meeting point of a multitude of accidents. The origin of the word ¿chance¿ is usually traced back to the vulgar Latin word ¿cadentiä, meaning a befalling by fortuitous circumstances, with no knowable or determinable causes. The Roman philosopher Cicero clearly expressed the idea of ¿chance¿ in his work De Divinatione: For we do not apply the words ¿chance¿, ¿luck¿, ¿accident¿ or ¿casualty¿ except toanevent which hassooccurredorhappened that it either might not have occurred at all, or might have occurred in any other way. 2.VI.15. For if a thing that is going to happen, may happen in one way or another, indi erently, chance is predominant; but things that happen by chance cannot be certain. 2.IX.24. Ina certain sensechance isthespiceoflife. Iftherewerenophenomena with unforeseeable outcomes, phenomena with an element of chance, all temporal cause¿e ect sequences would be completely deterministic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Dass ein Einführungstext zur Linearen Algebra bei der ständig wachsenden Flut von Lehrbüchern zu diesem weitgehend standardisierten Stoff überhaupt noch Besonderheiten bieten kann, ist gewiss bemerkenswert. . Es wird all das Mehr wiedergegeben, das eine gute Vorlesung gegenüber einem Lehrbuch im üblichen Stil (Definition - Satz - Beweis - Beispiel) auszeichnet. Ein anderes charakteristisches Merkmal des Buches besteht in der Unterteilung in einen Kerntext, der die wichtigsten Sätze der Theorie enthält, und in Ergänzungen für Mathematiker und für Physiker. Am Ende jedes Paragraphen werden dem Erstsemesterstudenten neben Übungsmaterial auch einfache Testfragen angeboten, an denen er sein Verständnis erproben kann.' (Mathematisch-Physikalische Semesterberichte).

Taschenbuch. Zustand: Neu. Neuware -Das Lehrbuch bietet einen umfassenden Überblick über die aktuellen Managementaufgaben und -methoden im Industriebetrieb. Grundlegend neu ist dabei die konsequent angewendete prozessorientierte Sichtweise. Anhand von vier Prozessen, von der strategischen bis zur operativen Ebene, wird das komplexe Wertschöpfungsgeschehen im Industriebetrieb theoretisch erläutert und anhand zahlreicher Beispiele praktisch veranschaulicht: strategischer Managementprozess Innovationsprozess Betriebsbereitschaftsprozess operativer LeistungsprozessIndustrielles Management wendet sich an Dozenten und Studenten der Wirtschaftswissenschaften und verwandter Studiengänge und ist ebenfalls interessant für Praktiker mit Managementaufgaben im Industriebetrieb.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 736 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Statistische Verfahren werden in der Medizin und in allen Naturwissenschaften, in der Wirtschaft, in der Technik und zunehmend auch in den Sozial- und Geisteswissenschaften eingesetzt. Die Statistik gilt trotzdem als schwierig. Um diese Hemmschwelle zu überwinden, geben die Autoren in dem vorliegenden Buch eine anwendungsorientierte Einführung in die Methoden der induktiven Statistik und Datenanalyse. Sie beschreiben anhand praxisnaher Beispiele die Ideen und Werkzeuge des modernen statistischen Datenmanagements. Der Leser kann mittels der vielen Übungsaufgaben sein Wissen vertiefen, wobei die Musterlösungen ihm zeigen, wie eine Übung gelöst werden könnte. Sowohl die Statistik-Software SPSS als auch ¿ als Neuerung - die Programmiersprache R kommen in diesem Buch zum Einsatz. Das Buch beinhaltet ferner eine Einführung zur Problematik fehlender Daten. Diese Erweiterung ist einmalig für ein deutschsprachiges Lehrbuch der Statistik.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Das Buch ist interdisziplinär zwischen Künstlicher Intelligenz, Linguistik und Kognitionswissenschaften angesiedelt. Es gibt eine umfassende Darstellung der semantischen Interpretation und Bedeutungsdarstellung natürlichsprachlicher Ausdrücke auf der Basis ¿Mehrschichtiger Erweiterter Semantischer Netze' (MultiNet). Die damit verbundene Methodik ist sowohl für theoretische Untersuchungen als auch für die automatische Sprachverarbeitung geeignet. Die vorgestellten Ergebnisse sind eingebettet in ein System von Software-Werkzeugen, die eine praktische Nutzung des MultiNet-Paradigmas zur Wissensrepräsentation sichern. Hierzu gehören: eine Werkbank für den Wissensingenieur, ein Übersetzungssystem zur automatischen Erzeugung von Bedeutungsdarstellungen natürlichsprachlicher Sätze und eine Werkbank für den Computerlexikographen.Für die 2. Auflage hat der Autor den aktuellen Stand der Forschung eingearbeitet; der MultiNet-Formalismus selbst und damit seine Beschreibung ist jedoch stabil geblieben.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Inzwischen liegt, erneut gründlich überarbeitet und aktualisiert, die sechste Auflage dieses Lehrbuchs vor, das auch der geschichtlichen Entwicklung der Zahlentheorie besondere Aufmerksamkeit schenkt. Dabei werden nicht grundsätzlich die ersten publizierten Beweise zitiert, vielmehr erfährt der Leser den historischen Urheber eines Resultats und erhält Hinweise auf Verschärfungen und Verallgemeinerungen. Dies erlaubt ihm, die Denkweisen und -richtungen nachzuvollziehen, die zur modernen Zahlentheorie führten.Aus den Besprechungen¿. Die Darstellung ist ausführlich, sehr gut lesbar und kommt ohne spezielle Kenntnisse aus. Das Buch kann daher jedem Studenten schon im nullten Semester empfohlen werden.' (Monatshefte für Mathematik, Vol. 108-1989.2-3)Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Die Medienmärkte konvergieren. Digitalisierung und technische Innovationen führen zu wachsenden Verzahnungen und Kompatibilitäten der traditionellen Medien- und Kommunikationsplattformen. Musik-, Film- oder TV-Inhalte können über Internet oder mobile Telekommunikation verbreitet werden und sind als digitale Datensätze schnell verfügbar. ¿Triple Play' und Interaktionsangebote liefern Massen- und Individualkommunikation aus einer Hand.Mit dem Zusammenwachsen der Märkte gewinnt die Gesamtheit der medienrechtlichen Rahmenbedingungen für die Branchenbeteiligten zunehmend an Bedeutung.Das Buch vermittelt einen strukturierten Überblick über das Medienrecht, die Rechtsbeziehungen der Beteiligten und die Entwicklung der Märkte. Neben den rechtsspezifischen Aspekten der Konvergenz werden u.a. Fragen der Vertragsgestaltung und der Abgrenzung von Lizenzrechten thematisiert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Die Informationslogistik wird zum Wettbewerbsfaktor für Unternehmen. Die Versorgung von Entscheidungsträgern mit integrierten Informationen ermöglicht effiziente und effektive Entscheidungsprozesse in Alignment mit den strategischen Zielen des Unternehmens. Dazu wird ein ganzheitlicher, bereichsübergreifender Ansatz benötigt, der die inhärenten Synergiepotenziale einer Informationslogistik umfassend nutzt.Dieses Buch gibt erstmals einen Gesamteindruck über den State of the Art und Entwicklungsrichtungen der integrierten Informationslogistik aus Managementsicht. Auf Grundlage des St. Galler Business Engineering-Frameworks werden aktuelle Herausforderungen und Lösungsansätze der Informationslogistik ganzheitlich und konsistent betrachtet und Hinweise zur Gestaltung der Informationslogistik auf den Ebenen Strategie, Organisation und Informationssysteme gegeben. Ausgewählte Schwerpunktthemen vertiefen für die Umsetzung relevante Fragestellungen. Schließlich zeigen aktuelle Fallstudien konkrete Realisierungsmöglichkeiten in der unternehmerischen Praxis auf.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Den untersten Teil der Erdatmosphäre, der von der Erdoberfläche direkt beeinflusst wird, nennt man die atmosphärische Grenzschicht. Sie gehört zur unmittelbaren Umwelt der meisten Lebewesen (Mensch, Tier, Pflanzenwelt) und erhält dadurch und durch viele ihrer eigenen Prozesse und Eigenschaften eine besondere Bedeutung. Deshalb hat sich auch ein eigenes Teilgebiet der Meteorologie, die Grenzschicht-Meteorologie, entwickelt. Dieses Buch stellt die wesentlichen Grundlagen dieser Disziplin zusammen und erläutert sie. Dabei stehen einerseits physikalische Gesetze der Hydrodynamik (z. B. der Turbulenz) und der Thermodynamik, andererseits die stark interdisziplinär ausgerichtete Mikrometeorologie bzw. Mikroklimatologie im Vordergrund des Interesses. Dieses Buch möchte Leser ansprechen, die an der Meteorologie und vor allem an der bodennahen Atmosphäre interessiert sind. Darüber hinaus wendet es sich an alle, die sich mit der Wechselwirkung zwischen Erdoberfläche und Atmosphäre auseinandersetzen, z. B. an Geographen, Bodenkundler und Pflanzenökologen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Deutsch.

Buch. Zustand: Neu. Neuware -E-business integration is a vision we have developed over a long period of time. As we have worked in business practice for many years prior to and in parallel with our academic research, we have always thought of such - tegration not only as an intellectual challenge but also as a real business tool. Consequently, when we started our project on Ontologies-based R- onciliation for Business Integration (ORBI) in 2004, not only pure science but also business objectives were at the center of our research. We were very happy to be able to form a project consortium that consisted not only of renowned researchers but also of experienced business practitioners from a range of companies. Each played a specific role ¿ as user, provider or co-developer of the application components that are based on the me- ods we have developed. So may this book find its way not only to the desks of researchers and students, but also into the offices and minds of business practitioners worldwide who are dealing with the challenge of integrating their business processes, applications and information. This book is, in the most general sense, about understanding each other ¿ that is, what we do and think. Needless to say, within the project itself, and its environment, we had many opportunities to apply this underlying philosophy. In the end, the results prove it was worth the effort.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The technology of arti cial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer technology. In Japan, the annual conference series of JSAI (The Japanese Society for Arti cial Intelligence) has been playing a leading role in promoting AI research, and selected papers of the annual conferences have been published in the LNAI series since 2003. This book consists of award papers from the 21st annual conference of JSAI (JSAI 2007) and selected papers from the four co-located workshops. Seven papers were awarded among more than 335 presentations in the conference and 24 papers were selected from a total of 48 presentations in the co-located workshops: Logic and Engineering of Natural Language Semantics 2007 (LENLS 2007), the International Workshop on Risk Informatics (RI 2007), the 5th Wo- shop on Learning with Logics and Logics for Learning (LLLL 2007), and the 1st International Workshop on Juris-informatics (JURISIN 2007). The award papers from JSAI 2007 underwent a rigorous selection process. Firstly, recommendations were made from three people (Session Chair, session commentator and one PC member) in each session, and then recommended - pers were carefully reviewed and voted for by PC members for nal selection.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -moderation of the workshops, and the publication process.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Buch. Zustand: Neu. Neuware -At a time when business demands urge companies to innovate and CIOs face increasing cost pressures, offshore delivery offers the opportunity to industrialize the implementation processes for system harmonization, consolidation, and enhancement, thereby realizing substantial cost savings and quality improvements. Rightshore® - a registered trademark of Capgemini - is about organizing the distributed delivery process that embraces on-site, nearshore and offshore services.This book describes successful global delivery models utilizing industrialized methods to deliver SAP® projects from India. While the first part is devoted to management concepts, service offerings and the peculiarities of working together with India, the second part features eight case studies from different industries and from around the world describing how India delivery centers have been successfully deployed in SAP® development projects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The incursion of information and communication technologies (ICT) in health care entails evident bene ts at the levels of security and e ciency that improve not only the quality of life of the patients, but also the quality of the work of the health care professionals and the costs of national health care systems. Leaving research approaches aside, the analysis of ICT in health care shows an evo- tion from the initial interest in representing and storing health care data (i. e. , electronic health care records) to the current interest of having remote access to electronic health care systems, as for example HL7 initiatives or telemedicine. This sometimes imperceptible evolution can be interpreted as a new step of the progress path of health care informatics, whose next emerging milestone is the convergenceof current solutions with formal methods for health care kno- edge management. In this sense, K4CARE is a European project aiming at contributing to this progress path. It is centered on the idea that health care knowledge rep- sented in a formal waymay favor the treatment of home care patients in modern societies. The project highlights several aspects that are considered relevant to the evolution of medical informatics: health care knowledge production, health care knowledge integration, update, and adaptation, and health care intelligent systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Understanding the propagation of radio waves in the vicinity of the earth¿s surface can be quite complex, especially if detailed theoretical knowledge is required. The transmission path is complicated by atmospheric, tropospheric and ionospheric - fects, and the earth¿s surface itself, and other obstacles, can interact with the passage of radiation between a transmitter and receiver. Time of day and season of the year can also be important. A full treatment of these aspects usually requires a detailed understanding of electromagnetic theory and Maxwell¿s celebrated equations and yet many prac- tioners, even electrical engineers, may not have that background in suf cient depth. Nevertheless, with the proliferation of wireless applications, particularly in the VHF and UHF ranges, there is often the need for the non-specialist to gain a working knowledge of the properties of radio waves and how they are affected by factors such as those outlined above. That is the purpose of this book. It treats the essential elements of radio wave propagation without requiring recourse to advanced elect- magnetic concepts and equations; however it provides suf cient detail to allow those concerned with wireless systems to acquire quickly a practical working knowledge of the important concepts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Parallelanddistributedprocessing,althoughwithinthefocusofcomputerscience researchforalongtime,isgainingmoreandmoreimportanceinawidespectrum of applications. These proceedings aim to demonstrate the use of parallel and distributed processing concepts in di erent application elds, and attempt to spark interest in novel research directions to advance the embracing model of high-performance computing research in general. The objective of these workshops is to speci cally address researchers c- ing from university, industry and governmental research organizations and application-oriented companies, in order to close the gap between purely s- enti c research and the applicability of the research ideas to real-life problems. Euro-Par is an annual series of international conferences dedicated to the promotionandadvancementofallaspectsofparallelanddistributedcomputing. The 2007 event was the 13th issue of the conference. Euro-Par has for a long time been eager to attract colocated events sharing the same goal of promoting the development of parallel and distributed computing, both as an industrial technique and an academic discipline, extending the frontier of both the state of the art and the state of the practice. Since 2006, Euro-Par o ers researchersthe chance to colocate advanced technical workshops back-to-back with the main conference. This is for a mutual bene t: the workshops can take advantage of all technical and social facilities which are set up for the conference, so that the organizational tasks are kept to a minimal level; the conference can rely on workshopstoexperimentwithspeci careasofresearchwhicharenotyetmature enough, or too speci c, to lead to an o cial, full- edged topic at the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book contains the best papers of the 8th International Conference on Enterprise Information Systems (ICEIS 2006), held in the city of Paphos (Cyprus), organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC) in collaboration with the University of Cyprus, Aristotle University of Thessaloniki and Athens University of Economics and Business. ICEIS has become a major point of contact between research scientists, engineers and practitioners in the area of business applications of information systems. This year, five simultaneous tracks were held, covering different aspects related to enterprise computing, including: ¿Databases and Information Systems Integration,¿ ¿Artificial Intelligence and Decision Support Systems,¿ ¿Information Systems Analysis and Specification,¿ ¿Software Agents and Internet Computing¿ and ¿Human¿Computer Interaction.¿ All tracks focus on real world applications and highlight the benefits of Information Systems and Technology for industry and services, thus making a bridge between Academia and Enterprise. Following the success of 2005, ICEIS 2006 received 404 paper submissions from more than 40 countries spanning all continents. In all, 63 papers were published and presented as full papers, i.e., completed work (8 pages in proceedings / 30¿min oral presentations), 102 papers reflecting work-in-progress or position papers were accepted for short presentation and another 75 for poster presentation. 484 pp. Englisch.

Buch. Zustand: Neu. Neuware -Being the fourth in the series on Stakeholder Management books, the current volume looks back at the beginnings of Stakeholder Management and how it has since developed into a fully-fledged system over the last 20 years. It also highlights the importance of a benchmarking database generated from several thousand case studies for comparing businesses.Furthermore, international case studies look at the application of Stakeholder Management in a wide array of industries such as the automotive, public and hospitality sector as well as the consumer market. The reader benefits from a well-rounded account of articles that explain the entire process from data collection to implementation of actions derived from result analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications from a variety of elds. WAOA 2007 took place in Eilat, Israel, during October 11¿12, 2007. The workshop was part of the ALGO 2007 event that also hosted ESA 2007, and PEGG 2007. The previous WAOA workshops were held in Budapest (2003), Rome (2004), Palma de Mallorca (2005) and Zurich (2006). The proceedings of these previous WAOA workshops have appeared as LNCS volumes 2909, 3351, 3879 and 4368, respectively. Topics of interest for WAOA 2007 were: algorithmic game theory, appro- mation classes, coloring and partitioning, competitive analysis, computational nance, cuts and connectivity, geometric problems, inapproximability results, mechanism design, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, randomization techniques, real-world applications, and scheduling problems. In response to the call for - pers, we received 56 submissions. Each submission was reviewed by at least three referees, and the vast majority by at least four referees. The submissions were mainly judged on originality, technical quality, and relevance to the topics of the conference. Based on the reviews, the Program Committee selected 22 papers. We are grateful to Andrei Voronkov for providing the EasyChair conference system which was used to manage the electronic submissions, the review process, and the electronic PC meeting. It made our task much easier.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In 1986, B.K.P. Horn published a book entitled Robot Vision, which actually discussed a wider eld of subjects, basically addressing the eld of computer vision, but introducing ¿robot vision¿ as a technical term. Since then, the - teraction between computer vision and research on mobile systems (often called ¿robots¿, e.g., in an industrial context, but also including vehicles, such as cars, wheelchairs, tower cranes, and so forth) established a diverse area of research, today known as robot vision. Robot vision (or, more general, robotics) is a fast-growing discipline, already taught as a dedicated teaching program at university level. The term ¿robot vision¿ addresses any autonomous behavior of a technical system supported by visual sensoric information. While robot vision focusses on the vision process, visual robotics is more directed toward control and automatization. In practice, however, both elds strongly interact. Robot Vision 2008 was the second international workshop, counting a 2001 workshop with identical name as the rst in this series. Both workshops were organized in close cooperation between researchers from New Zealand and Germany, and took place at The University of Auckland, New Zealand. Participants of the 2008 workshop came from Europe, USA, South America, the Middle East, the Far East, Australia, and of course from New Zealand. 484 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This is the eighth year that the Agent-Oriented Information Systems (AOIS) workshops have been held. Papers submitted to AOIS show an increase in quality and maturity as agent technology is being increasingly seen as a viable alternative for software and systems development. In AOIS, we focus on the application of agent technology in information systems development and explore the potential for facilitating the increased usage of agent technology in the creation of information systems in the widest sense. This year¿s workshops were held in conjunction with two major, international computing research conferences: the first, in May 2006, was affiliated with the AAMAS conference in Hakadote, Japan and chaired by Garcia, Ghose and Kolp. The second was held in conjunction with the international CAiSE conference held in Luxembourg (June 2006) and chaired by Bresciani, Henderson-Sellers and Mouratidis. (Details of all preceding workshops are to be found at aois. org. ) The best papers from both these meetings were identified and authors invited to revise and extend their papers in light of the reviewers¿ comments and feedback at the workshop. Following submission to this compendium volume, another round of reviews was undertaken resulting in what you can read here. These re-reviews were undertaken by three members of the Programme Committee ¿ we wish to thank both the authors for undertaking the necessary revisions and the reviewers for this extra call on their precious time.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -th This volumecontains the proceedingsof the 9 internationalconference onV- i cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7¿9, 2008. The purpose of VMCAI is to provide a forum for researchers from three communities¿Veri cation, Model Checking, and - stractInterpretation¿thatwill facilitate interaction,cross-fertilization,andthe advance of hybridmethods that combine the three areas.With the growingneed for formal tools to reason about complex, in nite-state, and embedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri cation, program certi - tion, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. VMCAI 2008 was the 9th VMCAI meeting. Previous meetings were held in Port Je erson 1997, Pisa 1998, Venice 2002, New York 2003, Venice 2004, Paris 2005, Charleston 2006, and Nice 2007. The program committee selected 21 papers out of over 60 on the basis of at least three reviews. The principal criteria were relevance and quality. The program of VMCAI 2008 included, in addition to the research papers, three invited talks, by Radhia Cousot, Maurice Herlihy and Neil Jones, and three tutorials, by Orna Kupferman, Jens Palsberg, and Marco Pistoia. We would like to thank the ProgramCommittee members and the reviewers, without whose dedicated e ort the conference would not have been possible. Our thanks also to the Steering Committee members for their helpful advice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Equations of state are not always effective in continuum mechanics. Maxwell and Boltzmann created a kinetic theory of gases, using classical mechanics. How could they derive the irreversible Boltzmann equation from a reversible Hamiltonian framework By using probabilities, which destroy physical reality! Forces at distance are non-physical as we know from Poincaré's theory of relativity. Yet Maxwell and Boltzmann only used trajectories like hyperbolas, reasonable for rarefied gases, but wrong without bound trajectories if the 'mean free path between collisions' tends to 0. Tartar relies on his H-measures, a tool created for homogenization, to explain some of the weaknesses, e.g. from quantum mechanics: there are no 'particles', so the Boltzmann equation and the second principle, can not apply. He examines modes used by energy, proves which equation governs each mode, and conjectures that the result will not look like the Boltzmann equation, and there will be more modes than those indexed by velocity!Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008. The 19 revised full papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers cover a wide spectrum reaching from pre-fabrication adaptation of architectural templates to dynamic run-time adaptation of deployed systems with special focus on adaptivity and adaptive system architectures. The papers are organized in topical sections on hardware design, pervasive computing, network processors and memory management, reconfigurable hardware, real-time architectures, organic computing, and computer architecture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -about the current developments in this research area thus can highly pro t from this volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Today¿s mobile robot perception is insu cient for acting goal-directedly in - constrained, dynamic everyday environments like a home, a factory, or a city. Subject to restrictions in bandwidth, computer power, and computation time, a robot has to react to a wealth of dynamically changing stimuli in such - vironments, requiring rapid, selective attention to decisive, action-relevant - formation of high current utility. Robust and general engineering methods for e ectively and e ciently coupling perception, action, and reasoning are unava- able. Interesting performance, if any, is currently only achieved by sophisticated robot programming exploiting domain features and specialties, which leaves - dinary users no chance of changing how the robot acts. The latter facts are high barriers for introducing, for example, service robots into human living or work environments. In order to overcome these barriers, additonal R&D e orts are required. The European Commission is undert- ing a determined e ort to fund related basic, inter-disciplinary research in a line of Strategic Objectives, including the Cognitive Systems calls in their 6th Framework Programme (FP6, [1]), and continuing in the 7th Framework P- gramme.OneofthefundedCognitiveSystemsprojectsisMACS(¿multi-sensory autonomous cognitive systems interacting with dynamic environments for p- ceiving and using a ordances¿).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Buch. Zustand: Neu. Neuware -We start with a fun puzzle in mathematics and mathematical methods. How many corners does a four-dimensional cube have Does such a thing exist, you ask You may be a geoscientist or a philosopher. If your answer is: there are surely more than the eight corners there are for a three-dimensional cube, you are an engineer. If you know without hesitation that there are exactly sixteen corners and you can prove why, you are a mathematician. To explain the goal of this book, I refer to Hersh (1997): The United States suffers from ¿innumeracy¿ in its general population, ¿math avoidance¿ amonghigh-schoolstudents,and50percentfailureamongcollegecalculuss tudents.Causes include starvation budgets in the school, mental attrition by television, parents who don¿t like math. There¿s another, unrecognized cause of failure: misconception of the nature of mathematics. I think the speci c reference to the United States may be omitted. It is really a worldwide problem. Moreover, there is one more consequence of ¿math avoidance¿ and ¿misconception¿: good mathematical approaches are sometimes applied inc- rectly. Particularly, the methods of statistics are often misused for different goals. Applying mathematical methods is similar to using nuclear power: the nal results depend on the competence of the user. I try to convince my readers to apply the ¿energy¿ of mathematics with consideration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptualhierarchyleadingtomethodsforconceptuallyanalyzingdataandkno- edge. The theoryitselfstronglyreliesonorderandlatticetheory,whichhasbeen studied by mathematicians over decades. FCA proved itself highly relevant in several applications from the beginning, and, over the last years, the range of applicationshaskeptgrowing. The mainreasonfor this comesfromthe fact that our modern society has turned into an ¿information¿ society. After years and years of using computers, companies realized they had stored gigantic amounts of data. Then, they realized that this data, just rough information for them, might become a real treasure if turned into knowledge. FCA is particularly well suited for this purpose. From relational data, FCA can extract implications, - pendencies, concepts and hierarchies of concepts, and thus capture part of the knowledge hidden in the data. The ICFCA conference series gathers researchers from all over the world, being the main forum to present new results in FCA and related elds. These results range from theoretical novelties to advances in FCA-related algorithmic issues, as well as application domains of FCA. ICFCA 2008 was in the same vein as its predecessors: high-quality papers and presentations, the place of real debate and exchange of ideas. ICFCA 2008 contributed to strengthening the links between theory and applications. The high quality of the presentations was the result of the remarkable work of the authors and the reviewers. We wish to thank the reviewers for all their valuable comments, which helped the authors to improve their presentations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Zustand: Neu. Neuware -Cytologic examination of the cerebrospinal fluid is a technically simple, yet productive, diagnostic procedure. Integrated Cytology of Cerebrospinal Fluid is a practical guide to this method used in the diagnosis of different pathologies. High-quality slides depict the common cerebrospinal fluid cell types, cell anomalies in inflammatory conditions and neoplastic and non-neoplastic disorders, and cases with contaminants. The integrated approach includes the use of immunocytochemical, histological, and immunohistological illustrations and quantitative date in addition to descriptions and photographs of cytologic preparations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 104 pp. Englisch.