Learn IT - Books tags formal

Unleashing Your Leadership Potential: Seven Strategies for Success

Rowman & Littlefield Publishers, 2009

Unleashing Your Leadership Potential provides the means to unleash the unique capital of leadership inherent in each of us, making it possible for teams, organizations, and society to improve the lives of others while we improve our own. Luc's leadership model is based on case studies and interviews with leaders, providing insights...

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Springer, 2018

This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide...

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury

Springer, 2004

The fourth conference in the series of international meetings on Integrated Formal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent.

Kent is...

Information Graphics: A Comprehensive Illustrated Reference

Oxford University Press, 1996

This book addresses charts, graphs, maps, diagrams, and tables used in all areas; however, its major focus is on their uses for operational purposes.

To many people, information graphics are the images frequently used in presentations at formal meetings or the stylized charts and graphs used in newspapers and magazines.

...

Drupal for Education and E-Learning - Second Edition

Packt Publishing, 2013

You don't need to be a techie to build a community-based website for your school. With this guide to Drupal you'll be able to create an online learning and sharing space for your students and colleagues, quickly and easily.

Overview

Create a powerful tool for communication among teachers,...

Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers

Springer, 2007

This book constitutes the thoroughly refereed post-proceedings of the Joint Chinese-German Workshop on Cognitive Systems held in Shanghai in March 2005.

The 13 revised papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The workshop served to present the current state of the art in the new...

Unifying Theories of Programming: Third International Symposium

Springer, 2010

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010. The 12 revised full papers presented together with 3 invited talks were...

Elementary Computability, Formal Languages, and Automata

Prentice Hall, 1981

This book is an introduction to theoretical computer science emphasizing two interrelated areas: the theory of computability {how to tell whether problems are algorithmically solvable) and the theory of formal languages (how to design and use special languages, as for algorithms). Automata {idealized computer devices) are used as precise...

ColdFusion MX Developer's Cookbook (Developer's Library)

Sams Publishing, 2003

ColdFusion is a rapid application development tool used to create Web sites throughout the Internet. The product's ease of use and capabilities allow even inexperienced developers to rapidly produce basic Web sites.

The ColdFusion MX Developer's Cookbook focuses upon teaching the use of ColdFusion's advanced features in the development of more...

Software Reliability Methods (Texts in Computer Science)

Springer, 2001

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software...

XQuery from the Experts: A Guide to the W3C XML Query Language

Addison Wesley, 2003

"The individual perspectives on the concepts behind the XQuery language offered by XQuery from the Experts will be of great value to those who are seeking to understand the implications, opportunities, and challenges of XQuery as they design future information systems based on XML."
—Michael Champion,...

Grammatical Picture Generation: A Tree-Based Approach

Springer, 2006

This book introduces the reader to the notions, the techniques, and the theory of grammatical picture generation, a research field focusing on formal systems that describe sets of pictures by means of syntactic rules. The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, the...

Result Page: 58 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41