springer mai 2009 (443 results)

Taschenbuch. Condition: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 2008 Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, held in Hanoi, Vietnam, in December 2008 as part of 10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008. The 20 revised papers presented were carefully reviewed and selected from 57 submissions and went through two rounds of reviewing and improvement. The papers are organized in topical sections on machine learning and data mining, incremental knowledge acquisition, web-based techniques and applications, as well as domain specific knowledge acquisition methods and applications. 256 pp. Englisch.

Buch. Condition: Neu. Neuware -Motivated learning is an emerging research field in artificial intelligence and cognitive modelling. Computational models of motivation extend reinforcement learning to adaptive, multitask learning in complex, dynamic environments - the goal being to understand how machines can develop new skills and achieve goals that were not predefined by human engineers. In particular, this book describes how motivated reinforcement learning agents can be used in computer games for the design of non-player characters that can adapt their behaviour in response to unexpected changes in their environment.This book covers the design, application and evaluation of computational models of motivation in reinforcement learning. The authors start with overviews of motivation and reinforcement learning, then describe models for motivated reinforcement learning. The performance of these models is demonstrated by applications in simulated game scenarios and a live, open-ended virtual world. Researchers in artificial intelligence, machine learning and artificial life will benefit from this book, as will practitioners working on complex, dynamic systems - in particular multiuser, online games. 206 pp. Englisch.

Buch. Condition: Neu. Neuware -With this book, Knee Arthroscopy, Dr. Brian McKeon, Dr. James Bono, and Dr. John Richmond and their selected contributors have carefully amassed a compendium of chapters well suited for the general orthopaedist as well as for the accomplished knee surgeon. Auth- ing and editing a textbook as well as contributing chapters re ect an unsel sh dedication to the education of others. The inclusion of selected case reports in the chapters adds a unique feature that brings the reader back to the more pragmatic aspects of patient care. The authors and editors have combined a careful and unbiased review of the literature on each subject with a synopsis of current thinking and suggested pathways for the reader. C- prehensive references and illustrations complement the text and add to the clarity of the topics. The selection of topics represents a comprehensive and complete array of almost every knee condition from simple to complex. The reader is able to use selective components of the review to tailor his or her treatment regiments to a vast array of clinical conditions. This book will be a stable and enduring reference for years to come.

Taschenbuch. Condition: Neu. Neuware - This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.

Taschenbuch. Condition: Neu. Neuware - Heart failure is an increasingly common occurance in the patient population despite better treatment and management options available to clinicians. The focus is now increasingly turning towards prevention to reduce the rising incidence in addition to more efficacious treatment regimens.With emphasis on practical knowledge and easy reference, this title is designed to present the relevant diagnostic, management and treatment information in an easily digested and evidence-based algorithm format. With use of illustrations, readers will be able to rely on this text as a basic primer when studying patients with this complex and multifaceted set of diseases.

Buch. Condition: Neu. Neuware - With this book, Knee Arthroscopy, Dr. Brian McKeon, Dr. James Bono, and Dr. John Richmond and their selected contributors have carefully amassed a compendium of chapters well suited for the general orthopaedist as well as for the accomplished knee surgeon. Auth- ing and editing a textbook as well as contributing chapters re ect an unsel sh dedication to the education of others. The inclusion of selected case reports in the chapters adds a unique feature that brings the reader back to the more pragmatic aspects of patient care. The authors and editors have combined a careful and unbiased review of the literature on each subject with a synopsis of current thinking and suggested pathways for the reader. C- prehensive references and illustrations complement the text and add to the clarity of the topics. The selection of topics represents a comprehensive and complete array of almost every knee condition from simple to complex. The reader is able to use selective components of the review to tailor his or her treatment regiments to a vast array of clinical conditions. This book will be a stable and enduring reference for years to come.

