Book picks similar to
Modelling Computer Systems: The Mathematics Of Computer Science (Undergraduate Topics In Computer Science) by Faron Moller
not-reading
software
algorithms
bookshelf
Managing the Software Process
Watts S. Humphrey - 1989
Emphasis is placed on the basic principles and priorities of the software process. Sections are organized in a natural way for managers and professionals to implement improvement activities.
Working with UNIX Processes
Jesse Storimer - 2011
Want to impress your coworkers and write the fastest, most efficient, stable code you ever have? Don't reinvent the wheel. Reuse decades of research into battle-tested, highly optimized, and proven techniques available on any Unix system.This book will teach you what you need to know so that you can write your own servers, debug your entire stack when things go awry, and understand how things are working under the hood.http://www.jstorimer.com/products/wor...
Laravel: Up and Running: A Framework for Building Modern PHP Apps
Matt Stauffer - 2016
This rapid application development framework and its vast ecosystem of tools let you quickly build new sites and applications with clean, readable code. With this practical guide, Matt Stauffer--a leading teacher and developer in the Laravel community--provides the definitive introduction to one of today's most popular web frameworks.The book's high-level overview and concrete examples will help experienced PHP web developers get started with Laravel right away. By the time you reach the last page, you should feel comfortable writing an entire application in Laravel from scratch.Dive into several features of this framework, including:Blade, Laravel's powerful, custom templating toolTools for gathering, validating, normalizing, and filtering user-provided dataLaravel's Eloquent ORM for working with the application's databasesThe Illuminate request object, and its role in the application lifecyclePHPUnit, Mockery, and PHPSpec for testing your PHP codeLaravel's tools for writing JSON and RESTful APIsInterfaces for file system access, sessions, cookies, caches, and searchTools for implementing queues, jobs, events, and WebSocket event publishingLaravel's specialty packages: Scout, Passport, Cashier, Echo, Elixir, Valet, and Socialite
Modern C++ Programming with Test-Driven Development: Code Better, Sleep Better
Jeff Langr - 2013
Test-driven development (TDD) is a modern software development practice that can dramatically reduce the number of defects in systems, produce more maintainable code, and give you the confidence to change your software to meet changing needs. But C++ programmers have been ignored by those promoting TDD--until now. In this book, Jeff Langr gives you hands-on lessons in the challenges and rewards of doing TDD in C++.Modern C++ Programming With Test-Driven Development, the only comprehensive treatment on TDD in C++ provides you with everything you need to know about TDD, and the challenges and benefits of implementing it in your C++ systems. Its many detailed code examples take you step-by-step from TDD basics to advanced concepts. As a veteran C++ programmer, you're already writing high-quality code, and you work hard to maintain code quality. It doesn't have to be that hard. In this book, you'll learn: how to use TDD to improve legacy C++ systems how to identify and deal with troublesome system dependencies how to do dependency injection, which is particularly tricky in C++ how to use testing tools for C++ that aid TDD new C++11 features that facilitate TDD As you grow in TDD mastery, you'll discover how to keep a massive C++ system from becoming a design mess over time, as well as particular C++ trouble spots to avoid. You'll find out how to prevent your tests from being a maintenance burden and how to think in TDD without giving up your hard-won C++ skills. Finally, you'll see how to grow and sustain TDD in your team. Whether you're a complete unit-testing novice or an experienced tester, this book will lead you to mastery of test-driven development in C++.What You Need A C++ compiler running under Windows or Linux, preferably one that supports C++11. Examples presented in the book were built under gcc 4.7.2. Google Mock 1.6 (downloadable for free; it contains Google Test as well) or an alternate C++ unit testing tool. Most examples in the book are written for Google Mock, but it isn't difficult to translate them to your tool of choice. A good programmer's editor or IDE. cmake, preferably. Of course, you can use your own preferred make too. CMakeLists.txt files are provided for each project. Examples provided were built using cmake version 2.8.9. Various freely-available third-party libraries are used as the basis for examples in the book. These include: - cURL - JsonCpp - Boost (filesystem, date_time/gregorian, algorithm, assign) Several examples use the boost headers/libraries. Only one example uses cURL and JsonCpp.
CCNA Portable Command Guide
Scott D. Empson - 2005
The 'CCNA Portable Command Guide' is a supplementary guide to assist network administrators in the proper use of the Cisco IOS and of the commands needed to pass the CCNA vendor exam.
From Mathematics to Generic Programming
Alexander A. Stepanov - 2014
If you're a reasonably proficient programmer who can think logically, you have all the background you'll need. Stepanov and Rose introduce the relevant abstract algebra and number theory with exceptional clarity. They carefully explain the problems mathematicians first needed to solve, and then show how these mathematical solutions translate to generic programming and the creation of more effective and elegant code. To demonstrate the crucial role these mathematical principles play in many modern applications, the authors show how to use these results and generalized algorithms to implement a real-world public-key cryptosystem. As you read this book, you'll master the thought processes necessary for effective programming and learn how to generalize narrowly conceived algorithms to widen their usefulness without losing efficiency. You'll also gain deep insight into the value of mathematics to programming--insight that will prove invaluable no matter what programming languages and paradigms you use. You will learn aboutHow to generalize a four thousand-year-old algorithm, demonstrating indispensable lessons about clarity and efficiencyAncient paradoxes, beautiful theorems, and the productive tension between continuous and discreteA simple algorithm for finding greatest common divisor (GCD) and modern abstractions that build on itPowerful mathematical approaches to abstractionHow abstract algebra provides the idea at the heart of generic programmingAxioms, proofs, theories, and models: using mathematical techniques to organize knowledge about your algorithms and data structuresSurprising subtleties of simple programming tasks and what you can learn from themHow practical implementations can exploit theoretical knowledge
Advanced PHP Programming
George Schlossnagle - 2004
The rapid maturation of PHP has created a skeptical population of users from more traditional enterprise languages who question the readiness and ability of PHP to scale, as well as a large population of PHP developers without formal computer science backgrounds who have learned through the hands-on experimentation while developing small and midsize applications in PHP. While there are many books on learning PHP and developing small applications with it, there is a serious lack of information on scaling PHP for large-scale, business-critical systems. Schlossnagle's Advanced PHP Programming fills that void, demonstrating that PHP is ready for enterprise Web applications by showing the reader how to develop PHP-based applications for maximum performance, stability, and extensibility.
How to Prove It: A Structured Approach
Daniel J. Velleman - 1994
The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5
Wars of the Roses Series Collection
Conn Iggulden - 2019
Wars of the Roses Series Conn Iggulden 3 Books Collection Set Titles in the Set Stormbird, Trinity, Bloodline
How Linux Works: What Every Superuser Should Know
Brian Ward - 2004
Some books try to give you copy-and-paste instructions for how to deal with every single system issue that may arise, but How Linux Works actually shows you how the Linux system functions so that you can come up with your own solutions. After a guided tour of filesystems, the boot sequence, system management basics, and networking, author Brian Ward delves into open-ended topics such as development tools, custom kernels, and buying hardware, all from an administrator's point of view. With a mixture of background theory and real-world examples, this book shows both "how" to administer Linux, and "why" each particular technique works, so that you will know how to make Linux work for you.
Resurrected (Vampire Legacy, #1) Excerpt
Morgan Rice - 2012
This file contains Part One of the book only, which is 20,000 words.In RESURRECTED (Book #1 of the Vampire Legacy), 16 year old Scarlet Paine finds herself changing in mysterious ways. She is becoming sensitive to light, able to read peoples’ thoughts, and is faster and stronger than she’s ever been. She doesn’t understand what’s happening to her, and tries to ignore it. But she can only dismiss it for so long.Caitlin Paine, her mom, knows too well what’s happening to her daughter. She underwent the same transformation to vampire once, centuries ago. But now, in the present day, as a mere human, she has no memory of it. All she has is the journal she found in the attic—her mysterious vampire journal—telling of her exploits in another time and place, and of the vampire race being eradicated. But was there one exception to the rule? Could it be that Scarlet, her daughter, is the last remaining vampire on earth?As Scarlet tries to fight who she’s becoming, she also tries to fight her intense feelings for Blake, a boy in her grade who she has a crush on. She can’t tell, though, if he’s into her, and with the big Halloween dance just days away, the pressure is on. She would do anything for Blake to ask her. But Vivian, the meanest of the popular girls, is also on Blake’s radar, and she’ll do anything to make Blake hers—and to make Scarlet’s life a living hell.Luckily Scarlet has her own clique of friends to back her up, including her best friends Maria and Jasmin. They, too, have guy troubles—but it isn’t until Sage appears, the mysterious new boy, that her friends become obsessed. Scarlet finds herself attracted to him, too—and is surprised when it is her, of all the girls in the school, that he pays attention to. But her mind is set on Blake, at least for now, and she continues to hope he’ll ask her to the dance.Just when it seems that Scarlet has what she wants, her body changes. Soon it may be impossible for her to be near her fellow humans. Soon, she may have to choose between her desire to live and her desire for love.Book #2 in the series, CRAVED (Book #2 of the Vampire Legacy), is now also available.“Grabbed my attention from the beginning and did not let go….This story is an amazing adventure that is fast paced and action packed from the very beginning. There is not a dull moment to be found.”--Paranormal Romance Guild {regarding Turned}“A great plot, and this especially was the kind of book you will have trouble putting down at night. The ending was a cliffhanger that was so spectacular that you will immediately want to buy the next book, just to see what happens.”--The Dallas Examiner {regarding Loved}“Morgan Rice proves herself again to be an extremely talented storyteller….This would appeal to a wide range of audiences, including younger fans of the vampire/fantasy genre. It ended with an unexpected cliffhanger that leaves you shocked.”--The Romance Reviews {regarding Loved}Morgan Rice is the #1 Bestselling author of THE VAMPIRE JOURNALS, an eight-book series which has sold over 100,000 copies and has been translated into six languages. Morgan is also author of ARENA ONE, the first book in a dystopian, post-apocalyptic action-thriller trilogy.
Linear Tactical Boxed Set 3: Echo, Phoenix, Baby
Janie Crouch - 2020
And Peyton is a woman worth fighting for.•••••PHOENIXYou have to burn before you can rise.Extreme sport sensation Riley Harrison will find the biggest danger has nothing to do with risk, and everything to do with the heart.•••••BABYDon't let the name fool you.He has secrets buried deep under his charming smile that could change everything.
SEAL's Technique
Claire Adams - 2018
The bullet that ripped my girlfriend away from me in Iraq, ripped a May shaped hole in my heart that I don't want to fill. The only time my lungs fully remember how to do something as simple as breathing air is when I'm with a woman who can never be mine. In a relationship? I'll take it. Engaged? Yes please. Married? Hell yeah. Then I met her. The blonde with the boyfriend who's involved with everything I hate. I don't know if she knows what he's into, all I know is that my pants aren't the only thing that tighten when I'm around her. And now history is trying to repeat itself and I'm letting it happen over my dead body. Juliana: My life is comfortable. My boyfriend is seriously good-looking and my best friend is fun, supportive and always up for having a good time. I'm content, until I'm not. My perfectly constructed life comes crashing down around me and it's a mysterious, super hunky ex- SEAL who's suddenly at the right place at the right time. Every time. But when choices I didn't make impact my life in ways I never thought possible, I'm alone. Screwed. Terrified. When everything is on the line and your life is on the wrong side of the plumbing system, what do you do? I don't know... I don't know because this wasn't my mess to clean up. I like to think I'm an optimist, but how is it possible that anything good can come of this?
Quantum Computing Since Democritus
Scott Aaronson - 2013
Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb's Paradox, the anthropic principle and the views of Roger Penrose. Aaronson's informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.