This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.

This new edition covers some of the key topics relating to the latest version of MS Office through Excel 2019, including the creation of custom ribbons by injecting XML code into Excel Workbooks and how to link Excel VBA macros to customize ribbon objects. It now also provides examples in using ADO, DAO, and SQL queries to retrieve data from databases for analysis. Operations such as fully automated linear and non-linear curve fitting, linear and non-linear mapping, charting, plotting, sorting, and filtering of data have been updated to leverage the newest Excel VBA object models. The text provides examples on automated data analysis and the preparation of custom reports suitable for legal archiving and dissemination. Functionality Demonstrated in This Edition Includes: Find and extract information raw data files Format data in color (conditional formatting) Perform non-linear and linear regressions on data Create custom functions for specific applications Generate datasets for regressions and functions Create custom reports for regulatory agencies Leverage email to send generated reports Return data to Excel using ADO, DAO, and SQL queries Create database files for processed data Create tables, records, and fields in databases Add data to databases in fields or records Leverage external computational engines Call functions in MATLAB (R) and Origin (R) from Excel

The last decade has seen an enormous change in the capability of information technology and also in the expectations of what that technology can provide. The personal computer revolution at the start of the 1980s brought computing power to the desktop in a way that, for the first time, non-technical users could understand and use in their everyday work. The invisible wall of mystique that had separated computers from their potential users for so long had been demolished, and the world of business would never be the same again. As we entered the 1990s, a decade later, we witnessed the beginnings of another revolution. This revolution is not so obvious, but its implications are even more far-reaching. It is not so obvious because it is happening behind the scenes, in the communications and computing infrastructure that support the machines that can be seen sitting on office desks and, increasingly, being carried with business people as standard equipment along with a briefcase and umbrella. It is potentially more far-reaching for the following reason. The per sonal computer of the 1980s brought computing power to the user in a box that could fit on a desk. The revolution of the 1990s brings to the user computing power that is distributed across the whole planet."

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.

Learn how to analyze and successfully solve today's real business problems using the latest Microsoft (R) Office Access database management system and the most recent version of Excel spreadsheet tools. Packed with hands-on learning opportunities, Monk/Brady/Mendelsohn's PROBLEM-SOLVING CASES IN MICROSOFT (R) ACCESS AND EXCEL, 16E features five individual tutorials designed to build your practical knowledge as you walk step-by-step through the capabilities of each software application. Twelve all-new case studies challenge you to use the software applications to resolve scenarios and problems you are likely to encounter on the job. In addition, a unique emphasis on skill-building integration demonstrates how to use Access and Excel together to resolve challenges within each case. Trust today's most up-to-date, practical guide for mastering critical Access and Excel skills in a business context.

This volume contains 24 papers presented at the Sixth International Workshop on Database Machines. The papers cover a wide spectrum of topics including: system architectures, storage structures, associative memory architectures, memory resident systems, deduction and retrospectives on maturing projects. The nature of the papers is highly technical and presumes knowledge of database management systems and familiarity with database machines. The book is representative of the dual trend in the field towards (1) search for new functionability and (2) attention to detail, completeness and performance of prototype implementations.

The Third International Conference on Foundations of Data Organization and Algorithms has been organized by INRIA in Paris from June 21 to 23, 1989. Previous FODO Conferences were held in Warsaw, 1981, and in Kyoto, 1985. The goal of this year's conference is to present advances in techniques of permanent and temporary data organization in different fields. New applications such as image processing, graphics, geographic data processing, robotics, office automation, information systems, language translation, and expert systems have developed various data organizations and algorithms specific to the application requirements. The growing importance of these applications has created a need for general studies on data organization and algorithms as well as for specific studies on new database management systems and on filing services. The articles submitted for the conference were subject to the usual rigorous reviewing process and selected on that basis. They offer an excellent snapshot of the state of the art in the field and should prove invaluable for computer scientists faced by the problems of data organization which are raised by these new applications.

This volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegr d, Hungary, June 26-30, 1989. The papers selected from more than one hundred submissions, originating from 23 countries in 4 continents, can be roughly divided into the following sections: theoretical fundamentals of relational databases, logical foundations and databases, data modelling, database design, deductive databases, transaction management and security, concurrency control and distributed databases. The volume reflects the current state of knowledge and is a guide to further development in database theory.

