Learn IT - Books tags report

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Springer, 2012

This volume contains the papers presented at SBMF 2012: the 15th Brazilian Symposium on Formal Methods. The conference was held in the city of Natal, Brazil, colocated with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice.

The conference program included two invited talks, given by John...

Murach's ADO.NET 4 Database Programming with C# 2010 (Murach: Training & Reference)

Mike Murach & Associates, 2011

Now in its 4th Edition, this book shows C# developers how to use Visual Studio and ADO.NET to develop database applications the way the best professionals do. You'll learn how to:

quickly create Windows and web applications by dragging-and-dropping data controls in Visual Studio 2010

code your own...

The User Experience Team of One

Rosenfeld Media, 2013

There are some things you should never do at the same time: Move. Have a baby. Adopt a puppy. Change jobs. Leah did all of this while also writing this book.

And while anyone who knows Leah shouldn’t be surprised by her ability to pull all of this off, this speaks to a tenacity shared by those who find...

Analyzing the Analyzers: An Introspective Survey of Data Scientists and Their Work

O'Reilly, 2013

There has been intense excitement in recent years around activities labeled "data science," "big data," and "analytics." However, the lack of clarity around these terms and, particularly, around the skill sets and capabilities of their practitioners has led to inefficient communication between "data...

Applied Cyber Security and the Smart Grid: Implementing Security Controls into the Modern Power Infrastructure

Syngress Publishing, 2013

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...

Logging and Log Management: The Authoritative Guide to Understanding the Concepts Surrounding Logging and Log Management

Syngress Publishing, 2012

Effectively analyzing large volumes of diverse logs can pose many challenges. Logging and Log Management helps to simplify this complex process using practical guidance and real-world examples. Packed with information you need to know for system, network and security logging. Log management and log analysis methods are covered in...

Windows Server 2012 Automation with PowerShell Cookbook

Packt Publishing, 2013

Automating server tasks allows administrators to repeatedly perform the same, or similar, tasks over and over again. With PowerShell scripts, you can automate server tasks and reduce manual input, allowing you to focus on more important tasks.

Windows Server 2012 Automation with PowerShell will show several ways for a Windows...

Hacking For Dummies

For Dummies, 2013

Updated for Windows 8 and the latest version of Linux

The best way to stay safe online is to stop hackers before they attack - first, by understanding their thinking and second, by ethically hacking your own site to measure the effectiveness of your security. This practical, top-selling guide will help you do both. Fully...

At Your Service: Service-Oriented Computing from an EU Perspective (Cooperative Information Systems)

MIT Press, 2009

Service-Oriented Applications and Architectures (SOAs) have captured the interest of industry as a way to support business-to-business interaction, and the SOA market grew by $4.9 billion in 2005. SOAs and in particular service-oriented computing (SOC) represent a promising approach in the development of adaptive distributed systems. With...

Nature Inspired Cooperative Strategies for Optimization (NICSO 2013): Learning, Optimization and Interdisciplinary Applications

Springer, 2013

Biological and other natural processes have always been a source of inspiration for computer science and information technology. Many emerging problem solving techniques integrate advanced evolution and cooperation strategies, encompassing a range of spatio-temporal scales for visionary conceptualization of evolutionary computation.

...

Diagnosing Wild Species Harvest: Resource Use and Conservation

Academic Press, 2013

Diagnosing Wild Species Harvest bridges gaps of knowledge fragmented among scientific disciplines as it addresses this multifaceted phenomenon that is simultaneously global and local. The authors emphasize the interwoven nature of issues specific to the ecological, economic, and socio-cultural realms of wild species harvest.

...

Software Testing using Visual Studio 2012

Packt Publishing, 2013

Testing is one of the main phases in the software development lifecycle. Managing the test scenarios, test cases, defects, and linking each one of these is bit of a challenge without using any tools. For frequently changing businesses, it is essential to address testing requirements by matching the pace of the business. This can only be...

Result Page: 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4