الصفحة 3
الصفحة 3
Guide to Observing Deep-Sky Objects : A Complete Global Resource for Astronomers
Guide to Observing Deep-Sky Objects is an invaluable reference for all amateur astronomers. The book contains, for each constellation, (1) a star chart showing the Bayer labels, (2) a table for many of the stars in the constellation, along with their positions and magnitudes, and (3) a table of the major deep-sky objects in the constellation, with relevant observational data. Facing pages provide unique year-long graphs that show when the constellation is visible in the sky, which allows the user to quickly determine whether a given constellation can be seen, and when the best time to see it will be.
Geometry for Computer Graphics : Formulae, Examples and Proofs
Geometry is the cornerstone of computer graphics and computer animation, and provides the framework and tools for solving problems in two and three dimensions. This may be in the form of describing simple shapes such as a circle, ellipse, or parabola, or complex problems such as rotating 3D objects about an arbitrary axis. Geometry for Computer Graphics draws together a wide variety of geometric information that will provide a sourcebook of facts, examples, and proofs for students, academics, researchers, and professional practitioners.
Geometric Modeling and Algebraic Geometry
The two ?elds of Geometric Modeling and Algebraic Geometry, though closely - lated, are traditionally represented by two almost disjoint scienti?c communities. Both ?elds deal with objects de?ned by algebraic equations, but the objects are studied in different ways. While algebraic geometry has developed impressive - sults for understanding the theoretical nature of these objects, geometric modeling focuses on practical applications of virtual shapes de?ned by algebraic equations. Recently, however, interaction between the two ?elds has stimulated new research. For instance, algorithms for solving intersection problems have bene?ted from c- tributions from the algebraic side.
Geometric Group Theory ; Geneva and Barcelona Conferences
This volume assembles research papers in geometric and combinatorial group theory. This wide area may be defined as the study of those groups that are defined by their action on a combinatorial or geometric object, in the spirit of Klein’s programme.The contributions range over a wide spectrum: limit groups, groups associated with equations, with cellular automata, their structure as metric objects, their decomposition, etc. Their common denominator is the language of group theory, used to express and solve problems ranging from geometry to logic.
Fundamentals of Algebraic Graph Transformation
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory.
From Vectors to Tensors
It is true that there exist many books dedicated to linear algebra and some what fewer to multilinear algebra, written in several languages, and perhaps one can think that no more books are needed. However, it is also true that in algebra many new results are continuously appearing, different points of view can be used to see the mathematical objects and their associated structures, and different orientations can be selected to present the material, and all of them deserve publication. he book assumes a certain knowledge of linear algebra, and is intended as a textbook for graduate and postgraduate students and also as a consultation book. It is addressed to mathematicians, physicists, engineers, and applied scientists with a practical orientation who are looking for powerful tensor tools to solve their problems.
From P2P to Web Services and Grids : Peers in a Client/Server World
Provides an overview of peer-to-peer (P2P) technologies that have revolutionized the way we think about distributed computing and the internet. This book compares these technologies to alternative solutions, most notably web services and Grid computing but also other technologies, such as client/server based systems and agent technologies.
From Dust To Stars : Studies of the Formation and Early Evolution of Stars
Studies of stellar formation in galaxies have a profound impact on our understanding of the present and the early universe. The book describes complex physical processes involved in the creation of stars and during their young lives. It illustrates how these processes reveal themselves from radio wavelengths to high energy X-rays and gamma -rays, with special reference towards high energy signatures. Several sections devoted to key analysis techniques demonstrate how modern research in this field is pursued.
Foundation ActionScript animation : Making things move!
In this book Keith Peters guides you through some basic animation theory and then demystifies the math and physics behind creating realistic animation, looking at trigonometry, velocity and acceleration, and bouncing & friction. This book will teach you how to use Flash ActionScript to move the objects in your movies, rather than letting Flash's tween engine do it for you. The benefit of this is smaller, more realistic, more dynamic interactive movies that seem to come alive on your screen. Almost all of the code featured in this book will work fine in either Flash MX 2004 or Flash 8, and with a few minor adjustments, most of it can even be applied to Flash MX.
Foundation ActionScript 3.0 with Flash CS3 and Flex
If you want to create exciting dynamic web sites that will amaze your online audience, then the Flash platform is a great way to go, with it's many features, including powerful graphical and sound and video capabilities. To really harness the power of Flash though, you need to make use of ActionScript to provide dynamic effects, enable user interaction, and manipulate data. ActionScript 3.0, the Flash Platform's scripting language, offers a lot of new and powerful features. ActionScript is now a full-fledged programming language, with complete object-oriented capabilities, improved event handling, sound and video support, drawing capabilities, support for regular expressions, and much more. This book covers all the essential techniques from the ground up, allowing you to get up and running quickly and easily. Starting with the fundamentals, you'll learn about using ActionScript objects, manipulating sound and video, and harnessing the power of regular expressions and XML.
Formal techniques for distributed objects, components, and systems ; 40th IFIP WG 6.1 International conference, FORTE 2020, Held as Part of the 15th International Federated Conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.
Formal Methods for Components and Objects ; Vol. 4111 ; 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, held in Amsterdam, Netherlands, in November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.
Formal Methods for Components and Objects ; Vol. 3657 ; 3rd International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.
Formal Methods for Components and Objects ; 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components
Formal Methods for Components and Objects ; 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems.
Folk Psychology Re-Assessed
FOLK PSYCHOLOGY, THEORY OF MIND AND SIMULATION The tasks we face in our day to day social lives are quite heterogeneous but many of them make a common demand upon us. They require us to understand and interact with other people and, in most social encounters, we exhibit a special sensitivity to our fellow human beings that is quite different from the way we respond to inanimate objects and most other species of organism. Social life is dependent, to a considerable degree, on our ability to understand what is distinctive about human behaviour and to successfully apply that understanding in all manner of situations.
Extrasolar Planets : Saas Fee Advanced Course 31
Research on extrasolar planets is one of the exciting fields of activity in astrophysics, from early speculations on the existence of planets orbiting other stars to the first discoveries and characterization of extrasolar planets. This book talks about this breakthrough as the result of a growing interest of a large community of researchers.
Extragalactic Astronomy and Cosmology : An Introduction
This textbook introduces the astronomy of galaxies, their structure, their active galactic nuclei, their evolution and their large scale distribution. Starting with a detailed description of our Milky Way, the book examines the formation of structures and astronomical objects in the early universe.
Expert VB 2005 Business Objects
Rockford Lhotka started writing his Business Objects books in 1996, and over the years, he’s become one of the world's foremost authorities on building distributed object-oriented systems. This second edition of his industry-standard VB .NET Business Objects book not only addresses changes in .NET 2.0 and Visual Studio 2005, but also reflects substantial enhancements and improvements to the CSLA .NET Framework and how it can be used to create enterprise-level .NET applications.
