Bøker utgitt av Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

The presentations and posters covered a wide range of CBR topics of interest both to researchers and practitioners including case retrieval and adaptation, similarity assessment, case base maintenance, knowledge management, recommender systems, multiagent systems, textual CBR, and applications to healthcare and computer games.

This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions.

This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012.

Das Buch befasst sich mit der Vertragspraxis und den Rechtsfragen des Künstlermanagementvertrages im Musikbereich. Schwerpunkt des ersten Teils ist eine umfassende Vertragsanalyse der typischen Regelungen und Pflichtenprogramme zwischen Künstlern und Managern anhand von Praxis- und Musterverträgen. Im zweiten Teil wird die Rechtsnatur typischer Künstlermanagementverträge bestimmt und der Vertrag im System der Schuldverträge verortet. Anschließend werden im dritten Teil die wesentlichen Rechtsprobleme bei der Begründung, Durchführung und Beendigung von Künstlermanagementverträgen untersucht.¿

Verträge über die Realisierung von komplexen Projekten sind vor allem im Anlagenbau, aber auch bei der Beschaffung von Maschinen oder anderen Wirtschaftsgütern sowie bei der Entwicklung von Software weit verbreitet. Sie bestimmen das Rechtsverhältnis zwischen dem Investor als Auftraggeber und dem Unternehmer, der als Auftragnehmer das Investitionsprojekt durchführt. Das Buch behandelt die wesentlichen Aspekte und Inhalte derartiger Verträge vor dem Hintergrund der einschlägigen gesetzlichen Regelungen und gibt Hinweise zur Vertragsgestaltung unter besonderer Berücksichtigung der Unternehmens- und Vertragspraxis, die sich bei derartigen Projekten auf nationaler und internationaler Ebene herausgebildet hat. Ebenfalls ausführlich geht das Buch auf die Inhaltskontrolle von Allgemeinen Geschäftsbedingungen und Standardverträgen im Zusammenhang mit Projektverträgen ein. Praktische Lösungsansätze runden die Darstellung ab.

adaptive control, fuzzy control, neural network based control, knowledge based control, hybrid intelligent control, learning control, evolutionary mechanism based control, multi-sensor integration, failure diagnosis, and reconfigurable control.

Dieses Lehrbuch liegt jetzt in der 3. Auflage vor. Es behandelt u.a.-   die wichtige Berechnung des Druckverlustes bei der Strömung von Flüssigkeits-/Gasgemischen in Rohren-   die kritische Strömung von Gasen und Flüssigkeits-/Gasgemischen-   die Strömung kompressibler Fluide mit hoher Geschwindigkeit (Fanno-Linie)-   Reibungsdruckverluste in quer angeströmten Rohrbündeln-   Grundlagen der numerischen Lösungsmethoden-   Strömungsmesstechnik und Fehlerrechnung-   in Mathcad erstellte Beispiele, die im Internet abgerufen werden können.Die Studierenden lernen, mit Hilfe des Buches anspruchsvolle Apparate, wie z.B. Raketenbrennkammer, Verdampfer oder Kondensatoren für Wärmepumpen, selbständig auszulegen.Der Aufbau des Buches zeichnet sich durch eine praxisnahe, klar strukturierte und systematische Darstellung aus. Zahlreiche durchgerechnete Beispiele erleichtern das Verständnis.Die Zielgruppen Studierende des Maschinenbaus und der Verfahrenstechnik an Universitäten und Fachhochschulen

The liner shipping network design delivers schedules and routes for ships that continuously visit harbours on a closed round trip.

The book has been translated from the third German edition, which serves as a textbook for university students in materials sciences and a reference book for scientists and engineers in glass science and production.

This book addresses important current and historical topics in astrobiology and the search for life beyond Earth, including the search for extraterrestrial intelligence (SETI).

This book presents astrophysics from basic principles without requiring any previous study of astronomy or astrophysics. This one-semester overview provides 15 lecture-sized chapters and 50 set-aside focus elements.

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.

This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. formal methods and modeling languages for components and services;

This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Spindleruv Mlyn, Czech Republic, in January 2013. The contributions are organized in topical sections named: foundations of computer science;

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

A major problem arising in airline alliances is to design allocation mechanisms determining how the revenue of a product should be shared among the airlines. The proposed mechanism is used as a benchmark to evaluate the fairness of the revenue sharing mechanisms, where the alliance partners behave selfishly.

This book constitutes the proceedings of the 20th International Conference on Conceptual Structures, ICCS 2013, held in Mumbai, India, in January 2013.

This book is an abbreviated, partly re-written version of "Under the Radar - The First Woman in Radio Astronomy: Ruby Payne-Scott." As the first female radio astronomer (and one of the first people in the world to consider radio astronomy), she made classic contributions to solar radio physics.

The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.

The two volumes LNCS 6553 and 6554 constitute the refereed post-proceedings of 7 workshops held in conjunction with the 11th European Conference on Computer Vision, held in Heraklion, Crete, Greece in September 2010.

The two volumes contain papers presented in the topical sections on multimedia annotation I and II, interactive and mobile multimedia, classification, recognition and tracking I and II, ranking in search, multimedia representation, multimedia systems, poster papers, special session papers, demo session papers, and video browser showdown.