Learn IT - Books tags formal

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

Great People Decisions: Why They Matter So Much, Why They are So Hard, and How You Can Master Them

John Wiley & Sons, 2007

Great organizations are made up of great people. And for leaders at all levels within those organizations, the ability to find, hire, integrate, and retain great people is an absolutely critical skill—critical to their organization's success, and critical to their own success.

But for most people, making great appointments is difficult,...

A Second Course in Formal Languages and Automata Theory

Cambridge University Press, 2008

Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and...

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