You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96, held in conjunction with ALP and SAS in Aachen, Germany, in September 1996. The 30 revised full papers presented in the volume were selected from a total of 97 submissions; also included are one invited contribution by Lambert Meerlens and five posters and demonstrations. The papers are organized in topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, constraints, and deductive database languages.
This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998. Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc.
2019: Ein junger Mann folgt den Spuren seiner Eltern, die er nie kennengelernt hat, und begibt sich in die Welt seiner frühen Kindheit ... 2005: In einem Kleinstadtkrankenhaus wacht eine äußerlich unverletzte junge Frau auf, ohne zu wissen, wie sie dorthin gelangt ist. Nicht nur das: Ihr fehlt jegliche Erinnerung an ihr früheres Leben. Sie weiß nur eines: Sie ist nicht Eva Eden, die Frau, die eines schweren Verbrechens beschuldigt wird, wie die Polizei behauptet. Doch wer ist sie wirklich? Kriminalkommissar Ralf Herbst und die Psychotherapeutin Dr. Carina Freymuth suchen nach den Hintergründen des Geschehens, während sich die junge Frau nach und nach an ihre Vergangenheit erinnert und schließlich die furchtbare Wahrheit erkennt ...
Anwendungsbezogen und entwicklungsorientiert wird in diesem Band die Java-Technologie diskutiert. Ausgehend von praktischen Erfahrungen diskutieren die Autoren Java unter verschiedenen Aspekten bis hin zu neuartigen Anwendungen und Paradigmen.
Most people in the Western world listen to music because of emotions. They want to create or experience emotions. But music is made of tones, tones are sound waves and sound waves are physics. How is it possible that physics becomes psychology, because emotions are a psychological phenomenon? When people like a certain piece of music, they usually want to listen to it again and again. Not infrequently for years and decades. What could be the reasons for this? When people like a piece of music, it is primarily the melody that they like. For most people, the melody is the face of a piece. More than anything else, it is the element of music they remember. What are the characteristics of melodie...