Did you know that there is a technology inside Excel, and Power BI, that allows you to create magic in your data, avoid repetitive manual work, and save you time and money? Using Excel and Power BI, you can: Save time by eliminating the pain of copying and pasting data into workbooks and then manually cleaning that data. Gain productivity by properly preparing data yourself, rather than relying on others to do it. Gain effiiciency by reducing the time it takes to prepare data for analysis, and make informed decisions more quickly. With the data connectivity and transformative technology found in Excel and Power BI, users with basic Excel skills import data and then easily reshape and cleanse that data, using simple intuitive user interfaces. Known as "Get & Transform" in Excel 2016, as the "Power Query" separate add-in in Excel 2013 and 2010, and included in Power BI, you'll use this technology to tackle common data challenges, resolving them with simple mouse clicks and lightweight formula editing. With your new data transformation skills acquired through this book, you will be able to create an automated transformation of virtually any type of data set to mine its hidden insights.

Understanding the powerful computational and graphics capabilities of Microsoft Excel is an enormous benefit to engineers and technical professionals in almost any field and at all levels of experience. What Every Engineer Should Know About Excel is a practical guide to unlocking the features and functions of this program, using examples and screenshots to walk readers through the steps to build a strong understanding of the material. This second edition is updated to reflect the latest version of Excel (2016) and expands its scope to include data management, connectivity to external data sources, and integration with "the cloud" for optimal use of the Excel product. It also introduces the ribbon bar navigation prevalent in Microsoft products beginning with the 2007 version of MS Office. Covering a variety of topics in self-contained chapters, this handy guide will also prove useful for professionals in IT, finance, and real estate.

Loved by students like you for its visual and flexible approach to building computer skills, the ILLUSTRATED COURSE GUIDE: MICROSOFT (R) OFFICE 365 & EXCEL 2016: INTRODUCTORY is the ideal resource for learning Microsoft (R) Excel 2016, regardless of your experience level. Each two-page spread focuses on a single skill, making information easy to follow and absorb. The ILLUSTRATED COURSE GUIDE divides important Microsoft (R) Excel 2016 concepts and skills into three manageable levels -- Introductory, Intermediate, and Advanced -- making it perfect for mastering the skills you need in any learning environment.

Excel Visual Basic for Applications (VBA) can be used to automate operations in Excel and is one of the most frequently used software programs for manipulating data and building models in banks and insurance companies. An Introduction to Excel VBA Programming: with Applications in Finance and Insurance introduces readers to the basic fundamentals of VBA Programming while demonstrating applications of VBA to solve real-world problems in finance and insurance. Assuming no prior programming experience and with reproducible examples using code and data, this text is suitable for advanced undergraduate students, graduate students, actuaries, and financial analysts who wish to learn VBA. Features: Presents the theory behind the algorithms in detail Includes more than 100 exercises with selected solutions Provides VBA code in Excel files and data to reproduce the results in the book Offers a solutions manual for qualified instructors

The complete guide to Excel 2016, from Mr. Spreadsheet himself Whether you are just starting out or an Excel novice, the Excel 2016 Bible is your comprehensive, go-to guide for all your Excel 2016 needs. Whether you use Excel at work or at home, you will be guided through the powerful new features and capabilities by expert author and Excel Guru John Walkenbach to take full advantage of what the updated version offers. Learn to incorporate templates, implement formulas, create pivot tables, analyze data, and much more. Navigate this powerful tool for business, home management, technical work, and much more with the only resource you need, Excel 2016 Bible. * Create functional spreadsheets that work * Master formulas, formatting, pivot tables, and more * Get acquainted with Excel 2016's new features and tools * Customize downloadable templates and worksheets Whether you need a walkthrough tutorial or an easy-to-navigate desk reference, the Excel 2016 Bible has you covered with complete coverage and clear expert guidance.

