Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing,...

Building the Bridge As You Walk On It: A Guide for Leading Change
Building the Bridge As You Walk On It: A Guide for Leading Change
Dare to become a leader who inspires others

"Quinn’s work captures a crucial truth about great leadership–that it is about who we are and not what we do. In facing our fears and harnessing our uniqueness, we bring forth the capacity for inspired leadership and for enduring change. Robert Quinn is a gifted storyteller. This is...

Operating Systems: Internals and Design Principles (5th Edition) (GOAL Series)
Operating Systems: Internals and Design Principles (5th Edition) (GOAL Series)
This book covers concepts, structure, and mechanisms of operating systems. Stallings presents the nature and characteristics of modern-day operating systems clearly and completely. Includes major programming projects. Offers step-by-step web support with CD/Rom Resources. A basic reference for those interested in learning...
Official Ubuntu Book, The (5th Edition)
Official Ubuntu Book, The (5th Edition)

Ubuntu is a complete, free operating system that emphasizes community, support, and ease of use without compromising speed, power, or flexibility. It’s Linux for human beings, designed for everyone from computer novices to experts. Ubuntu 10.04 is the latest release—more powerful, more flexible, and friendlier than ever. The...

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods
Formal engineering methods are changing the way that software systems are developed. With language and tool support, they are being used for automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, specification,...
How to Measure Anything: Finding the Value of Intangibles in Business
How to Measure Anything: Finding the Value of Intangibles in Business

Anything can be measured. This bold assertion is the key to solving many problems in business and life in general. The myth that certain things can't be measured is a significant drain on our nation's economy, public welfare, the environment, and even national security. In fact, the chances are good that some part of your life...

Rape Investigation Handbook
Rape Investigation Handbook
"This book is easy to read and follows a logical progression from the initial call to the courts. Anyone involved in dealing with sexual assault cases in any capacity would benefit from having this book in their library of reference texts." - www.crimeandclues.com

An unprecedented collaborative work -- the first
...
Installing and Administering Linux, Second Edition
Installing and Administering Linux, Second Edition
An indispensable working resource for IT professionals moving to Linux-based network systems

More and more companies are now using Linux as their server operating system of choice. That’s because the costs are lower, there’s a greater amount of flexibility, and the code is much more reliable. As a result, there is a bigger demand...

Corrosion Prevention and Protection: Practical Solutions
Corrosion Prevention and Protection: Practical Solutions

There are many books and monographs on corrosion, such as Corrosion and Corrosion Control by H. H. Uhlig and R. W. Revie; Corrosion Engineering by M. G. Fontana and N. D. Greene; Principles and Prevention of Corrosion by D. A. Jones; An Introduction to Corrosion and Protection of Metals by G. Wranglen; and Corrosion for Science and...

Applied Cyber Security and the Smart Grid: Implementing Security Controls into the Modern Power Infrastructure
Applied Cyber Security and the Smart Grid: Implementing Security Controls into the Modern Power Infrastructure
Cyber security is big business today. Smart Grid is big business today. Therefore let’s put the two together and write a book? Well, surely there will be some individuals that may make that assumption as to the motivation behind the publication of this book. The real motivation behind the development of this book is because...
Fatal Exit: The Automotive Black Box Debate
Fatal Exit: The Automotive Black Box Debate
A compelling argument for automotive technologies that speak for the victim, tell the truth, and could save millions of lives

Fatal Exit: The Automotive Black Box Debate cuts through thirty years of political wrangling and institutional biases to provide an argument for the Motor Vehicle Event Data Recorder (MVEDR). This automotive equivalent...

Solaris 8 System Administrator Exam Cram (Exam: 310-011, 310-012)
Solaris 8 System Administrator Exam Cram (Exam: 310-011, 310-012)
The perfect study companion for UNIX system professionals preparing for both Solaris 8 System Administrator exams. The book contains accurate and efficient coverage of the many new features of the Solaris 8 system including new support for Ipv6, LDAP, and DHCP, installs using Solaris Web Start, new Universal Disk Format (UDF) file system support,...
Result Page: 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67 66 65 64 63 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy