Learn IT - Books tags research

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Springer, 2008

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated...

CCNP ISCW Portable Command Guide (Self-Study Guide)

Cisco Press, 2008

Welcome to ISCW! In 2006, Cisco Press contacted Scott and told him, albeit very quietly, that there was going to be a major revision of the CCNP certification exams. They then asked whether he would be interested in working on a command guide in the same fashion as his previous books for Cisco Press: the Cisco Networking Academy Program CCNA...

Introduction to Microdisplays (Wiley Series in Display Technology)

John Wiley & Sons, 2006

Microdisplays are tiny, high-resolution electronic displays, designed for use in magnifying optical systems such as HDTV projectors and near-eye personal viewers. As a result of research and development into this field, Microdisplays are incorporated in a variety of visual electronics, notably new 3G portable communications devices,...

Tools for High Performance Computing: Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

Springer, 2008

With the advent of multi-core processors, implementing parallel programming methods in application development is absolutely necessary in order to achieve good performance. Soon, 8-core and possibly 16-core processors will be available, even for desktop machines. To support application developers in the various tasks involved in this process,...

Developing Your Intuition: A Guide to Reflective Practice (Center for Creative Leadership)

Pfeiffer, 2007

Leaders often have to make decisions without complete information, and those decisions are expected to be not only right but also timely. Using reflective techniques can help you learn to depend on your intuition for help in making good decisions quickly. Reflective practices may seem time-consuming at the beginning, but the time you put in on the...

Maintaining Team Performance (Center for Creative Leadership)

Pfeiffer, 2007

Between the time a team is launched and the time it delivers results, managers need to know that the team is on course. Whether they have launched a team to achieve a business objective or have inherited a team, they need to monitor effectiveness on an ongoing basis and make course corrections that keep small problems from becoming major...

Making Creativity Practical: Innovation That Gets Results (Center for Creative Leadership)

Pfeiffer, 2007

Creative solutions can be challenged and defended in the pursuit of profitability. But first, creativity must be demystified. A process that targets innovation provides leaders with just such a problem-solving approach. The goal is to produce high-quality ideas that are appropriate to the task—which means groups and organizations can...

Disappearing Cryptography, Second Edition - Information Hiding: Steganography and Watermarking

Morgan Kaufmann, 2002

"Disappearing Cryptography is a witty and entertaining look at the world of information hiding. Peter Wayner provides an intuitive perspective of the many techniques, applications, and research directions in the area of steganography. The sheer breadth of topics is outstanding and makes this book truly unique. A must read for...

Ad Hoc & Sensor Networks: Theory And Applications

World Scientific Publishing, 2006

This book introduces a new explanatory cross-layer model specifically designed to understand all aspects of ad hoc and sensor networking, from design through performance issues to application requirements. Future directions, challenges and potential simulation projects are also discussed. The topics included represent a significant portion of...

Logic in Computer Science: Modelling and Reasoning about Systems

Cambridge University Press, 1999

Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound...

ExamInsight For CompTIA Security+ Certification Exam SY0-101

Total Recall Publications, 2002

Part of the TotalRecall: IT Certification System Series, this new book fills the gap existing in the complete study aid material available for candidates preparing to set the CompTIA Security+ Exam. This book covers information associated with each exam topic in detail and includes information found in no other book. This manual is designed to...

Renaissance and Reformation: Biographies Edition 1.

Gale, 2002

"Biographies profiles more than 50 artists, writers, humanists, kings, queens, and religious leaders in three- to five- page essays and sidebars...The Saaris' Renaissance will be a top choice for student researchers, particularly those in need of primary-source materials." (School Library Journal )
...

Result Page: 530 529 528 527 526 525 524 523 522 521 520 519 518 517 516 515 514 513 512