Book picks similar to
Systems and Software Verification: Model-Checking Techniques and Tools by B. Berard
software-v-v
book-collection
computer
computer-science
Schaum's Outline of Theory and Problems of Data Structures
Seymour Lipschutz - 1986
This guide, which can be used with any text or can stand alone, contains at the beginning of each chapter a list of key definitions, a summary of major concepts, step by step solutions to dozens of problems, and additional practice problems.
Code of War
J.W. Clay - 2021
She's a skilled hacker, and her focus is Cyber Kinetic Eliminations--remote assassinations conducted with sophisticated computer systems.With a growing success rate, she's given the ultimate target: a Chinese General who's sole responsibility is the reformation of the People's Republican Army.Can Jen Yates are her team assassinate one of China's most influential men? Can they derail the Chinese Communist Party's reform regimen? Even the thought could have disastrous consequences ...
Jumping into C++
Alex Allain - 2013
As a professional C++ developer and former Harvard teaching fellow, I know what you need to know to be a great C++ programmer, and I know how to teach it, one step at a time. I know where people struggle, and why, and how to make it clear. I cover every step of the programming process, including:Getting the tools you need to program and how to use them*Basic language feature like variables, loops and functions*How to go from an idea to code*A clear, understandable explanation of pointers*Strings, file IO, arrays, references*Classes and advanced class design*C++-specific programming patterns*Object oriented programming*Data structures and the standard template library (STL)Key concepts are reinforced with quizzes and over 75 practice problems.
Discrete-Event System Simulation
Jerry Banks - 1983
This text provides a basic treatment of discrete-event simulation, including the proper collection and analysis of data, the use of analytic techniques, verification and validation of models, and designing simulation experiments. It offers an up-to-date treatment of simulation of manufacturing and material handling systems, computer systems, and computer networks. Students and instructors will find a variety of resources at the associated website, www.bcnn.net, including simulation source code for download, additional exercises and solutions, web links and errata.
Mastering Vmware Vsphere 5
Scott Lowe - 2011
You'll learn how to install, configure, operate, manage, and secure the latest release.Covers all the new features and capabilities of the much-anticipated new release of VMware vSphere Discusses the planning, installation, operation, and management for the latest release Reviews migration to the latest vSphere software Offers hands-on instruction and clear explanations with real-world examples Mastering VMware vSphere is the strategic guide you need to maximize the opportunities of virtualization.
IBM PC Assembly Language and Programming
Peter Abel - 1987
Coverage starts from scratch, discussing the simpler aspects of the hardware, and the language, then introduces technical details and instructions as they are needed.
The Essential Guide to Telecommunications
Annabel Z. Dodd - 1998
It aims to give readers a fundamental overview of the technologies that make up the telecommunications infrastructure.
Systems Programming (McGraw-Hill computer science series)
John J. Donovan - 1972
Introducing Windows Azure for IT Professionals
Mitch Tulloch - 2013
It is offered for sale in print format as a convenience.Get a head start evaluating Windows Azure - with technical insights from a Microsoft MVP Mitch Tulloch. This guide introduces the latest features and capabilities, with scenario-based advice on how the platform can meet the needs of your business. Get the high-level overview you need to begin preparing your deployment now.Topics include: Understanding Windows Azure Windows Azure Compute Services Windows Azure Network Services Windows Azure Data Services Windows Azure App Services Getting Started with Windows Azure
HTML5 for Masterminds: How to take advantage of HTML5 to create amazing websites and revolutionary applications
Juan Diego Gauchat
The Economist - US Edition
The Economist - 2011
Download issues at no extra cost from Archived Items. The Economist is the premier source for the analysis of world business and current affairs, providing authoritative insight and opinion on international news, world politics, business, finance, science and technology, as well as overviews of cultural trends and regular Special reports on industries and countries. Established in 1843 to campaign against the protectionist corn laws, The Economist remains, in the second half of its second century, true to the liberal principles of its founder. James Wilson, a hat maker from the small Scottish town of Hawick, believed in free trade, internationalism and minimum interference by government, especially in the affairs of the market. The Economist also takes a fiercely independent stance on social issues, from gay marriage to the legalisation of drugs, but its main service to its readers is as a global newspaper: To uncover new ideas from all around the world. The Kindle Edition of The Economist contains all of the articles and graphics found in the print edition, but will not include all photos. For your convenience, issues are auto-delivered wirelessly to your Kindle each Friday at the same time the print edition hits the newsstand.
Learn Visually: Basic Excel Formulae: Take your spreadsheets and learn some of the key powerful formulae which will allow you to analyse and present your data effectively
Diane Griffiths - 2014
You have access to so much information - but where do you start and what is actually useful?! This particular book takes you right back to formula basics; exactly what a formula is, how to create one and what formulas can do. Then you'll learn about using functions in your formulas, a useful Excel feature which is designed to make your life easier. It will give you the starting blocks that you need in order to present and make sense of a spreadsheet in a quick and easy way that will give your confidence and career a boost. Formulae include: - Basic Arithmetic - SUM - IF - AND/OR - COUNT / COUNTA - AVERAGE / MAX / MIN - VLOOKUP / HLOOKUP - Bonus - Validation
Programming Languages: Design and Implementation
Terrence W. Pratt - 1995
The emphasis throughout is on fundamental concepts--readers learn important ideas, not minor language differences--but several languages are highlighted in sufficient detail to enable readers to write programs that demonstrate the relationship between a source program and its execution behavior--e.g., C, C++, JAVA, ML, LISP, Prolog, Smalltalk, Postscript, HTML, PERL, FORTRAN, Ada, COBOL, BASIC SNOBOL4, PL/I, Pascal. Begins with a background review of programming languages and the underlying hardware that will execute the given program; then covers the underlying grammatical model for programming languages and their compilers (elementary data types, data structures and encapsulation, inheritance, statements, procedure invocation, storage management, distributed processing, and network programming). Includes an advanced chapter on language semantics--program verification, denotational semantics, and the lambda calculus. For computer engineers and others interested in programming language designs.