Book picks similar to
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering by John Wordsworth
might-read
no-reviews
programming
tsundoku-nonfiction
First Ink
Amy L. Gale - 2017
He avoids relationships lasting more than a few hours and sets his sights on breaking out of this college town and opening a shop in Miami. Hailey Matthews is ready to leave her college days behind her except for one last hoorah, getting matching tattoos with her sorority sisters by the best artists in the Tri-state area at Steele Ink. After passing out twice a few minutes into the tattoo, Vic Steele refuses to touch her skin again, at least not with the tattoo gun. When she shows up at his shop day after day demanding he finish the tattoo he finally agrees with one stipulation, she goes out to dinner with him. They both get more than they bargained for when their feelings take them by surprise and Hailey finds herself in the midst of the full Vic Steele experience, but Vic’s playboy status comes back to haunt him threating to ruin it all. Will Hayley’s first ink be her last or will Vic leave a permanent scar?
The Lorraine Campaign
Hugh M. Cole - 1950
They had raced four hundred miles across northern France, from the beaches of Normandy to the banks of the Moselle River, in less than one month. Facing them were the German forces that held the territory between the Moselle and the Sarre Rivers. Having had such success in the invasion of France the men of the Third Army were confident that they could smash their way into Nazi Germany. Yet, almost immediately, their progress was halted. A drastic shortage of fuel slowed the advance to a crawl, giving time for German reinforcements to arrive from across Germany and Italy. New Panzer divisions also arrived to support the Nazi forces and drive back the Allied forces. Over the next three and a half months Patton and his men fought against these battle-hardened troops and brutally powerful tanks in operations that have become subsequently known as the Lorraine Campaign. Hugh M. Cole’s The Lorraine Campaign is the definitive history of these bloody months of conflict. It records each phase of the campaign in brilliant detail, including the initial days when Patton’s army was brought to a halt at the banks of the Moselle, the Battle of Metz, and the offensive across the Saar River towards the Siegfried Line before the Germans launched their counteroffensive in the Ardennes. This book is essential reading for anyone interested in the European Theater of World War Two and how Patton and his Third Army were able to overcome huge obstacles in their drive to reach Berlin. Hugh M. Cole was an American historian and army officer, best known as the author of The Lorraine Campaign and The Ardennes: Battle of the Bulge, two volumes of the U.S. Army official history of World War II. During the Second World War he was assigned as a historical officer on the staff of General Patton's Third Army, with whom he participated in four campaigns in northern Europe. The Lorraine Campaign was first published in 1950. Cole passed away in 2005.
Head First C
David Griffiths - 2011
With a unique method that goes beyond syntax and how-to manuals, this guide not only teaches you the language, it helps you understand how to be a great programmer. You'll learn key areas such as language basics, pointers and pointer arithmetic, and dynamic memory management. Advanced topics include multi-threading and network programming—topics typically covered on a college-level course.This book also features labs: in-depth projects intended to stretch your abilities, test your new skills, and build confidence. Head First C mimics the style of college-level C courses, making it ideal as an accessible textbook for students.We think your time is too valuable to waste struggling with new concepts. Using the latest research in cognitive science and learning theory to craft a multi-sensory learning experience, Head First C uses a visually rich format designed for the way your brain works, not a text-heavy approach that puts you to sleep.
Talking with Tech Leads
Patrick Kua - 2014
Discover how more than 35 Tech Leads find the delicate balance between the technical and non-technical worlds. Discover the challenges a Tech Lead faces and how to overcome them. You may be surprised by the lessons they have to share.Now available at https://leanpub.com/talking-with-tech...
Professional ASP.NET MVC 5
Jon Galloway - 2013
Like previous versions, this guide shows you step-by-step techniques on using MVC to best advantage, with plenty of practical tutorials to illustrate the concepts. It covers controllers, views, and models; forms and HTML helpers; data annotation and validation; membership, authorization, and security.MVC 5, the latest version of MVC, adds sophisticated features such as single page applications, mobile optimization, and adaptive rendering A team of top Microsoft MVP experts, along with visionaries in the field, provide practical advice on basic and advanced MVC topics Covers controllers, views, models, forms, data annotations, authorization and security, Ajax, routing, ASP.NET web API, dependency injection, unit testing, real-world application, and much more Professional ASP.NET MVC 5 is the comprehensive resource you need to make the best use of the updated Model-View-Controller technology.
REST in Practice: Hypermedia and Systems Architecture
Jim Webber - 2010
You'll learn techniques for implementing specific Web technologies and patterns to solve the needs of a typical company as it grows from modest beginnings to become a global enterprise.Learn basic Web techniques for application integrationUse HTTP and the Web’s infrastructure to build scalable, fault-tolerant enterprise applicationsDiscover the Create, Read, Update, Delete (CRUD) pattern for manipulating resourcesBuild RESTful services that use hypermedia to model state transitions and describe business protocolsLearn how to make Web-based solutions secure and interoperableExtend integration patterns for event-driven computing with the Atom Syndication Format and implement multi-party interactions in AtomPubUnderstand how the Semantic Web will impact systems design
The Word Museum: The Most Remarkable English Words Ever Forgotten
Jeffrey Kacirk - 2000
But as hundreds of new words are added annually, older ones are sacrificed. Now from the author of Forgotten English comes a collection of fascinating archaic words and phrases, providing an enticing glimpse into the past. With beguiling period illustrations, The Word Museum offers up the marvelous oddities and peculiar enchantments of old and unusual words.
Algorithmic Puzzles
Anany V. Levitin - 2011
This logic extends far beyond the realm of computer science and into the wide and entertaining world of puzzles. In Algorithmic Puzzles, Anany and Maria Levitin use many classic brainteasers as well as newer examples from job interviews with major corporations to show readers how to apply analytical thinking to solve puzzles requiring well-defined procedures.The book's unique collection of puzzles is supplemented with carefully developed tutorials on algorithm design strategies and analysis techniques intended to walk the reader step-by-step through the various approaches to algorithmic problem solving. Mastery of these strategies--exhaustive search, backtracking, and divide-and-conquer, among others--will aid the reader in solving not only the puzzles contained in this book, but also others encountered in interviews, puzzle collections, and throughout everyday life. Each of the 150 puzzles contains hints and solutions, along with commentary onthe puzzle's origins and solution methods. The only book of its kind, Algorithmic Puzzles houses puzzles for all skill levels. Readers with only middle school mathematics will develop their algorithmic problem-solving skills through puzzles at the elementary level, while seasoned puzzle solvers will enjoy the challenge of thinking throughmore difficult puzzles.
The Demas Revelation: A Novel
Shane Johnson - 2007
Anna Meridian—an archaeologist and woman of faith—uncovers the find of a lifetime: ancient documents dating to the time of the apostles, confessions that the early Christians are perpetrating a falsehood. She decides she must keep the documents' existence a secret, but word eventually leaks out. Many turn from their faith as another earth shattering discovery sheds more light on the validity of the manuscripts. The archaeologist searches for meaning in it all—why did these manuscripts come to light and what is her part in God's plan?
The New Turing Omnibus: 66 Excursions In Computer Science
A.K. Dewdney - 1989
K. Dewdney's The Turing Omnibus.Updated and expanded, The Turing Omnibus offers 66 concise, brilliantly written articles on the major points of interest in computer science theory, technology, and applications. New for this tour: updated information on algorithms, detecting primes, noncomputable functions, and self-replicating computers--plus completely new sections on the Mandelbrot set, genetic algorithms, the Newton-Raphson Method, neural networks that learn, DOS systems for personal computers, and computer viruses.Contents:1 Algorithms 2 Finite Automata 3 Systems of Logic 4 Simulation 5 Godel's Theorem 6 Game Trees 7 The Chomsky Hierarchy 8 Random Numbers 9 Mathematical Research 10 Program Correctness 11 Search Trees 12 Error-Corecting Codes 13 Boolean Logic 14 Regular Languages 15 Time and Space Complexity 16 Genetic Algorithms 17 The Random Access Machine 18 Spline Curves 19 Computer Vision 20 Karnaugh Maps 21 The Newton-Raphson Method 22 Minimum Spanning Trees 23 Generative Grammars 24 Recursion 25 Fast Multiplication 26 Nondeterminism 27 Perceptrons 28 Encoders and Multiplexers 29 CAT Scanning 30 The Partition Problem 31 Turing Machines 32 The Fast Fourier Transform 33 Analog Computing 34 Satisfiability 35 Sequential Sorting 36 Neural Networks That Learn 37 Public Key Cryptography 38 Sequential Cirucits 39 Noncomputerable Functions 40 Heaps and Merges 41 NP-Completeness 42 Number Systems for Computing 43 Storage by Hashing 44 Cellular Automata 45 Cook's Theorem 46 Self-Replicating Computers 47 Storing Images 48 The SCRAM 49 Shannon's Theory 50 Detecting Primes 51 Universal Turing Machines 52 Text Compression 53 Disk Operating Systems 54 NP-Complete Problems 55 Iteration and Recursion 56 VLSI Computers 57 Linear Programming 58 Predicate Calculus 59 The Halting Problem 60 Computer Viruses 61 Searching Strings 62 Parallel Computing 63 The Word Problem 64 Logic Programming 65 Relational Data Bases 66 Church's Thesis
CLR via C# (Pro-Developer)
Jeffrey Richter - 2006
This guide is suitable for developers building various kinds of application - including Microsoft[registered] ASP.NET, Windows[registered] Forms, Microsoft[registered] SQL Server[registered], Web services, and console applications.
The Princess of Valencia
Susan Straight - 2018
Little by little, Jacinta’s mother lost her—first to college, then to a boy she said she loved, and then, finally, to the rage of a school shooter. Snap. In an instant it was all gone. All she has now is her daughter’s phone. Like an album, gripped in the palm of her hand—texts, photos, messages, and videos of her daughter’s first three years at college. With it, Jacinta’s mother is reconstructing her daughter’s last three weeks.In this uniquely moving exploration of mourning, fury, and reminiscence, Susan Straight evokes—through a grieving mother’s devastating internal monologue—both a modern-day nightmare and exquisite proof of love’s extraordinary power to overcome it.
The Late Parade: Poems
Adam Fitzgerald - 2013
Channeling "the primal vision of Hart Crane" (Harold Bloom), Adam Fitzgerald helped welcome the modernist aethetic into the twenty-first century. Part Technicolor, part nitrous oxide, Fitzgerald's chimerical poems confront "a surging ocean of sound and language" (Maureen McLane). In these forty-eight poems, he conducts a madcap symphony of language, memory, and fantasy with the "exhilarating assurance of nonstop invention" (Timothy Donnelly).
Reinventing Yourself: How to Become the Person You've Always Wanted to Be
Steve Chandler - 1998
Motivational speaker Steve Chandler helps you turn "what could have been nto "what will be." His writing is filled with techniques for breaking down egative barriers and letting go of pessimistic thoughts that prevent you from ulfilling or even allowing yourself to conceive of your goals and dreams.
Microprocessors And Microcontrollers Architecture, Programming And System Design 8085, 8086, 8051, 8096
Krishna Kant - 2013
It comprehensively presents the material necessary for understanding the internal architecture as well as system design aspects of Intel’s legendary 8085 and 8086 microprocessors and Intel’s 8051 and 8096 microcontrollers.The book throughout maintains an appropriate balance between the basic concepts and the skill sets needed for system design. Besides, the book lucidly explains the hardware architecture, the instruction set and programming, support chips, peripheral interfacing, and cites several relevant examples to help the readers develop a complete understanding of industrial application projects. Several system design case studies are included to reinforce the concepts discussed.With exhaustive coverage and practical approach, the book would be indispensable to undergraduate students of Electrical and Electronics, Electronics and Communication, and Electronics and Instrumentation Engineering. It can be used for a variety of courses in Microprocessors, Microcontrollers, and Embedded System Design.The second edition of the book introduces additional topics like I/O interfacing and programming, serial interface programming, delay programming using 8086 and 8051. Besides, many more examples and case studies have been added.Contents:Preface • Preface to the First EditionAcknowledgements1. System Design Using Microprocessor2. What a Microprocessor Is3. Intel 8085 Microprocessor—Hardware Architecture4. Intel 8085 Microprocessor—Instruction Set and Programming5. Intel 8086—Hardware Architecture6. Intel 8086 Microprocessor—Instruction Set and Programming7. Microprocessor—Peripheral Interfacing8. System Design Using Intel 8085 and Intel 8086 Microprocessors—Case Studies9. Intel 8051 Microcontroller—Hardware Architecture10. Intel 8051 Microcontroller—Instruction Set and Programming11. The 8051 Microcontroller-Based System Design—Case Studies12. Intel 8096 Microcontroller—Hardware Architecture13. Intel 8096 Microcontroller—Instruction Set and Programming14. The 8096 Microcontroller-Based System Design—Case StudiesAppendices • Index