- Table View
- List View
Learning Xero
by Jon JenkinsLearn to use Xero to make bookkeeping tasks simple and gain valuable business insights effortlessly About This Book * Explore the process of setting up and using Xero * Concise step-by-step instructions to teach you best practice bookkeeping * Discover performance enhancing add-ons to reduce your daily work Who This Book Is For Intended for those who want to learn how to use Xero to get better insights from their business data and learn the best practices of bookkeeping using Xero. Perhaps you have never used Xero, or perhaps you want to migrate from an existing accounting application to Xero. In either case, this book will get you up and running quickly. It would be useful to have a bit of familiarity with basic bookkeeping concepts, but no prior experience of Xero is required. What You Will Learn * Configure Xero from scratch and fine-tune it ready for use * Set up bank feeds and automate the bank reconciliation process * Create workflows and segregation of duties for sales and purchases * Run payrolls, giving employees the ability to request time off and generate their own payslips * Produce reports to gain a better understanding of your business data and make better quality decisions * Import and export data ready for analysis * Use the power of a mobile device to run your business from the palm of your hand * Manage your inventory with fully automated transaction processing In Detail The book begins by tackling the initial set up of Xero to ensure optimum configuration for success. From there, the next logical step is to set up the automated bank feeds, which is the best innovation in bookkeeping in years. Now that your bank data is ready for importing, we will tackle the most common transactional items, being sales invoices and purchase bills. Despite these being largely transactional, we will work through ways to automate the process where possible, save time, and avoid potential human errors along the way. Then we will start checking reports and analyze what is working or not and make changes to workflows and setups. The end result is that you will have a fully configured system ready to use and years of experience offering best practice solutions to what have been, for years, unnecessary roadblocks in your business. Style and approach This book contains easy-to-follow, step-by-step examples, explaining from start to finish how to set up and use Xero while implementing best practices of bookkeeping.
The LEGO Animation Book: Make Your Own LEGO Movies!
by David Pagano David PickettHave you ever wondered what your LEGO creations would look like on the big screen? The LEGO Animation Book will show you how to bring your models to life with stop-motion animation—no experience required! Follow step-by-step instructions to make your first animation, and then explore the entire filmmaking process, from storyboards to post-production.Along the way, you’ll learn how to:–Create special effects like explosions and flying minifigures–Convey action and emotion with your minifigure actors–Design sets for animation—make three buildings look like an entire city!–Light, frame, and capture consistent photos–Add detail and scope to your films by building in different scales–Build camera dollies and rigs out of LEGO bricks–Choose cameras, software, and other essential animation toolsDive into the world of animation and discover a whole new way to play!For ages 10+
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
by Tiziana Margaria Bernhard SteffenThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
by Tiziana Margaria Bernhard SteffenThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challen≥ and STRESS.
Leveraging Applications of Formal Methods, Verification, and Validation
by Anna-Lena LamprechtThis book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.
The Liability of Internet Intermediaries
by Jaani Riordan<P>There is no book dedicated to the doctrines and remedies which regulate the legal liability of internet intermediaries.<P> This is surprising, given that we live in an era in which almost all communications and transactions rely upon services provided or facilitated by such intermediaries.
Liberalizations in Network Industries
by Antonio Nicita Filippo BellocThis book explores the wave of liberalization reforms experienced by OECD network industries. Focusing on the telecommunications sector, the authors analyze the latest data available on liberalization and privatization, and following a political economics approach, they integrate standard economic analysis with the most recent studies of the political determinants of market-oriented policies. The book presents new econometric evidence on several policy issues, including institutional complementarities dynamics, the problem of policy sequencing and the role of government political ideology. The detailed and comprehensive discussion offers insights into how so many countries adopting similar reforms actually differ in their policy bundling, intensity and implementation of liberalization and privatization. "
Liftoff: Start and Sustain Successful Agile Teams
by Diana Larsen Ainsley NiesReady, set, liftoff! Align your team to one purpose: successful delivery. Learn new insights and techniques for starting projects and teams the right way, with expanded concepts for planning, organizing, and conducting liftoff meetings. Real-life stories illustrate how others have effectively started (or restarted) their teams and projects. Master coaches Diana Larsen and Ainsley Nies have successfully "lifted off" numerous agile projects worldwide. Are you ready for success?Every team needs a great start. If you're a business or product leader, team coach or agile practice lead, project or program manager, you'll gain strategic and tactical benefits from liftoffs.Discover new step-by-step instructions and techniques for boosting team performance in this second edition of Liftoft. Concrete examples from our practices show you how to get everyone on the same page from the start as you form the team. You'll find pointers for refocusing an effort that's gone off in the weeds, and practices for working with teams as complex systems. See how to scale liftoffs for multiple teams across the enterprise, address the three key elements for collaborative team chartering, establish the optimal conditions for learning and improvement, and apply the GEFN (Good Enough for Now) rule for efficient liftoffs. Throughout the book are stories from real-life teams lifting off, as seasoned coaches describe their experiences with liftoffs and agile team chartering.Focused conversations help the team align, form, and build enough trust for collaborating. You'll build a common understanding of the teams' context within business goals. Every liftoff is unique, but success is common!
Lightweight Cryptography for Security and Privacy
by Amir Moradi Gregor Leander Tim GüneysuThisbook constitutes the refereed post-conference proceedings of the 4thInternational Workshop on Lightweight Cryptography for Security and Privacy,LightSec 2015, held in Bochum, Germany, in September 2015. The9 full papers presented were carefully reviewed and selected from 17submissions. The papers are organized in the following topical sections: cryptanalysis,lightweight constructions, implementation challenges.
Liking Jesus: Intimacy and Contentment in a Selfie-Centered World
by Craig GroeschelIn Liking Jesus, a timely and life-changing book, New York Times bestselling author and pastor of Life.Church Craig Groeschel helps put Christ first again in today’s maxed out, selfie-centered world.The more you compare, the less satisfied you are. The more we interact online, the more we crave intimacy. The more filtered our lives become, the harder it is to be real.It’s time to refresh and rediscover what it means to be “like Jesus” and find true authenticity, a healthy self-image, and compassion for others in an age when we relate to each other so differently than ever before. Groeschel taps into some of the most leading-edge studies on the effects of social media on our emotions and friendships. He offers real-life examples of how we struggle with screens and likes, how these things mask our struggles with who we really are, and how we can reclaim a Christ-centered life.Packed with helpful topics like the “10 Commandments of Using Social Media to Strengthen Your Faith” and “Creating Safeguards for Your Digital Devices,” readers from ages sixteen to sixty will find Liking Jesus to be just the guide to bring balance and real-world engagement to everyday life.
Liminal Thinking
by Dave Gray"Why do some people succeed at change while others fail? It's the way they think! Liminal thinking is a way to create change by understanding, shaping, and reframing beliefs. What beliefs are stopping you right now?You have a choice. You can create the world you want to live in, or live in a world created by others. If you are ready to start making changes, read this book."
Limits of Computation
by Bernhard ReusThis textbook discusses the most fundamental and puzzling questions about the foundations of computing. In 23 lecture-sized chapters it provides an exciting tour through the most important results in the field of computability and time complexity, including the Halting Problem, Rice's Theorem, Kleene's Recursion Theorem, the Church-Turing Thesis, Hierarchy Theorems, and Cook-Levin's Theorem. Each chapter contains classroom-tested material, including examples and exercises. Links between adjacent chapters provide a coherent narrative. Fundamental results are explained lucidly by means of programs written in a simple, high-level imperative programming language, which only requires basic mathematical knowledge. Throughout the book, the impact of the presented results on the entire field of computer science is emphasised. Examples range from program analysis to networking, from database programming to popular games and puzzles. Numerous biographical footnotes about the famous scientists who developed the subject are also included. "Limits of Computation" offers a thorough, yet accessible, introduction to computability and complexity for the computer science student of the 21st century.
Linear and Integer Programming Made Easy
by T. C. Hu Andrew B. KahngThis textbook provides concise coverage of the basics of linear and integer programming which, with megatrends toward optimization, machine learning, big data, etc. , are becoming fundamental toolkits for data and information science and technology. The authors' approach is accessible to students from almost all fields of engineering, including operations research, statistics, machine learning, control system design, scheduling, formal verification and computer vision. The presentations enables the basis for numerous approaches to solving hard combinatorial optimization problems through randomization and approximation. Readers will learn to cast various problems that may arise in their research as optimization problems, understand the cases where the optimization problem will be linear, choose appropriate solution methods and interpret results appropriately.
Linear and Nonlinear Programming
by David G. Luenberger Yinyu YeThis new edition covers the central concepts of practical optimization techniques, with an emphasis on methods that are both state-of-the-art and popular. One major insight is the connection between the purely analytical character of an optimization problem and the behavior of algorithms used to solve a problem. This was a major theme of the first edition of this book and the fourth edition expands and further illustrates this relationship. As in the earlier editions, the material in this fourth edition is organized into three separate parts. Part I is a self-contained introduction to linear programming. The presentation in this part is fairly conventional, covering the main elements of the underlying theory of linear programming, many of the most effective numerical algorithms, and many of its important special applications. Part II, which is independent of Part I, covers the theory of unconstrained optimization, including both derivations of the appropriate optimality conditions and an introduction to basic algorithms. This part of the book explores the general properties of algorithms and defines various notions of convergence. Part III extends the concepts developed in the second part to constrained optimization problems. Except for a few isolated sections, this part is also independent of Part I. It is possible to go directly into Parts II and III omitting Part I, and, in fact, the book has been used in this way in many universities. New to this edition is a chapter devoted to Conic Linear Programming, a powerful generalization of Linear Programming. Indeed, many conic structures are possible and useful in a variety of applications. It must be recognized, however, that conic linear programming is an advanced topic, requiring special study. Another important topic is an accelerated steepest descent method that exhibits superior convergence properties, and for this reason, has become quite popular. The proof of the convergence property for both standard and accelerated steepest descent methods are presented in Chapter 8. As in previous editions, end-of-chapter exercises appear for all chapters. From the reviews of the Third Edition: ". . . this very well-written book is a classic textbook in Optimization. It should be present in the bookcase of each student, researcher, and specialist from the host of disciplines from which practical optimization applications are drawn. " (Jean-Jacques Strodiot, Zentralblatt MATH, Vol. 1207, 2011)
Linguistic Linked Open Data
by Diana Trandabăţ Daniela GîfuThis book constitutes therefereed proceedings of the 12th EUROLAN Summer School on Linguistic Linked Open Data and its Satellite Workshop on Social Media and the Web of Linked Data, RUMOUR 2015, held in Sibiu, Romania, in July 2015. The 10 revised full papers presented together with 12 abstracts of tutorials werecarefully reviewed and selected from 21 submissions.
Linux Networking Cookbook
by Gregory BoyceThis book is targeted at Linux systems administrators who have a good basic understanding and some prior experience of how a Linux machine operates, but want to better understand how various network services function, how to set them up, and how to secure them. You should be familiar with how to set up a Linux server and how to install additional software on them.
Linux Pocket Guide: Essential Commands
by Daniel J. BarrettIf you use Linux in your day-to-day work, then Linux Pocket Guide is the perfect on-the-job reference. This thoroughly updated 20th anniversary edition explains more than 200 Linux commands, including new commands for file handling, package management, version control, file format conversions, and more.In this concise guide, author Daniel Barrett provides the most useful Linux commands grouped by functionality. Whether you're a novice or an experienced user, this practical book is an ideal reference for the most important Linux commands.You'll learn:Essential concepts—commands, shells, users, and the filesystemFile commands-creating, organizing, manipulating, and processing files of all kindsSysadmin basics-superusers, processes, user management, and software installationFilesystem maintenance-disks, RAID, logical volumes, backups, and moreNetworking commands-working with hosts, network connections, email, and the webGetting stuff done-everything from math to version control to graphics and audio
Linux Server Security: Hack and Defend
by Chris BinnieLearn how to attack and defend the world’s most popular web server platform Linux Server Security: Hack and Defend presents a detailed guide for experienced admins, aspiring hackers and other IT professionals seeking a more advanced understanding of Linux security. Written by a 20-year veteran of Linux server deployment this book provides the insight of experience along with highly practical instruction. The topics range from the theory of past, current, and future attacks, to the mitigation of a variety of online attacks, all the way to empowering you to perform numerous malicious attacks yourself (in the hope that you will learn how to defend against them). By increasing your understanding of a hacker’s tools and mindset you're less likely to be confronted by the all-too-common reality faced by many admins these days: someone else has control of your systems. Master hacking tools and launch sophisticated attacks: perform SQL injections, deploy multiple server exploits and crack complex passwords. Defend systems and networks: make your servers invisible, be confident of your security with penetration testing and repel unwelcome attackers. Increase your background knowledge of attacks on systems and networks and improve all-important practical skills required to secure any Linux server. The techniques presented apply to almost all Linux distributions including the many Debian and Red Hat derivatives and some other Unix-type systems. Further your career with this intriguing, deeply insightful, must-have technical book. Diverse, broadly-applicable and hands-on practical, Linux Server Security: Hack and Defend is an essential resource which will sit proudly on any techie's bookshelf.
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #9600)
by Sam Lindley Conor Mcbride Phil Trinder Don SannellaThis volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who knowPhil and have been influenced by him. The research papers included hererepresent some of the areas in which Phil has been active, and the editorsthank their colleagues for agreeing to contribute to this Festschrift. We attemptto summarize Phil Wadler's scientific achievements. In addition, we describethe personal style and enthusiasm that Phil has brought to the subject.
Listen and Talk
by Yun Liao Lingyang Song Zhu HanThis brief focuses on the use of full-duplex radio in cognitive radio networks, presenting a novel spectrum sharing protocol that allows the secondary users to simultaneously sense and access the vacant spectrum. This protocol, called "Listen-and-talk" (LAT), is evaluated by both mathematical analysis and computer simulations in comparison with other existing protocols, including the listen-before-talk protocol. In addition to LAT-based signal processing and resource allocation, the brief discusses techniques such as spectrum sensing and dynamic spectrum access. The brief proposes LAT as a suitable access scheme for cognitive radio networks, which can support the quality-of-service requirements of these high priority applications. Fundamental theories and key techniques of cognitive radio networks are also covered. Listen and Talk: Full-duplex Cognitive Radio Networks is designed for researchers, developers, and professionals involved in cognitive radio networks. Advanced-level students studying signal processing or simulations will also find the content helpful since it moves beyond traditional cognitive radio networks into future applications for the technology.
Literature in the Digital Age
by Adam HammondLiterature in a Digital Age: An Introduction guides readers through the most salient theoretical, interpretive, and creative possibilities opened up by the shift to digital literary forms such as e-books, digital archives, and electronic literature. While Digital Humanities (DH) has been hailed as the 'next big thing' in literary studies, many students and scholars remain perplexed as to what a DH approach to literature entails, and skeptical observers continue to see literature and the digital world as fundamentally incompatible. In its argument that digital and traditional scholarship should be placed in dialogue with each other, this book contextualizes the advent of the digital in literary theory, explores the new questions readers can ask of texts when they become digitized, and investigates the challenges that fresh forms of born-digital fiction pose to existing models of literary analysis.
The Little Elixir & OTP Guidebook
by Benjamin Tan Wei HaoSummaryThe Little Elixir & OTP Guidebook gets you started programming applications with Elixir and OTP. You begin with a quick overview of the Elixir language syntax, along with just enough functional programming to use it effectively. Then, you'll dive straight into OTP and learn how it helps you build scalable, fault-tolerant and distributed applications through several fun examples. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.About the TechnologyElixir is an elegant programming language that combines the expressiveness of Ruby with the concurrency and fault-tolerance of Erlang. It makes full use of Erlang's BEAM VM and OTP library, so you get two decades' worth of maturity and reliability right out of the gate. Elixir's support for functional programming makes it perfect for modern event-driven applications.About the BookThe Little Elixir & OTP Guidebook gets you started writing applications with Elixir and OTP. You'll begin with the immediately comfortable Elixir language syntax, along with just enough functional programming to use it effectively. Then, you'll dive straight into several lighthearted examples that teach you to take advantage of the incredible functionality built into the OTP library. What's InsideCovers Elixir 1.2 and 1.3Introduction to functional concurrency with actorsExperience the awesome power of Erlang and OTP About the ReaderWritten for readers comfortable with a standard programming language like Ruby, Java, or Python. FP experience is helpful but not required. About the AuthorBenjamin Tan Wei Hao is a software engineer at Pivotal Labs, Singapore. He is also an author, a speaker, and an early adopter of Elixir.Table of ContentsGETTING STARTED WITH ELIXIR AND OTPIntroduction A whirlwind tour Processes 101 Writing server applications with GenServer FAULT TOLERANCE, SUPERVISION, AND DISTRIBUTION Concurrent error-handling and fault tolerance with links, monitors, and processes Fault tolerance with Supervisors Completing the worker-pool application Distribution and load balancing Distribution and fault tolerance Dialyzer and type specifications Property-based and concurrency testing
Locating Emerging Media (Routledge Studies in New Media and Cyberculture)
by Ben Aslinger Germaine R. HalegouaLocating Emerging Media focuses on the tensions between the local and global in the design, distribution, and use of emerging media forms, building on scholarship on the cultural geography of new media networks and products and the relationships between the "global" and the "local." Authors consider new media practices, texts, services, software, policies, infrastructures, and design discourses that enrich existing relationships between creative industries and cultures of production, reception, and engagement. This consideration highlights the relationships between global and local perspectives and new media technologies and practices emerging within (and through) the geography and culture of particular places. Areas examined include East Asia, Latin America, Africa, Europe, South Asia, the Pacific Islands, and the Middle East. Through all is the recognition that what is new or emergent around the globe is unique in each locality.
Logic and Algebraic Structures in Quantum Computing
by Jennifer Chubb Ali Eskandarian Valentina HarizanovArising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. <P><P>Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods and structures of operator theory, category theory, and knot theory in an effort to gain insight into the fundamental questions in quantum theory and logic. The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.
Logic and Computer Design Fundamentals
by Charles R. Kime Tom Martin M. Morris ManoFor courses in Logic and Computer design. Understanding Logic and Computer Design for All Audiences Logic and Computer Design Fundamentals is a thoroughly up-to-date text that makes logic design, digital system design, and computer design available to students of all levels. The Fifth Edition brings this widely recognized source to modern standards by ensuring that all information is relevant and contemporary. The material focuses on industry trends and successfully bridges the gap between the much higher levels of abstraction students in the field must work with today than in the past. Broadly covering logic and computer design, Logic and Computer Design Fundamentals is a flexibly organized source material that allows instructors to tailor its use to a wide range of student audiences.