Learn IT - Books tags specification

Concurrent, Real-Time and Distributed Programming in Java: Threads, RTSJ and RMI (Focus: Computer Science)

John Wiley & Sons, 2018

This book provides an introduction to concurrent, real-time, distributed programming with Java object-oriented language support as an algorithm description tool. It describes in particular the mechanisms of synchronization (cooperative and competitive) and sharing of data (internal class, static variables) between threads in Java. He...

Electrical and Electronic Principles and Technology, Third Edition

Newnes, 2007

An introductory textbook for students of electronics and electrical engineering

* New colour layout helps navigation and highlights key learning points, formulae and exercises
* 400 worked problems and over 1,300 questions, all with answers
* Fully up to date with the...

Multivariable Control Systems: An Engineering Approach (Advanced Textbooks in Control and Signal Processing)

Springer, 2003

Multivariable control techniques solve issues of complex specification and modelling errors elegantly but the complexity of the underlying mathematics is much higher than presented in traditional single-input, single-output control courses.

Multivariable Control Systems focuses on control...

Natural Language Annotation for Machine Learning

O'Reilly, 2012

This book is intended as a resource for people who are interested in using computers to help process natural language. A natural language refers to any language spoken by humans, either currently (e.g., English, Chinese, Spanish) or in the past (e.g., Latin, ancient Greek, Sanskrit). Annotation refers to the process...

DevOps for Developers

Apress, 2012

DevOps for Developers delivers a practical, thorough introduction to approaches, processes and tools to foster collaboration between software development and operations. Efforts of Agile software development often end at the transition phase from development to operations. This book covers the delivery of software, this means...

XPath 2.0 Programmer's Reference (Programmer to Programmer)

Wrox Press, 2004

From its origins as a sublanguage of XSLT, XPath has come into its own as a key element of XML. XPath 2.0 has emerged as a robust language twice the size of its predecessor, complex and capable of standing on its own.

This substantive volume, by the editor of the W3C® XSLT 2.0 specification, is the authoritative reference on XPath 2.0. It...

Objects, Components, and Frameworks with UML: The Catalysis(SM) Approach

Addison Wesley, 1998

". . . We found Catalysis to be the first comprehensive object-oriented methodology to unify the concepts of objects, frameworks, and component technologies."
John McGehee, Senior Architect, Texas Instruments Works Project

Objects, Components, and Frameworks with UML: The Catalysis Approach is where you will...

Real-Time Systems: Formal Specification and Automatic Verification

Cambridge University Press, 2008

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:...

Compiler Design: Syntactic and Semantic Analysis

Springer, 2013

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages. Additional...

Fundamentals of HVAC Control Systems: IP Edition Hardbound Book

Elsevier Limited, 2008

McDowall: Fundamentals of HVAC Systems (IP) (Jun 2006, ISBN-10/13: 0-12-372497-X/ 978-0-12-372497-7)

A hard copy companion to the eLearning course that serves as a practical guide to the principles and characteristics of controls, and how to apply them in the use, selection, specification and design of controls systems. ...

Temporal Logic for Real-Time Systems (Advanced Software Development Series)

John Wiley & Sons, 1989

This monograph presents a framework for modelling, specifying and verifying systems composed of real-time discrete event processes. A discrete event system consists of the plant (the object to be controlled) and a controller. For example, the plant might consist of machines, robots and conveyors on the factory floor. The objective of...

Internet-based Control Systems: Design and Applications (Advances in Industrial Control)

Springer, 2011

The Internet plays a significant and growing role in real-time industrial manufacturing, scheduling and management. A considerable research effort has led to the development of new technologies that make it possible to use the Internet for supervision and control of industrial processes.

Internet-based Control Systems...

Result Page: 43 42 41 40 39 38 37 36 35 34