Learn IT - Books tags formal

Principles of Concurrent and Distributed Programming (2nd Edition) (Prentice-Hall International Series in Computer Science)

Addison Wesley, 2006

Software today is inherently concurrent or distributed – from event-based GUI designs to operating and real-time systems to Internet applications. The new edition of this classic introduction to concurrency has been completely revised in view of the growing importance of concurrency

constructs...

Software Engineering for Image Processing Systems (Image Processing Series)

CRC Press, 2003

This book is not intended to be a traditional software engineering text — there are many good ones. Instead, it is designed specifically for those involved in image processing systems. It provides a modern engineering framework for the specification, design, coding, testing, and maintenance of image processing software and...

Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL'03

Springer, 1996

Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving...

Algorithms

McGraw-Hill, 2006

This text, extensively class-tested over a decade at UC Berkeley and UC San Diego, explains the fundamentals of algorithms in a story line that makes the material enjoyable and easy to digest. Emphasis is placed on understanding the crisp mathematical idea behind each algorithm, in a manner that is intuitive and rigorous without being unduly...

Advances in Chemical Physics: Modern Nonlinear Optics, Volume 119, Part 2, 2nd Edition

John Wiley & Sons, 2001

The new edition will provide the sole comprehensive resource available for non-linear optics, including detailed descriptions of the advances over the last decade from world-renowned experts.

This volume, produced in three parts, is the Second Edition of Volume 85 of the series, Modern Nonlinear Optics, edited by M.W. Evans and S....

Current Issues in School Leadership

Lawrence Erlbaum Associates, 2004

What is an "issue"? An issue derives from tension, or cognitive dissonance. Research or law may be reasonably clear on something but different collections of people—a community, a pressure group, political blocs, academicians—take a position contrary to the research or current practice. Or, there may be insufficient research...

Ontologies with Python: Programming OWL 2.0 Ontologies with Python and Owlready2

Apress, 2020

For the past ten years, formal ontologies have become widely used in computer science to structure data and knowledge. In parallel, the Python programming language has become more and more widespread in teaching, business, and research. However, until recently, there were very few tools and resources dedicated to the use of...

Encyclopedia of Parallel Computing

Springer, 2012

Parallelism, the capability of a computer to execute operations concurrently, has been a constant throughout the history of computing. It impacts hardware, software, theory, and applications. The fastest machines of the past few decades, the supercomputers, owe their performance advantage to parallelism. Today, physical limitations...

Concepts and Fuzzy Logic

MIT Press, 2011

The classical view of concepts in psychology was challenged in the 1970s when experimental evidence showed that concept categories are graded and thus cannot be represented adequately by classical sets. The possibility of using fuzzy set theory and fuzzy logic for representing and dealing with concepts was recognized initially but then...

Managing Successful IT Outsourcing Relationships

IRM Press, 2005

Even though the IT outsourcing market has grown tremendously over the past years, many organizations do not have a reflective understanding of the complex process of IT outsourcing. The process does affect both technological and business goals and activities, and companies must establish both strategies and structures adjusted to their degree of...

Intelligent Data Mining: Techniques and Applications (Studies in Computational Intelligence)

Springer, 2005

"Intelligent Data Mining – Techniques and Applications" is an organized edited collection of contributed chapters covering basic knowledge for intelligent systems and data mining, applications in economic and management, industrial engineering and other related industrial applications. The main objective of this book is to gather a...

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

Springer, 2006

From the reviews:

"The book under review is the first one from a series of three volumes that provides a compelling framework for a more comprehensive understanding of both formal and practical concerns of software engineering. The major feature distinguishing these textbooks from other current ones is the natural manner in which...

Result Page: 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14