Learn IT - Books tags formal

The SAGE Encyclopedia of Trans Studies

Sage Publications, 2021

Transgender studies, broadly defined, has become increasingly prominent as a field of study over the past several decades, particularly in the last ten years. The experiences and rights of trans people have also increasingly become the subject of news coverage, such as the ability of trans people to access restrooms, their...

Project Management for Modern Information Systems

IRM Press, 2005

In the past, project success has been defined too narrowly as simply meeting time and cost constraints for a given scope of work. However, in order for an IT project to be completely successful that basic definition of success needs to be extended to include meeting return on investment expectations, product quality, stakeholder satisfaction,...

Analyzing Computer Systems Performance: With Perl: PDQ

Springer, 2005

Analyzing computer system performance is often regarded by most system administrators, IT professionals and software engineers as a black art that is too time consuming to learn and apply. Finally, this book by acclaimed performance analyst Dr. Neil Gunther makes this subject understandable and applicable through programmatic examples. The means...

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press, 2007

Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP,...

Handbook of Enterprise Systems Architecture in Practice

IGI Global, 2007

I am not sure exactly when the importance of enterprise architecture (EA) dawned on me. What is clear is that it wasn’t a “one fine day” realization, rather a result of numerous conversations with CIOs, IT managers, CFOs, process managers, and multiple research studies that convinced me that EA is perhaps the most important and...

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

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