Wyniki wyszukiwania:

Das Leben von Elfenprinz Kheelan verändert sich schlagartig, als ein Mord sein Königreich erschüttert. Der Vorfall bringt verdrängte Erinnerungen zurück, denn nicht nur er kennt die Mörderin. Lady Alethea ist Kheelans verlorene Liebe und gilt offiziell als verschwunden.Bei einer verhängnisvollen Begegnung stehen sich die beiden dann erneut gegenüber. Als ihre Gefühle füreinander neu aufflammen, deckt Kheelan während Recherchen die dunkelsten Geheimnisse des Königshauses auf. Eine Jagd nach Liebe, Rache und Gerechtigkeit beginnt und droht den Prinzen zu überwältigen, der doch...

Ein Bienenstock, drei Königinnen - und das Leben von über 50.000 Bienen steht auf dem Spiel.Aubrey ist gerade geschlüpft und soll die Nachfolge der alten Königin Aurinea antreten. Aurinea plant, mit einem Teil des Volkes aufzubrechen, sobald eine neue Herrscherin bereit ist. Doch nach Aubreys Hochzeitsflug zeigt sich ein Problem: Sie kann keine Eier legen.Inmitten dieses Chaos schlüpft Harriet - stark und fruchtbar, aber unfähig, Pheromone auszusenden, die ihr Volk führen.Der Stock droht unter seinem eigenen Gewicht zu zerbrechen und immer mehr Bienen werden krank. Liegt es an einer...

Als Bella und Miles sich zum ersten Mal begegnen, wird ihre Welt auf den Kopf gestellt. Als Mausefalle und Maus gehören sie zwei gesellschaftlichen Gruppen an, die auf den Tod verfeindet sind. Bellas Pflicht ist es, Miles zu töten, während er plant, die Mausefallen zu vernichten. Aber nur eine kurze Interaktion miteinander entfacht ein Feuer zwischen den beiden, das sich auf ihr gesamtes Leben auswirken wird. Was passiert, wenn die Grenzen der Gesellschaft mit einem Herzklopfen und intensivem Augenkontakt auf einmal verschwimmen?

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

Comparative family policy studies have flourished in recent years. The growing recognition of family policy is related to far-reaching changes in family structures since the mid-1960s and to the growth of European welfare states to fiscal and institutional limits. With recent welfare state reforms, the family, gender roles, and the social division of labour have become prominent issues. This book contributes to comparative family policy studies by a distinct profile. Contributions typically include a small number of countries. The geographic focus is on Southern European and Scandinavian...

This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.
This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity;...

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22 25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies. GPCE was created as an e?ort to bring - getherresearchersworkingonboththeprogramminglanguagesandthesoftware engineeringsideofprogramgenerationandcomponentengineering. Thecommon theme of program generation and component engineering is the domain-speci?c nature of both...