Microsoft Excel 2010 Programming by Example with VBA, XML and ASP is a practical how-to book on Excel programming, suitable for readers already familiar with the Excel user interface. The book introduces programming concepts via numerous multi-step, illustrated, hands-on exercises. More advanced topics are introduced via custom projects. From recording and editing a macro and writing VBA code to working with XML documents and using classic ASP to access and display data on the Web, this book takes you on a programming journey that will change the way you work with Excel. Completely updated for Excel 2010, this book provides information on performing automatic operations on files, folders, and other Microsoft Office applications. It also covers proper use of event procedures, testing and debugging, and programming advanced Excel features such as PivotTables, PivotCharts, and SmartTags. Thirty chapters loaded with illustrated hands-on projects and exercises that tell you exactly where to enter code, how to debug it, and then run it. Each exercise/project step is clearly explained as it is performed.Table of Contents1. Automating Worksheet Tasks with Macros. 2. Exploring the Visual Basic Editor (VBE). 3. Excel VBA Fundamentals. 4. Using Variables, Data Types, and Constants. 5. VBA Procedures: Subroutines and Functions.6. Decision Making with VBA. 7. Repeating Actions in VBA. 8.Working with Arrays. 9. Working with Collections and Class Modules. 10. VBE Tools for Testing and Debugging. 11. Conditional Compilation and Error Trapping. 12. File and Folder Manipulation with VBA. 13. File and Folder Manipulation with Windows Script Host (WSH). 14. Using Low-Level File Access. 15. Using Excel VBA to Interact with Other Applications. 16. Using Excel with Microsoft Access. 17. Event-Driven Programming. 18. Using Dialog Boxes. 19. Creating Custom Forms. 20. Formatting Worksheets with VBA. 21. Context Menu Programming and Ribbon Customizations. 22. Printing and Sending E-mail from Excel. 23. Programming PivotTables and PivotCharts. 24. Using and Programming Excel Tables. 25. Programming Special Features. 26. Programming the Visual Basic Editor (VBE). 27. HTML Programming and Web Queries. 28. Excel and Active Server Pages. 29. Using XML in Excel 2010. 30. Calling Windows API Functions from VBA. Index.

Introduce your students to the latest that Microsoft Office has to offer with the new generation of Shelly Cashman Series (R) books! For the past three decades, the Shelly Cashman Series (R) has effectively introduced computer skills to millions of students. With Microsoft Excel 2013, we're continuing our history of innovation by enhancing our proven pedagogy to reflect the learning styles of today's students. In this text you'll find features that are specifically designed to engage students, improve retention, and prepare them for future success. Our trademark step-by-step, screen-by-screen approach now encourages students to expand their understanding of Microsoft Excel 2013 through experimentation, critical thought, and personalization. With these enhancements and more, the Shelly Cashman Series (R) continues to deliver the most effective educational materials for you and your students.

Master business modeling and analysis techniques with Microsoft Excel 2019, and transform data into bottom-line results. Written by award-winning educator Wayne Winston, this hands-on, scenario-focused guide shows you how to use the latest Excel tools to integrate data from multiple tables-and how to effectively build a relational data source inside an Excel workbook.

While Excel remains ubiquitous in the business world, recent Microsoft feedback forums are full of requests to include Python as an Excel scripting language. In fact, it's the top feature requested. What makes this combination so compelling? In this hands-on guide, Felix Zumstein--creator of xlwings, a popular open source package for automating Excel with Python--shows experienced Excel users how to integrate these two worlds efficiently. Excel has added quite a few new capabilities over the past couple of years, but its automation language, VBA, stopped evolving a long time ago. Many Excel power users have already adopted Python for daily automation tasks. This guide gets you started. Use Python without extensive programming knowledge Get started with modern tools, including Jupyter notebooks and Visual Studio code Use pandas to acquire, clean, and analyze data and replace typical Excel calculations Automate tedious tasks like consolidation of Excel workbooks and production of Excel reports Use xlwings to build interactive Excel tools that use Python as a calculation engine Connect Excel to databases and CSV files and fetch data from the internet using Python code Use Python as a single tool to replace VBA, Power Query, and Power Pivot