Taschenbuch. Condition: Neu. Neuware - Geostatistics is expanding very fast: concept- and technique-wise. Keeping in view the importance of the subject, it was thought appropriate to bring out the second edition of this book. In this process, Chapter I has been expanded In Chapter 2, incorporating more details on sampling and sampling designs. a section on simulation has been introduced with emphasis on Monte-Carlo simulation with worked out examples. In Chapter 5, a procedure to compute variogram in the case of irregular grid has been outlined. Minor modifications have been made in all other chapters. A new chapter on Introduction to Advanced Geostatistics has been introduced with discussions on universal kriging, disjunctive kriging, conditional simulation and median polish kriging. Review Questions are given at the end of each chapter to facilitate a better understanding of the subject by the student/practitioner. The software codes are put in a CD for convenience of the students/practitoner of geostatistics. A few additions have been made in the bibliography making it more exhaustive. This contains references to the concepts and methods presented, in-depth treatment of related topics and possible extensions. My grateful thanks are due to Dr. B.S. Saini, Principal, Guru Nanak Engg. College, Hyderabad for very helpful support. I hope that this edition will be a welcome one.

Buch. Condition: Neu. Neuware - The current book provides a final report of activity performed by the COST 290 Action, ''Traffic and QoS Management in Wireless Multimedia Networks,'' which ran from March 10, 2004, until June 3, 2008. After an introduction to the COST framework and the Action's survey time-frame and activities, the main part of the book addresses a number of technical issues, which are structured into several chapters. All those issues have been carefully investigated by the COST 290 community during the course of the project - the information presented in this book can be regarded as ultimate for each particular topic; every open research issue addressed in the book is described carefully, corresponding existing studies are analyzed and results achieved by the COST 290 community are presented and compared, and further research directions are defined and analyzed. Because the book covers a wide area of research addressing issues of modern wired and wireless networking at different layers, starting from the physical layer up to the application layer, it can be recommended to be used by researchers and students to obtain a comprehensive analysis on particular research topics including related areas, to obtain broad and ultimate referencing, and to be advised on current open issues. COST 290 is one of the Actions of the European COST Program. Founded in 1971, COST is an intergovernmental framework for European Cooperation in the field of Scientific and Technical Research, allowing the coordination of nationally funded research on a European level.

Buch. Condition: Neu. Neuware - Plants are the basis for human nutrition and of increasing interest for the chemical industry as a source of chemical feed stocks. Fuels derived from plant biomass will increasingly replace fossil fuels in the future. In order to increase crop productivity, design new plant products, and create new energy crops, there is need for methods of qualitative and quantitative analysis of metabolism which are able to guide the rational re-design of metabolic networks. In this book, recent advances in qualitative and quantitative analysis of metabolism are summarized to give an overview of the current state of knowledge. Principles of the analysis of network structure, flux analysis, and kinetic modeling are described. Analytical methods necessary to produce the data needed for metabolic flux analysis and for kinetic modeling are described. The analysis of larger metabolic networks is only possible by using computer assistance. Therefore each chapter of the book shall also describe software available for this purpose.

Buch. Condition: Neu. Neuware -With this book, Knee Arthroscopy, Dr. Brian McKeon, Dr. James Bono, and Dr. John Richmond and their selected contributors have carefully amassed a compendium of chapters well suited for the general orthopaedist as well as for the accomplished knee surgeon. Auth- ing and editing a textbook as well as contributing chapters re ect an unsel sh dedication to the education of others. The inclusion of selected case reports in the chapters adds a unique feature that brings the reader back to the more pragmatic aspects of patient care. The authors and editors have combined a careful and unbiased review of the literature on each subject with a synopsis of current thinking and suggested pathways for the reader. C- prehensive references and illustrations complement the text and add to the clarity of the topics. The selection of topics represents a comprehensive and complete array of almost every knee condition from simple to complex. The reader is able to use selective components of the review to tailor his or her treatment regiments to a vast array of clinical conditions. This book will be a stable and enduring reference for years to come. 220 pp. Englisch.

