Page 84
Page 84
Foundation Flex for Designers
All Flex applications look the same—a blue-gray background and silver-skinned components—right? That doesn't have to be the case, though. This book shows you how to ensure that your Flex 2 and 3 projects stand out from the crowd and provide your users with an application that is both visually stunning and beautifully functional. Flex Builder, coupled with the Adobe Creative Suite (CS3), is a powerful combination, providing all the tools you need to create compelling, vibrant interfaces. This book guides you through creating applications with Flex Builder, designing layouts in Fireworks, creating custom skins for your components in Photoshop and Illustrator, and using CSS to enhance the appearance of your rich Internet applications (RIAs).
Foundation Flash CS3 Video
Video is one of the most exciting features on today's Internet, with widespread adoption being made possible by advances in bandwidth and software. But simply streaming video clips to Web users is only the tip of the iceberg! Flash CS3 offers a whole host of advanced video features, allowing you to create breathtaking user experiences. And this book, the second edition of the critically-acclaimed Foundation Flash 8 Video, shows you how to make the most of video in Flash CS3. The authors start with the basics of creating video ready for use on the web using popular applications such as Windows Movie Maker and iMovie, creating FLV (Flash video) using both Flash and other applications such as Sorenson Squeeze, and importing that video into Flash.
Foundation Expression Blend 2 : Building applications in WPF and silverlight
This book shows you how to take full advantage of Blend's interface, together with and Silverlight's vastly improved designer-developer workflow, guiding you through every step of development from downloading and installing of the development environment through creating finished, functional projects. You'll learn how to create simple drawing applications with the InkCanvas, make tabbed and scrollable interfaces, as well as build fully featured media players, photo galleries, and interactive 3D designs. Each chapter discusses major WPF and Silverlight features, provides a hands-on tutorial, and explains how that feature is implemented in the real world. In the end, you will have a collection of impressive WPF and Silverlight applications that can be added to your portfolio.
Foundation ASP.NET for Flash
If you're a reasonably experienced Flash user who has mastered the basics but wants to empower your SWFs, taking them further toward rich Internet applications, then you've come to the right place! Foundation ASP.NET for Flash will teach you everything you need to know to integrate two of the most exciting technologies used on the Web today. Using Flash and ASP.NET, it's possible to utilize the amazing user interface capabilities of Flash along with the extensive power of ASP.NET to create dynamic, data-driven web applications. In this book, advanced topics are made easy by providing intuitive step-by-step examples. This book covers Flash MX 2004 and Flash 8, ASP.NET 2.0, Visual Studio 2005, and Access and SQL Server 2005. It is an essential part of any Flash or ASP.NET web developer's arsenal.
Foundation ActionScript for Flash 8
This book contains all you need to understand and make use of ActionScript, and to have some fun while learning. The Foundation series teaching style is ideal if you're a non-programmer who wants to learn Flash programming quickly and thoroughly. The authors teach the basics, and provide an all-around proficiency in ActionScript, as well as Flash components within Flash 8. You'll gain the practical skills to build ActionScript based Flash projects, including making initial design decisions, structuring code, and testing. An ongoing case study means that by the end of the book, you'll have constructed a cutting-edge Flash site to showcase your newly learned skills.
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.
Foundation ActionScript 3 Animation : Making Things Move!
The material inside this book covers everything you need to know to harness the power of ActionScript 3.0. The book goes on to provide information on all the relevant trigonometry you will need, before moving on to physics concepts such as acceleration, velocity, easing, springs, collision detection, conservation of momentum, 3D, and forward and inverse kinematics.
Foundation 3ds Max 8 Architectural Visualization
Welcome to the world of 3D architectural visualizations using the most powerful and versatile 3D software package on the planet: 3ds Max. In just the last few years, the visualization industry has arguably become the fastest-growing 3D industry, and may soon overtake all others in total number of users. Just as the use of computer-aided design became the norm for nearly all architectural, engineering, and construction firms in the 1990s, 3D visualizations have become standard practice today. This book takes you through the challenge of learning one of the most complex computer programs ever created, by way of easy-to-follow tutorials and instruction. It specifically focuses on those parts of the program you need to know to produce stunning architectural visualizations.
Fortschritte der Chemie organischer Naturstoffe 89 = Progress in the chemistry of organic natural products
The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared under the Springer Imprint ever since the series' inauguration in 1938. The volumes contain contributions on various topics related to the origin, distribution, chemistry, synthesis, biochemistry, function or use of various classes of naturally occurring substances ranging from small molecules to biopolymers. Each contribution is written by a recognized authority in his field and provides a comprehensive and up-to-date review of the topic in question. Addressed to biologists, technologists, and chemists alike, the series can be used by the expert as a source of information and literature citations and by the non-expert as a means of orientation in a rapidly developing discipline.
Fortschritte der Chemie organischer Naturstoffe = Progress in the chemistry of organic natural products 88
The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared under the Springer Imprint ever since the series' inauguration in 1938. The volumes contain contributions on various topics related to the origin, distribution, chemistry, synthesis, biochemistry, function or use of various classes of naturally occurring substances ranging from small molecules to biopolymers. Each contribution is written by a recognized authority in his field and provides a comprehensive and up-to-date review of the topic in question. Addressed to biologists, technologists, and chemists alike, the series can be used by the expert as a source of information and literature citations and by the non-expert as a means of orientation in a rapidly developing discipline.
Formal Techniques for Networked and Distributed Systems - FORTE 2008 ; 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications.
Formal Techniques for Networked and Distributed Systems - FORTE 2006 ; 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches.
Formal techniques for networked and distributed systems - FORTE 2005 ; 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The 25th FORTE was held from Sunday to Wednesday, October 2–5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC.
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 Modeling and Analysis of Timed Systems ; 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
Formal Methods for Open Object-Based Distributed Systems ; Vol. 4037 ; 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.
Formal Methods for Open Object-Based Distributed Systems ; Vol. 3535 ; 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventh meeting ofthis conference series, whichis held roughly every year and a half, with the earlier events held respectively in Paris, Canterbury, Florence, Stanford, Twente, and Paris. The goal of the FMOOD Sseries of conferences is to bring together researchers whose work encompasses three important and related fields: - formal methods; - distributed systems; - object-based technology. Sucha convergenceis representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities, as represented by the conferences FORTE, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the pres- tation of research in the above-mentioned fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems.
Formal Methods for Open Object-Based Distributed Systems ; 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. The papers are organized in topcical sections on model checking rewriting logic components and services algebraic calculi specification, verification and refinenment, and quality of service.
Formal Methods for Open Object-Based Distributed Systems ; 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification.