Explore advanced skills in Excel and gain an amazing array of tricks and tools to increase your productivity. This book discusses new techniques such as power functions, chart tricks, and many more to master Excel. Advanced Excel Success starts with a few useful data tools in Excel followed by advanced formulas that will help you increase productivity. Here, you will learn power functions that aggregate, return ranges, and much more. Further, you will look at custom formatting tricks along with advanced charting tricks. These include automatically changing the color of key metrics, dynamically sorting chart data, and building creative labels. Next, you will understand the role of Power Query which is one of the most important upgrades in Excel. Power Query is the Microsoft Data Connectivity and Data Preparation technology that enables business users to seamlessly access data stored in hundreds of data sources and reshape it to fit their needs, with an easy-to-use, engaging, and no-code user experience. Finally, you will learn Power Pivot which is a distinct feature in Excel that goes beyond spreadsheets. After reading this book, you will be well equipped to work on Excel with its advanced features. What You Will Learn Work with the most useful data tools Understand formulas and the ten power functions Use advanced chart and formatting tricks and techniques for dynamic and effective visuals Work with power tools Who This Book Is For Excel users looking to take the next step to expert level.

A comprehensive, up-to-date, user-friendly guide to Excel 2010

Excel is the standard for spreadsheet applications and is used worldwide, but it's not always user-friendly. That makes it a perfect "For Dummies" topic, and this handy all-in-one guide covers all the essentials, the new features, how to analyze data with Excel, and much more.

Eight minibooks address Excel basics, worksheet design, formulas and functions, worksheet collaboration and review, charts and graphics, data management, data analysis, and Excel and VBA.Excel is the leading spreadsheet/data analysis software and is used throughout the world; the newest revision includes upgraded tools and a redesigned interfaceFor Dummies books are the bestselling guides to Excel, with more than three million copies soldExcel 2010 All-in-One For Dummies covers the changes in the newest version as well as familiar tasks, such as creating and editing worksheets, setting up formulas, and performing statistical functionsEight self-contained minibooks cover the basics, worksheet design, formulas and functions, worksheet collaboration, presenting data in charts and graphics, data management, data analysis, and creating macros with VBA.

Newcomers to Excel as well as veterans who just want to learn the latest version will find "Excel 2010 All-in-One For Dummies" has everything they need to know.

Understand the power of dynamic arrays: a single formula can generate new and vastly more efficient spreadsheet possibilities. This book introduces spreadsheet users to dynamic array functions in Microsoft Excel 365, defines and details the distinctive ways in which they work, and shows how they can be applied to a wide swath of data-analytic tasks. While array formulas and functions have long held a place in the spreadsheet toolbox (although, for many of us, shunted to an obscure corner), the dynamic array engine offers a more user-friendly and intelligible set of means for manipulating spreadsheet data in the array mode. The single-formula, multi-cell capability of dynamic arrays has been extended to nearly all existing spreadsheet functions, offering a new, default way of working. As a result, many tasks can now be executed with dynamic arrays without having to resort to the new functions at all. After defining arrays and dynamic array formulas, this book helps you examine the dynamic array property of lifting and how it impacts the formulas, including those written with existing functions. Plenty of illustrations and formulas along the way help you get comfortable using them. From there, you will learn Excel 365's new dynamic functions, including the 14 currently in rollout, each accompanied by instructive examples. In many cases, the examples demonstrate how the new functions can work with long-available functions, such as MID, IF, COUNTIF, etc., which now also boast dynamic array functionality. What You Will Learn Unlock the dynamic array potential in Microsoft Excel Apply dynamic array functions and confidently direct them to real-world spreadsheet tasks Know the distinctive ways in which arrays work and can be applied to numerous data-analytic tasks Who This Book Is For Users of Excel 365 and beyond who are comfortable with, but not necessarily expert in, formula writing, as well as those who are unaware of or not fluent with dynamic arrays. It is also valuable to data journalists and other professionals in need of spreadsheet skills who may unaware of dynamic arrays, and the time they could save by applying them to their work.

Fast-paced and easy to use, this new book teaches you the basics of Excel 2007 so you can start using the program right away. This concise guide shows readers how to work with Excel's most useful features and its completely redesigned interface. With clear explanations, step-by-step instructions, lots of illustrations, and plenty of timesaving advice, "Excel 2007 for Starters: The Missing Manual" will quickly teach you to: build spreadsheets; add and format information; print reports; create charts and graphics; use basic formulas and functions and more. The new Excel is radically different from previous versions. Over the years, Excel has grown in power, sophistication and capability, but its once-simple toolbar has been packed with so many features that not even the pros could find them all. For Excel 2007, Microsoft redesigned the user interface completely, adding a tabbed toolbar that makes every feature easy to locate. Unfortunately, Microsoft's documentation is as scant as ever, so even if you find the features you need, you still may not know what to do with them. But with this book, you can breeze through the new user interface and its timesaving features in no time. "Excel 2007 for Starters: The Missing Manual" is the perfect primer for small businesses with no techie to turn to, as well as those who want to organize household and office information.