Buch. Condition: Neu. Neuware - Trends in Communication Technologies and Engineering Sciencecontains revised and extended research articles written by prominent researchers participating in a large international conference on Advances in Communication Technologies and Engineering Science. The conference is held in Hong Kong, March 19-21, 2008. Topics covered include communications theory, communications protocols, network management, wireless networks, telecommunication, electronics, power engineering, control engineering, signal processing, and industrial applications. Trends in Communication Technologies and Engineering Science offers tremendous state of the art advances in communication systems and engineering sciencewhich also serves as an excellent reference work for researchers and graduate students working on communication technologies and engineering science.

Taschenbuch. Condition: Neu. Neuware - This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Parallel Processing and Applied Mathematics, PPAM 2005. The book presents 135 papers organized in topical sections on parallel and distributed architectures, parallel and distributed non-numerical algorithms, performance analysis, prediction and optimization, grid programming, tools and environments for clusters and grids, applications of parallel/distributed/grid computing, evolutionary computing with applications, parallel data mining, parallel numerics, and mathematical and computing methods.

Buch. Condition: Neu. Neuware - In recent years, a new class of applications has come to the forefront { p- marily due to the advancement in our ability to collect data from multitudes of devices, and process them e ciently. These include homeland security - plications, sensor/pervasive computing applications, various kinds of mo- toring applications, and even traditional applications belonging to nancial, computer network management, and telecommunication domains. These - plications need to process data continuously (and as long as data is available) from one or more sources. The sequence of data items continuously gen- ated by sources is termed a data stream. Because of the possible never-ending nature of a data stream, the amount of data to be processed is likely to be unbounded. In addition, timely detection of interesting changes or patterns or aggregations over incoming data is critical for many of these applications. Furthermore, the data arrival rates may uctuate over a period of time and may be bursty at times. For most of these applications, Quality of Service (or QoS) requirements, such as response time, memory usage, and throughput are extremely important. These application requirements make it infeasible to simply load the incoming data streams into a persistent store and process them e ectively using currently available database management techniques.

Buch. Condition: Neu. Neuware - The editors and contributors tackle a timely subject, and present rigorous research and analysis to demonstrate counter-intuitive results. In so doing, they reinforce the connections between organization and policy in the banking industry and its impact on entrepreneurship, through lending and credit to small and medium-sized businesses. The editors present a carefully organized manuscript that presents both literature reviews and the results of original empirical research that will be of interest to academics and professionals in finance, economics, and policy. The authorship and coverage are global. One of the authors, Michele Fratiani, has close ties to Springer, by virtue of his being a founding editor of Open Economies Review and co-editor of the book series, European and Transatlantic Studies.

Buch. Condition: Neu. Neuware - Autonomic Computing and Networking presents introductory and advanced topics on autonomic computing and networking with emphasis on architectures, protocols, services, privacy & security, simulation and implementation testbeds. Autonomic computing and networking are new computing and networking paradigms that allow the creation of self-managing and self-controlling computing and networking environments using techniques such as distributed algorithms and context-awareness to dynamically control networking functions without human interventions. Autonomic networking is characterized by recovery from failures and malfunctions, agility to changing networking environment, self-optimization and self-awareness. The self-control and management features can help to overcome the growing complexity and heterogeneity of exiting communication networks and systems. The realization of fully autonomic heterogeneous networking introduces several research challenges in all aspects of computing and networking and related fields.

Buch. Condition: Neu. Neuware - This volume represents a practical survey of current understanding of chemical contamination of the Mediterranean Sea. Beginning with an overview of the general physical and socio-economic context, the author reviews the exploration of processes governing the fate of chemicals, assesses the budget of both inorganic and organic contaminants, and describes new tools for studying the impact of pollution on the Mediterranean.

Buch. Condition: Neu. Neuware - In the last two decades, accelerating technological progress, increasing economic globalization and the proliferation of international agreements have created new challenges for intellectual property law.In this collection of articles in honor of Professor Joseph Straus, more than 60 scholars and practitioners from the Americas, Asia and Europe provide legal, economic and policy perspectives on these challenges, with a particular focus on the challenges facing the modern patent system. Among the many topics addressed are the rapid development of specific technical fields such as biotechnology, the relationship of exclusive rights and competition, and the application of territorially limited IP laws in cross-border scenarios.

Buch. Condition: Neu. Neuware -Der jüngste Vulkan Deutschlands, das Ulmener Maar, ist gerade mal 11000 Jahren alt. Auch der Laacher-See-Vulkan, bei dessen gewaltiger Eruption Glutlawinen den Rhein zu einem riesigen See aufstauten, brach erst vor 12 900 Jahren aus - geologisch gesprochen also vor wenigen Sekunden. Ist der Eifelvulkanismus erloschen wie lange behauptet wurde Schmincke gibt in diesem Buch die Antwort: Neue Vulkane können in der Eifel jederzeit entstehen. Doch wann und wo kann niemand vorhersagen. Anschaulich, klar verständlich und unterhaltsam erläutert Schmincke die vielfältigen Facetten der Eifelvulkane. Das opulent ausgestattete Buch lädt ein zu einem Spaziergang durch eine Region, in der man vulkanische Phänomene so direkt bestaunen und begreifen kann wie nirgendwo sonst in Mitteleuropa. Das jüngste Vulkangebiet Mitteleuropas, ein beliebtes Erholungsgebiet, ist gleichzeitig Anziehungspunkt für Forscher aus aller Welt und eines der am besten untersuchten Vulkangebiete der Welt überhaupt. Nach der sehr erfolgreichen ersten Auflage nun die aktualisierte und überarbeitete zweite Auflage des Buches im Softcover-Einband. Durch eine Übersichtskarte lassen sich die im Buch besprochenen Vulkane leichter auffinden. 168 pp. Deutsch.

Buch. Condition: Neu. Neuware -Der jüngste Vulkan Deutschlands, das Ulmener Maar, ist gerade mal 11000 Jahren alt. Auch der Laacher-See-Vulkan, bei dessen gewaltiger Eruption Glutlawinen den Rhein zu einem riesigen See aufstauten, brach erst vor 12 900 Jahren aus - geologisch gesprochen also vor wenigen Sekunden. Ist der Eifelvulkanismus erloschen wie lange behauptet wurde Schmincke gibt in diesem Buch die Antwort: Neue Vulkane können in der Eifel jederzeit entstehen. Doch wann und wo kann niemand vorhersagen. Anschaulich, klar verständlich und unterhaltsam erläutert Schmincke die vielfältigen Facetten der Eifelvulkane. Das opulent ausgestattete Buch lädt ein zu einem Spaziergang durch eine Region, in der man vulkanische Phänomene so direkt bestaunen und begreifen kann wie nirgendwo sonst in Mitteleuropa. Das jüngste Vulkangebiet Mitteleuropas, ein beliebtes Erholungsgebiet, ist gleichzeitig Anziehungspunkt für Forscher aus aller Welt und eines der am besten untersuchten Vulkangebiete der Welt überhaupt. Nach der sehr erfolgreichen ersten Auflage nun die aktualisierte und überarbeitete zweite Auflage des Buches im Softcover-Einband. Durch eine Übersichtskarte lassen sich die im Buch besprochenen Vulkane leichter auffinden. 168 pp. Deutsch.

Buch. Condition: Neu. Neuware - Der jüngste Vulkan Deutschlands, das Ulmener Maar, ist gerade mal 11000 Jahren alt. Auch der Laacher-See-Vulkan, bei dessen gewaltiger Eruption Glutlawinen den Rhein zu einem riesigen See aufstauten, brach erst vor 12 900 Jahren aus - geologisch gesprochen also vor wenigen Sekunden. Ist der Eifelvulkanismus erloschen wie lange behauptet wurde Schmincke gibt in diesem Buch die Antwort: Neue Vulkane können in der Eifel jederzeit entstehen. Doch wann und wo kann niemand vorhersagen. Anschaulich, klar verständlich und unterhaltsam erläutert Schmincke die vielfältigen Facetten der Eifelvulkane. Das opulent ausgestattete Buch lädt ein zu einem Spaziergang durch eine Region, in der man vulkanische Phänomene so direkt bestaunen und begreifen kann wie nirgendwo sonst in Mitteleuropa. Das jüngste Vulkangebiet Mitteleuropas, ein beliebtes Erholungsgebiet, ist gleichzeitig Anziehungspunkt für Forscher aus aller Welt und eines der am besten untersuchten Vulkangebiete der Welt überhaupt. Nach der sehr erfolgreichen ersten Auflage nun die aktualisierte und überarbeitete zweite Auflage des Buches im Softcover-Einband. Durch eine Übersichtskarte lassen sich die im Buch besprochenen Vulkane leichter auffinden.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Developing in Ext GWT is a fast-paced, practical guide to quickly learning the tasks necessary in building enterprise-class rich Internet applications (RIAs). Based around the exciting new user interface library from Ajax leaders Ext JS and the latest Google Web Toolkit release, this book takes the reader through setup, the available widgets, and advanced custom widgets and templates, and concludes with a functional sample client-server application in less than 150 pages. Not your typical beginner's guide to programming, this book provides a rapid approach to becoming effective with leading commercial RIA tools and libraries. A practical approach to enterprise RIA development using industry-proven tools. Full coverage of the new Ext GWT 2.0 widget library based on GWT 1.6 Designed for professional developers needing a quick, no-nonsense overview of the initial requirements to get started, ending with an example client-server application 150 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book discusses how to develop embedded products using DaVinci & OMAP Technology from Texas Instruments Incorporated. It presents a single software platform for diverse hardware platforms. DaVinci & OMAP Technology refers to the family of processors, development tools, software products, and support. While DaVinci Technology is driven by the needs of consumer video products such as IP network cameras, networked projectors, digital signage and portable media players, OMAP Technology is driven by the needs of wireless products such as smart phones. Texas Instruments offers a wide variety of processing devices to meet our users' price and performance needs. These vary from single digital signal processing devices to complex, system-on-chip (SoC) devices with multiple processors and peripherals. As a software developer you question: Do I need to become an expert in signal processing and learn the details of these complex devices before I can use them in my application As a senior executive you wonder: How can I reduce my engineering development cost How can I move from one processor to another from Texas Instruments without incurring a significant development cost This book addresses these questions with sample code and gives an insight into the software architecture and associated component software products that make up this software platform. As an example, we show how we develop an IP network camera. Using this software platform, you can choose to focus on the application and quickly create a product without having to learn the details of the underlying hardware or signal processing algorithms. Alternatively, you can choose to differentiate at both the application as well as the signal processing layer by developing and adding your algorithms using the xDAIS for Digital Media, xDM, guidelines for component software. Finally, you may use one code base across different hardware platforms.Table of Contents: Software Platform / More about xDM, VISA, & CE / Building a Product Based on DaVinci Technology / Reducing Development Cost / eXpressDSP Digital Media (xDM) / Sample Application Using xDM / Embedded Peripheral Software Interface (EPSI) / Sample Application Using EPSI / Sample Application Using EPSI and xDM / IP Network Camera on DM355 Using TI Software / Adding your secret sauce to the Signal Processing Layer (SPL) / Further Reading 160 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Linguistic annotation and text analytics are active areas of research and development, with academic conferences and industry events such as the Linguistic Annotation Workshops and the annual Text Analytics Summits. This book provides a basic introduction to both fields, and aims to show that good linguistic annotations are the essential foundation for good text analytics. After briefly reviewing the basics of XML, with practical exercises illustrating in-line and stand-off annotations, a chapter is devoted to explaining the different levels of linguistic annotations. The reader is encouraged to create example annotations using the WordFreak linguistic annotation tool. The next chapter shows how annotations can be created automatically using statistical NLP tools, and compares two sets of tools, the OpenNLP and Stanford NLP tools. The second half of the book describes different annotation formats and gives practical examples of how to interchange annotations between different formats using XSLT transformations. The two main text analytics architectures, GATE and UIMA, are then described and compared, with practical exercises showing how to configure and customize them. The final chapter is an introduction to text analytics, describing the main applications and functions including named entity recognition, coreference resolution and information extraction, with practical examples using both open source and commercial tools. Copies of the example files, scripts, and stylesheets used in the book are available from the companion website, located at the book website. Table of Contents: Working with XML / Linguistic Annotation / Using Statistical NLP Tools / Annotation Interchange / Annotation Architectures / Text Analytics 160 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For many years, most computer architects have pursued one primary goal: performance. Architects have translated the ever-increasing abundance of ever-faster transistors provided by Moore's law into remarkable increases in performance. Recently, however, the bounty provided by Moore's law has been accompanied by several challenges that have arisen as devices have become smaller, including a decrease in dependability due to physical faults. In this book, we focus on the dependability challenge and the fault tolerance solutions that architects are developing to overcome it. The two main purposes of this book are to explore the key ideas in fault-tolerant computer architecture and to present the current state-of-the-art - over approximately the past 10 years - in academia and industry. Table of Contents: Introduction / Error Detection / Error Recovery / Diagnosis / Self-Repair / The Future 116 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009.SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance. 341 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Kerngedanke der Service-orientierten Architektur (SOA) besteht darin, IT-Funktionalitäten in einzelne, geschäftsorientierte Serviceblöcke aufzuteilen und damit komplexe Strukturen aufzulösen. Bei der Modernisierung von IT-Landschaften fällt die Entscheidung häufig zugunsten dieses neuartigen Architekturmodells aus. Die Autoren erläutern einerseits die allgemeinen Grundlagen der Serviceorientierung und andererseits die technologischen Konzepte und Standards zur praktischen Umsetzung einer SOA unter Verwendung von WebServices. 140 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Helmholtz's seminal paper on vortex motion (1858) marks the beginning of what is now called topological fluid mechanics.After 150 years of work, the field has grown considerably. In the last several decades unexpected developments have given topological fluid mechanics new impetus, benefiting from the impressive progress in knot theory and geometric topology on the one hand, and in mathematical and computational fluid dynamics on the other. This volume contains a wide-ranging collection of up-to-date, valuable research papers written by some of the most eminent experts in the field. Topics range from fundamental aspects of mathematical fluid mechanics, including topological vortex dynamics and magnetohydrodynamics, integrability issues, Hamiltonian structures and singularity formation, to DNA tangles and knotted DNAs in sedimentation. A substantial introductory chapter on knots and links, covering elements of modern braid theory and knot polynomials, as well as more advanced topics in knot classification, provides an invaluable addition to this material. 223 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A Tale of Two Cities has always been one of Dickens's most popular texts. Using a variety of disciplinary approaches, this new collection of essays examines the origins of Dickens vision of the French Revolution, the literary power of the text itself, and its enduring place in British culture through stage and screen adaptations. 212 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Applied Cryptography and Network Security, ACNS 2009, held in Paris-Rocquencourt, France, in June 2009. The 32 revised full papers presented were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections on key exchange, secure computation, public-key encryption, network security, traitor tracing, authentication and anonymity, hash fundtions, lattices, and side-channel attacks. 535 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel. The theme of the symposium was Languages: From Formal to Natural, reflecting the focus of Nissim Francez' research career, which started in program verification and the semantics of programming languages and later concentrated on natural languages and computational linguistics. The papers included in this volume cover the entire spectrum of this field of research. 245 pp. Englisch.