Learn IT - Books tags formal

Java Demystified

McGraw-Hill, 2004

This book is for everyone who wants to learn the basics of the Java programming language without taking a formal course. This book also serves as a supplemental classroom text. For best results, you should start at the beginning of the book and go straight through.

If you are confident about your basic knowledge of...

Applied Public Key Infrastructure (Frontiers in Artificial Intelligence and Applications)

IOS Press, 2005

Over the past years, Public Key Infrastructure (PKI) technology has evolved and moved from the research laboratories to the mainstream, in which many organizations are now leveraging it as part of their core infrastructure system for providing and building security in their businesses. Understanding the challenges and requirements of PKI related...

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

Springer, 2004

This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004.

The 43 revised full papers presented together with an invited article were carefully reviewed and selected from 117 submissions. The papers address all current...

Real-Time Systems Design and Analysis

John Wiley & Sons, 2004

This book is an introduction to real-time systems. It is intended not as a cookbook,
but, rather, as a stimulus for thinking about hardware and software in a different
way. It is necessarily broader than deep. It is a survey book, designed to heighten
the reader’s awareness of real-time issues.

This book is the...

Essential ActionScript 2.0

O'Reilly, 2004

In Essential ActionScript 2.0, bestselling author Colin Moock covers everything you'll need to know about the new ActionScript language and its methodologies. Experienced Flash developers and programmers coming from other languages will enjoy the sheer depth of Moocks's coverage. Novice programmers will...

Mac OS X: The Complete Reference

McGraw-Hill, 2001

This book is complete: my checklists and FileMaker databases have cross-indexed features, preferences, and the applications that ship with Mac OS X, to make certain that everything shows up somewhere in the book. It has been revised against the second update—Mac OS X 10.0.2. We have tried to include screen shots of almost every feature,...

Thesis Projects: A Guide for Students in Computer Science and Information Systems

Springer, 2007

"The authors have written a short book for students doing final year projects in computer science and information systems. Because the authors are from Sweden, the details of the procedures and expectations will vary in other countries. However, in the hands of a discerning reader, this book could be useful at several levels, at many colleges...

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences

Springer, 2004

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims,...

Sarbanes-Oxley Internal Controls: Effective Auditing with AS5, CobiT, and ITIL

John Wiley & Sons, 2008

The passage of the Sarbanes-Oxley Act (SOx) in 2002 almost seems like distant history today. That legislation became effective after a series of accounting scandals led to the failure of several then major corporations, such as Enron and WorldCom, the conviction and imprisonment of multiple key executives, and the failure of the major public...

An Introduction to the Theory of Formal Languages and Automata

John Benjamins Publishing, 2008

In the latter half of the 1950’s, Noam Chomsky began to develop mathematical models for the description of natural languages. Two disciplines originated in his work and have grown to maturity. The first of these is the theory of formal grammars, a branch of mathematics which has proven to be of great interest to information and computer...

A Process Algebraic Approach to Software Architecture Design

Springer, 2009

The design and the verification of modern software applications requires the analysis of several different aspects, such as software correctness, quality of service, and security, and of the possible inter-relations among them. Process algebraic architectural languages and the related analysis techniques provide a formal paradigm that allows...

Parallel Complexity Theory (Research Notes in Theoretical Computers Science)

John Wiley & Sons, 1987

Parallel complexity theory, the study of resource-bounded parallel computation, is surely one of the fastest-growing areas of theoretical Computer Science. In the light of this, it would be foolish to attempt an encyclopedic coverage of the field. However, it is the belief of the author that its foundations are becoming increas ingly...

Result Page: 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28