This book constitutes the refereed joint proceedings of seven workshops on evolutionary computing, EvoWorkshops 2007, held in Valencia, Spain in April 2007. The 55 revised full papers and 24 revised short papers presented were carefully reviewed and selected from a total of 160 submissions. In accordance with the seven workshops covered, the papers are organized in topical sections on evolutionary computation in communications, networks, and connected systems, evolutionary computation in finance and economics, evolutionary computation in image analysis and signal processing, interactive evolution and humanized computational intelligence, evolutionary music and art, evolutionary algorithms in stochastic and dynamic environments, as well as evolutionary computation in transportation and logistics.

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2006, held in Hasselt, Belgium in October 2006. The 23 revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions for inclusion in the book. The workshop focused on different forms of models, diagrammatic and formal notations, and analytic frameworks used to understand human tasks and activities with computers and technology. The papers are organized in topical sections on tool support, model-based interface development, user interface patterns, bridging the gap: driven by models, task-centered design, multi-modal user interfaces, reflections on tasks and activities in modeling, as well as context and plasticity.

This volume contains the final proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Academy of Sciences Andrei Ershov (1931–1988) and his outstanding contributions towards advancing informatics. The role of Andrei Ershov in the establishment and development of the theory of programming and systems programming in our country cannot be overestimated. Andrei was one of the founders of the Siberian Computer Science School. He guided and took active part in the development of the programming system ALPHA and the multilanguage system BETA, and authored some of the most remarkable results in the theory of programming. Andrei is justly considered one of the founders of the theory of mixed computation. In 1974 he was nominated as Distinguished Fellow of the British Computer Society. In 1981 he received the Silver Core Award for services rendered to IFIP. Andrei Ershov’s brilliant speeches were always in the focus of public attention. Especially notable were his lectures “Aesthetic and Human Factor in Programming” and “Programming—The Second Literacy.” He was not only an extremely gifted scientist, teacher and fighter for his ideas, but also a bright and many-sided personality. He wrote poetry, translated the works of R. Kipling and other English poets, and enjoyed playing guitar and singing. Everyone who had the pleasure of knowing Andrei Ershov and working with him will always remember his great vision, eminent achievements and generous friendship. Another aim of the conference was to provide a forum for the presentation and in-depth discussion of advanced research directions in computer science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction was a further goal of the conference.

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, functional logic, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming.

Software engineering leads to better software products. This book teaches readers how to develop games according to a design and follow a standardized approach to game development. It provides a multitude of exercises that show just how software engineering practices can improve your game. All the basic categories of software engineering are covered. Programmers, designers, architects, generalists, software engineers, and game developers seeking knowledge about standard frameworks for games and their relative merits will find this text more than satisfying. Three frameworks (function, object-oriented, and patterned) are presented, contrasted, and fully described through design documents.

Hybrid learning originated from North America in 2000 and is an ongoing trend. It is not merely a simple combination of direct teaching and eLearning, but comprises different learning strategies and important elements for teaching and learning. It focuses on student center learning and provides an environment for knowledge learning. Students are given more opportunities to be active learners and practice practical skills such as communication, collaboration, critical thinking, creativity, self-management, self-study, problem solving, analysis and numeracy.

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with 1 keynote paper, and 2 working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on HCI research, critical systems, model based development, cognitive aspects of interaction, use of models, haptics and multimodality, prototyping and evaluation, supporting user interface development, and group discussions.

Эта книга посвящена одному из интереснейших периодов мировой истории, получившему название "Эпоха викингов". Автор подробно описывает как военные походы "королей морей", их завоевания, вооружение, открытие ими новых земель, так и повседневный быт, предметы обихода и образ жизни "северных людей". Отдельно автор останавливается на религиозных верованиях и мифологии викингов и приводит некоторые подлинные отрывки из саг и поэзии скальдов.

Насколько то, что вы, уважаемый читатель, учили в школе на уроках истории, соответствует истине? А что, если история переписывалась, и не раз, а при смене царствующих династий и во время революций. Что, если врут летописи и учебники и прошлое было совсем иным? Автор задался этими вопросами. И сделал сногсшибательный вывод: Киевской Руси не было! А что же было вместо нее? Ответ на этот вопрос вы узнаете, прочтя эту книгу.

In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants, and black-box correctness are also presented.

Warum denn Unix? Jetzt lerne ich Unix klärt diese Frage auf 400 Seiten mit Begeisterung und Elan – die Angst vor der Kommandozeile bleibt dabei vollständig auf der Strecke.
Lutz Brockmann bleibt der Unix-Welt treu und geht die Grundlagen von der Textkonsole her an. Das mag dem interessierten Windows-Nutzer, der DOS seit XP für Geschichte hält, befremdlich erscheinen, wenn auch nur für kurze Zeit. Schon Neal Stephenson schrieb In the Beginning … was the Command Line, um mit der richtigen Einstellung den Computer kennen zu lernen, kann es auch Einsteigern großen Spaß machen, an die Welt hinter der Oberfläche heranzugehen.

Compass Publishing brings Charles Dickens' timeless morality tales to its line of Compass Classic Readers. English language learners of all ages will enjoy developing their vocabulary and reading fluency as they read about the miserly businessman Ebenezer Scrooge and his disdain for the Christmas holiday season, until he meets the ghost of his dead business partner, Jocob Marley, on one fateful evening. Students and teachers alike will be enchanted with this delightful adaptation of this enduring holiday classic.
Compass Classic Readers provide beginning and intermediate English language learners accessible adaptations of the greatest works of literature. Carefuly designed to retell the stories using vocabulary and sentence structure appropriate for one of six different grade levels.