In a corporate setting, the Microsoft Office Suite is an invaluable set of applications. One of Offices' biggest advantages is that its applications can work together to share information, produce reports, and so on. The problem is, there isn't much documentation on their cross-usage. Until now.

Introducing "Integrating Excel and Access," the unique reference that shows you how to combine the strengths of Microsoft Excel with those of Microsoft Access. In particular, the book explains how the powerful analysis tools of Excel can work in concert with the structured storage and more powerful querying of Access. The results that these two applications can produce together are virtually impossible to achieve with one program separately.

But the book isn't just limited to Excel and Access. There's also a chapter on SQL Server, as well as one dedicated to integrating with other Microsoft Office applications. In no time, you'll discover how to:

Utilize the built in features of Access and Excel to access data

Use VBA within Access or Excel to access data

Build connection strings using ADO and DAO

Automate Excel reports including formatting, functions, and page setup

Write complex functions and queries with VBA

Write simple and advanced queries with the Access GUI

Produce pivot tables and charts with your data

With "Integrating Excel and Access," you can crunch and visualize data like never before. It's the ideal guide for anyone who uses Microsoft Office to handle data.

Develop the Microsoft (R) Office 365 and Excel 2019 skills students need to be successful in college and beyond with the emphasis on critical-thinking, problem-solving, and in-depth coverage found in NEW PERSPECTIVES MICROSOFT OFFICE 365 & EXCEL 2019 COMPREHENSIVE. Updated with all-new case scenarios, this edition clearly applies the skills students are learning to real-world situations to make concepts even more relevant across the applications and reinforces critical skills to make them successful in their educational and professional careers. NEW PERSPECTIVES MICROSOFT OFFICE 365 & EXCEL 2019 COMPREHENSIVE demonstrates the importance of what students are learning while strengthening your skills and helping students transfer those skills to other applications and disciplines for further success. In addition, MindTap and updated SAM (Skills Assessment Manager) online resources are available to guide additional study and ensure successful results.

This book presents techniques for determining uncertainties in numerical solutions with applications in the fields of business administration, civil engineering, and economics, using Excel as a computational tool. Also included are solutions to uncertainty problems involving stochastic methods. The list of topics specially covered in this volume includes linear and nonlinear programming, Lagrange multipliers (for sensitivity), multi objective optimization, and Game Theory, as well as linear algebraic equations, and probability and statistics. The book also provides a selection of numerical methods developed for Excel, in order to enhance readers' understanding. As such, it offers a valuable guide for all graduate and undergraduate students in the fields of economics, business administration, civil engineering, and others that rely on Excel as a research tool.

Gain Deeper Insights, Make Smarter Decisions, and Earn More Profits It's time to put the full power of Excel quantitative analysis behind your management decisions! Business analysis expert Conrad Carlberg shows you how to use Excel to perform core financial tasks all managers and entrepreneurs need to master: analyzing statements, planning and controlling company finances, making investment decisions, and managing sales and marketing. Carlberg helps you make the most of Excel's tools and features in everything from business case development to cash flow analysis. Becoming an Excel expert has never been easier. You'll find crystal-clear instructions, real-world examples, insider insights, step-by-step projects, and much more. It's all complemented by extensive web-based resources, from sample journals and ledgers to business forecasting tools. * Get more insight from income statements and balance sheets * Manage current assets and value inventories * Summarize transactions from journal to balance sheet * Analyze working capital, cash flow, statements, and ratios * Optimize budgeting and planning cycles * Make more accurate and useful forecasts and projections * Measure product or service quality * Plan investments, set decision criteria, and perform sensitivity analyses * Analyze profits, pricing, costs, contributions, and margins * Make better decisions in uncertain conditions * Understand and maximize the value of fixed assets * Efficiently import and export business data * Use Excel and Power BI to analyze data from QuickBooks or other sources