springer okt 2007 (627 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -In Spies in the Sky Patrick Norris responds to the occasion of the 50th Anniversary of the dawn of the Space Age ¿ the launch of Sputnik 1 ¿ with a review of the most important historical applications of space science for the benefit of the human race during that half century, focusing particularly on the prevention of nuclear war. The author addresses the oft quoted conclusion that the Moon landings and the ¿race to the Moon¿ between the two superpowers were a side effect of the Cold War, by describing what he believes was the more important event ¿ the use of satellites by military to prevent the Cold War becoming a ¿hot war¿. In developing the story the author casts a spotlight on a little-known aspect of the Space Age, namely the military dimension. Today military satellites represent 25 percent of all satellites in orbit, and they are just as important now in preventing regional nuclear war as they were in preventing global Armageddon more than 30 years ago.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Have you ever felt frustrated with Microeconomics texts If so, this book is your answer. Don¿t Worry About Micro is not simply an addition to the long list of first year texts - it constitutes a new type of text altogether. It combines the academic rigour of standard textbooks with the applied nature of study guides and the user-friendly approach of 'popular' publications. Co-written by a recent London School of Economics graduate and his then lecturer, a student-focused approach is adopted while the highest standard of teaching quality is maintained throughout. Every chapter is structured like a seminar, with the clear aim of teaching skills, developing intuition, and discussing all areas of possible misunderstanding. Don¿t Worry About Micro not only has the potential to save you a lot of time and help you achieve better results in your examinations, you are also likely to enjoy your studies much more! The text can either be read on its own or be used as a revision tool.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Buch. Zustand: Neu. Neuware -In developing the tools necessary for the study of complex manifolds, this comprehensive, well-organized treatment presents in its opening chapters a detailed survey of recent progress in four areas: geometry (manifolds with vector bundles), algebraic topology, differential geometry, and partial differential equations. Subsequent chapters then develop such topics as Hermitian exterior algebra and the Hodge \*-operator, harmonic theory on compact manifolds, differential operators on a Kahler manifold, the Hodge decomposition theorem on compact Kahler manifolds, the Hodge-Riemann bilinear relations on Kahler manifolds, Griffiths's period mapping, quadratic transformations, and Kodaira's vanishing and embedding theorems.The third edition of this standard reference contains a new appendix by Oscar Garcia-Prada which gives an overview of the developments in the field during the decades since the book appeared.From a review of the 2nd Edition:¿.the new edition ofProfessor Wells' book is timely and welcome.an excellent introduction for any mathematician who suspects that complex manifold techniques may be relevant to his work.¿Nigel Hitchin, Bulletin of the London Mathematical Society¿Its purpose is to present the basics of analysis and geometry on compact complex manifolds, and is already one of the standard sources for this material.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 2007 IEEE International Workshop on Analysis and Modeling of Faces and Gestures(AMFG)isthethirdworkshopofitstypeorganizedinconjunctionwith ICCV, this time in Rio de Janeiro, Brazil. Our primary goal is to bring together researchersand research groupsto review the status of recognition, analysis and modeling of face, gesture, activity, and behavior; to discuss the challenges that we are facing; and to explore future directions. This year we received 55 submissions. Each paper was reviewed by three program committee members. The whole reviewing process was double blind. However,due to size limit, we were only able to accommodate 22 papers, among which 8 are orals and 14 are posters. The topics covered by these accepted papers include feature representation, 3D face, robust recognition under pose and illumination variations,video-basedface recognition,learning,facial motion analysis, body pose estimation, and sign recognition. A special word of thanks goes to Dr. Feng Zhao, our organizing chair, for his dedication and great e orts in maintaining both the online submission system and workshop website and in handling most of the author contacts. We are indebted to the advisory committee members for their valuable suggestions and to the program committee members for their hard work and timely reviews. Finally, we thank Cognitec System GmbH and Siemens Corporate Research for their sponsorship. October 2007 S. Kevin Zhou Wen-Yi Zhao Xiaoou Tang Shaogang Gong Organization AMFG 2007 was held in conjunction with ICCV 2007. Workshop Chairs S. Kevin Zhou Siemens Corporate Research Wen-Yi Zhao Intuitive Surgical, Inc. 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book provides a timely revision of the definitive source for quick reference and up-to-date information on the primary health care of women. Containing contributions by leaders in obstetrics-gynecology, primary care and relevant subspecialties, the book presents the latest information from respected authorities. New case studies have been added at the end of each chapter to provide useful information for the busy clinician. New chapters include: Elderly Patients; Cardiovascular Hypertension; The Role of Applied and Genomic Molecular Biology; and Nutrition, Obesity, and Eating Disorders. This book is a must-have reference for the busy clinicianSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The International Symposium on Rule Interchange and Applications (RuleML-2007), collocated in Orlando, Florida, with the Tenth International Business Rules Forum, was the first symposium devoted to work on practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of modern infrastructures, including the Semantic Web, intelligent multi-agent systems, event-driven architectures, and service-oriented computing applications. The symposium was organized by the RuleML Initiative, financially and technically supported by industrial companies (Top Logic, VIStology, and Inferware) and in cooperation with professional societies (ECCAI, AAAI, ACM, ACM SIGAPP, ACM SIGMIS, ACM SIGART, ACM SIGMOD, IEEE, IEEE Computer TCAAS, IEEE SMCS, BPM-Forum, W3C, OMG, and OASIS). The RuleML Initiative is organized by representatives from academia, industry and government for the advancement of rule technology, providing enhanced usability, scalability and performance. The goal of RuleML ( ruleml. org) is to develop an open, general, XML-based family of rule languages as intermediaries between various ¿specialized¿ rule vendors, applications, industrial and academic research groups, as well as standardization efforts such as OMG¿s PRR or W3C¿s RIF. A general advantage of using declarative rules is that they can be easily represented in a machine-readable and platform-independent manner, often governed by an XML schema. This fits well into today¿s distributed, heterogeneous Web-based system environments. Rules represented in standardized Web formats can be discovered, interchanged and invoked at runtime within and across Web systems, and can be interpreted and executed on any platform.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Sequential Dynamical Systems (SDS) are a class of discrete dynamical systems which significantly generalize many aspects of systems such as cellular automata, and provide a framework for studying dynamical processes over graphs.This text is the first to provide a comprehensive introduction to SDS. Driven by numerous examples and thought-provoking problems, the presentation offers good foundational material on finite discrete dynamical systems which leads systematically to an introduction of SDS. Techniques from combinatorics, algebra and graph theory are used to study a broad range of topics, including reversibility, the structure of fixed points and periodic orbits, equivalence, morphisms and reduction. Unlike other books that concentrate on determining the structure of various networks, this book investigates the dynamics over these networks by focusing on how the underlying graph structure influences the properties of the associated dynamical system.This book is aimed at graduate students and researchers in discrete mathematics, dynamical systems theory, theoretical computer science, and systems engineering who are interested in analysis and modeling of network dynamics as well as their computer simulations. Prerequisites include knowledge of calculus and basic discrete mathematics. Some computer experience and familiarity with elementary differential equations and dynamical systems are helpful but not necessary.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -¿Data-Driven 3D Facial Animation¿ systematically describes the important techniques developed over the last ten years or so. Although 3D facial animation is used more and more in the entertainment industries, to date there have been very few books that address the techniques involved.Comprehensive in scope, the book covers not only traditional lip-sync (speech animation), but also expressive facial motion, facial gestures, facial modeling, editing and sketching, and facial animation transferring. It provides an up-to-date reference source for academic research and for professionals working in the facial animation field. An edited volume, the book brings together contributions from leading researchers and practitioners working in both academia and in the leading animation studios.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics. 580 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Databases in Networked Information Systems, DNIS 2007, held in Aizu-Wakamatsu, Japan in October 2007. Focusing on data semantics and infrastructure for information management and interchange, the papers are organized in topical sections on geospatial decision-making, Web data management systems, infrastructure of networked information systems, and Web query and web mining systems. 348 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume is dedicated to 'Mechanics in Architecture', that is, the science of structural mechanics, including the behaviour of structures, internal forces, and deformation, as well as the development of new structural systems to resist thrusts as a result of new architectural forms. It is a field of enquiry that examines a particular aspect of the relationships between architecture and the mathematical sciences. Some of the papers in this issue were presented at the Nexus 2006 conference during a special session dedicated to mechanics. Other research papers focus on an eighteenth-century Belgian pyramid, aspects of 'fractal' architecture, and properties of a family of irrational values. The issue also includes a description and evaluation of a university-level course in architecture and mathematics, Rachel Fletcher's Geometer's Angle column, and book reviews.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 228 pp. Englisch.

Buch. Zustand: Neu. Neuware -Direct marketing is a fast-growing and dominant domestic marketing instrument in many countries. Direct marketing follows the path of the rapid advances of globalization: international direct marketing (IDM) is already a multi-billion dollar business and an attractive instrument for foreign market entry and international customer communication.This book is the first to focus exclusively on IDM, combining state-of-the-art knowledge, best practice and unique data: The first part is a comprehensive, well-structured review, covering relevant sources ranging from academic journals to practitioner magazines. The second part consists of best practice examples of various aspects of IDM. The third part contains a summary of a proprietary consumer study on direct marketing attitudes and affinities across 24 countries in North America, Europe and Asia. The book provides the reader with a comprehensive and easy-to-understand guide to international direct marketing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Buch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -SEAFOOD for Thought Headline-grabbing though it may be, the software industry¿s large-scale allo- tion of work to developing countries has not so far generated much technical analysis. Attention is usually limited to the possible political and economic c- sequences, in particular the fears of loss of employment in the West. The aim of the present volume is di erent. We recognize that o shore development is here to stay, and not just a result of cost considerations. It is ¿ more accurately ¿ a form of distributed development, relying on advances in communications to let the software industry, in our globalizedworld,bene t from the wide distribution of human talent. But it is also the source of a new set of challenges, to which accepted software engineering principles and techniques have not completely prepared us. Producing high-quality software on time and within budget is hard enough when the QA team is across the aisle from the core developers, and the customers across the street; what then when the bulk of the development team is across an ocean or two The rst SEAFOOD ¿ Software Engineering Advances For Outsourced and 1 O shore Development ¿ conference (prompted by an earlier article ) was an - tempt not only to bring software engineering to outsourcing but also to bring outsourcing into the collective consciousness of the software engineering c- munity. This is bene cial to both sides: successful outsourcing requires strong softwareengineering guidance, but researchin the eld must for its part account forthenewworldofsoftwaredevelopment. 216 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Computers and Games, CG 2006, co-located with the 14th World Computer-Chess Championship and the 11th Computer Olympiad. The 24 revised papers cover all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, search, combinatorial games and theory opening and endgame databases, single-agent search and planning, and computer Go.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Littlewood-Paley theory is an essential tool of Fourier analysis, with applications and connections to PDEs, signal processing, and probability. It extends some of the benefits of orthogonality to situations where orthogonality doesn¿t really make sense. It does so by letting us control certain oscillatory infinite series of functions in terms of infinite series of non-negative functions. Beginning in the 1980s, it was discovered that this control could be made much sharper than was previously suspected. The present book tries to give a gentle, well-motivated introduction to those discoveries, the methods behind them, their consequences, and some of their applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.

Buch. Zustand: Neu. Neuware -New interferometers as the VLTI, the Keck-I and CHARA along with their sophisticated instrumentation have provided new levels of accuracy, spectral resolution and access to various spectral bands from the optical to the thermal infrared. Investigations are now enabled on a wealth of astrophysical sources with unprecedented levels of angular resolution and sensitivity, producing a considerable body of new, exciting scientific results.Celebrating the completion of the first phase of the VLTI development, the organisors of the ESO workshop 'The Power of Optical/IR Interferometry', held in April 2005, saw an opportunity to invite the community to come together to review and discuss not just interferometers, but science with interferometers and its impact on astronomy as a whole. The workshop was also intended to showcase ideas and concepts for the future of interferometry, and in particular for the second generation of VLTI instrumentation.This volume contains the proceedings of this workshop and serves as reference for astronomers working with optical and infrared interferometry. 636 pp. Englisch.

Buch. Zustand: Neu. Neuware -About the book, the project Equilibrium Between Phases of Matter ¿ Phenomenology and Thermodynamics is a textbook, in which the phenomenology, the thermodynamic theory, and the practical use of phase diagrams are presented in three levels that diverge in nature ¿ in particular as regards the role of thermodynamics. The book has been written from a chemical and geological teaching background. Each of the three levels of the book is representative of a particular course in a curriculum. Level 0: an introduction to phase diagrams The philosophy behind the ground level is that most of the characteristics of equilibrium between phases can be understood without the use of thermodynamics, realizing that, in a common-sense manner, the experimental observations on equilibria and spontaneous changes, and elementary notions about interactions, indicate the way to go. In spite of all this, the central figure in level zero, right from the beginning, is the chemical potential ¿ a concept firmly rooted in thermodynamics. Equilibrium conditions in terms of chemical potentials, and the variables necessary to define a system in equilibrium are, are the basic elements of the system formulation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occasion of his 60th birthday - include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006.Daniele Mundici is widely acknowledged as a leading scientist in many-valued logic and ordered algebraic structures. In the last decades, his work has unveiled profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists attending the conference have contributed to this wide-ranging collection with papers all variously related to Daniele's work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The main theme of this book is the stability of nonautonomous di erential equations, with emphasis on the study of the existence and smoothness of invariant manifolds, and the Lyapunov stability of solutions. We always c- sider a nonuniform exponential behavior of the linear variational equations, given by the existence of a nonuniform exponential contraction or a nonu- form exponential dichotomy. Thus, the results hold for a much larger class of systems than in the ¿classical¿ theory of exponential dichotomies. Thedeparturepointofthebookisourjointworkontheconstructionof- variant manifolds for nonuniformly hyperbolic trajectories of nonautonomous di erential equations in Banach spaces. We then consider several related - velopments,concerningtheexistenceandregularityoftopologicalconjugacies, the construction of center manifolds, the study of reversible and equivariant equations, and so on. The presentation is self-contained and intends to c- vey the full extent of our approach as well as its uni ed character. The book contributes towards a rigorous mathematical foundation for the theory in the in nite-dimensional setting, also with the hope that it may lead to further developments in the eld. The exposition is directed to researchers as well as graduate students interested in di erential equations and dynamical systems, particularly in stability theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Buch. Zustand: Neu. Neuware -Set-valued analysis is an essential tool for the mathematical formulation of many real-life situations, e.g., equilibrium theory in mathematical economics. This work offers the first comprehensive treatment in book form of the fairly new subdiscipline of enlargements of maximal monotone operators, including several important new results in the field. In the last decades, with the development of nonsmooth optimization, effective algorithms have been developed to solve these kinds of problems, such as nonsmooth variational inequalities. Several of these methods, such as bundle methods for variational problems, are fully developed and analyzed in this book.The first chapters provide a self-contained review of the basic notions and fundamental results in set-valued analysis, including set convergence and continuity of set-valued mappings together with many important results in infinite-dimensional convex analysis, leading to the classical fixed point results due to Ekeland, Caristi and Kakutani. Next, an in-depth introduction to monotone operators is developed, emphasizing results related to maximality of subdifferentials and of sums of monotone operators. Building on this foundational material, the second part of the monograph contains new results (all of them established during the last decade) on the concept of enlargements of monotone operators, with applications to variational inequalities, bundle-type methods, augmented Lagrangian methods, and proximal point algorithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Argumentation provides tools for designing, implementing and analyzing sophisticated forms of interaction among rational agents. It has made a solid contribution to the practice of multiagent dialogues. Application domains include: legal disputes, business negotiation, labor disputes, team formation, scientific inquiry, deliberative democracy, ontology reconciliation, risk analysis, scheduling, and logistics.This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Argumentation in Multi-Agent Systems held in Hakodate, Japan, in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems.The volume opens with an original state-of-the-art survey paper presenting the current research and offering a comprehensive and up-to-date overview of this rapidly evolving area. The 11 revised articles that follow were carefully reviewed and selected from the most significant workshop contributions, augmented with papers from the AAMAS 2006 main conference, as well as from ECAI 2006, the biennial European Conference on Artificial Intelligence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Symposium on String Processing and Information Retrieval, SPIRE 2007. Coverage in the 27 revised full papers includes dictionary algorithms, text searching, pattern matching, text compression, text mining, natural language processing, sequence driven protein structure prediction, XML, SGML, information retrieval from semi-structured data, text mining and generation of structured data from text.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture, TEAA 2006. It identifies issues in enterprise application architecture and proposes as well as evaluates a solution. Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, data integration, enterprise grid computing, load balancing, and enterprise component platforms. 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This is the third volume in the Paris-Princeton Lectures in Financial Mathematics, which publishes, on an annual basis, cutting-edge research in self-contained, expository articles from outstanding specialists, both established and upcoming. Coverage includes articles by René Carmona, Ivar Ekeland/Erik Taflin, Arturo Kohatsu-Higa, Pierre-Louis Lions/Jean-Michel Lasry, and Huyên Pham.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Zustand: Neu. Neuware -Algebraic curves and surfaces are an old topic of geometric and algebraic investigation. They have found applications for instance in ancient and m- ern architectural designs, in number theoretic problems, in models of b- logical shapes, in error-correcting codes, and in cryptographic algorithms. Recently they have gained additional practical importance as central objects in computer-aided geometric design. Modern airplanes, cars, and household appliances would be unthinkable without the computational manipulation of algebraic curves and surfaces. Algebraic curves and surfaces combine fas- nating mathematical beauty with challenging computational complexity and wide spread practical applicability. In this book we treat only algebraic curves, although many of the results and methods can be and in fact have been generalized to surfaces. Being the solution loci of algebraic, i. e. , polynomial, equations in two variables, plane algebraiccurvesarewellsuited forbeing investigatedwith symboliccomputer algebra methods. This is exactly the approach we take in our book. We apply algorithms from computer algebra to the analysis, and manipulation of al- braic curves. To a large extent this amounts to being able to represent these algebraic curves in di erent ways, such as implicitly by de ning polyno- als, parametrically by rational functions, or locally parametrically by power series expansions around a point.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Here is a helpful guide, A-to-Z guide on the structures of chemicals implicated in contact dermatitis. It describes each molecule along with its principal name for classification. The dictionary also lists the most important synonyms, the Chemical Abstract Service (CAS) Registry Number that characterizes the substance and its chemical structure, and relevant literature references. This guide is a must-have for each physician involved with the diagnosis and treatment of patients with contact dermatitis and allergic skin disease.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Buch. Zustand: Neu. Neuware -By virtue of their special algebraic structures, Pythagorean-hodograph (PH) curves offer unique advantages for computer-aided design and manufacturing, robotics, motion control, path planning, computer graphics, animation, and related fields. This book offers a comprehensive and self-contained treatment of the mathematical theory of PH curves, including algorithms for their construction and examples of their practical applications. Special features include an emphasis on the interplay of ideas from algebra and geometry and their historical origins, detailed algorithm descriptions, and many figures and worked examples. The book may appeal, in whole or in part, to mathematicians, computer scientists, and engineers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 748 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17¿19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2, and was additionally supported by the University of Tehran, Sharif University of Te- nology,andtheInternationalScienti cMeetingsO ce(ISMO).Thissymposium brought together researchers and practitioners working on di erent aspects of formal methods in software engineering. FSEN 2007 covered many aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integrationwith practical engineering techniques. A truly international programcommittee of top researchersfrom 23 di erent academic institutes in 9 countries selected the technical content of this sym- sium. We received a total of 73 submissions, out of which the PC selected 22 as regular papers and 8 as short papers to be published in the post-proceedings, and 6 papers accepted for poster presentations at the symposium. Each subm- sion was reviewed by at least 3 independent referees, for its quality, originality, contribution, clarity of presentation, and its relevance to the symposium topics. We had 93 registered participants at the symposium from 12 countries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.