Learn IT - Books tags specification

Simulation-Based Algorithms for Markov Decision Processes (Communications and Control Engineering)

Springer, 2013

Markov decision process (MDP) models are widely used for modeling sequential decision-making problems that arise in engineering, economics, computer science, and the social sciences. Many real-world problems modeled by MDPs have huge state and/or action spaces, giving an opening to the curse of dimensionality and so making practical...

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Springer, 2007

ETAPS 2007 is the tenth instance of the European Joint Conferences on Theory and Practice of Software, and thus a cause for celebration.

The events that comprise ETAPS address various aspects of the system development process, including specification, design, implementation, analysis and...

Dependency Injection

Manning Publications, 2009

Dependency Injection is an in-depth guide to the current best practices for using the Dependency Injection pattern-the key concept in Spring and the rapidly-growing Google Guice. It explores Dependency Injection, sometimes called Inversion of Control, in fine detail with numerous practical examples. Developers will learn to apply important...

Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Oxford University Press, 2005

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a...

HTML5 Geolocation

O'Reilly, 2011

This book explores the W3C Geolocation API, a specification that provides scripted access to geographical location information associated with a hosted device.* This API defines objects that can be used in JavaScript to ascertain the position of the device on which the code is executed.

Truly revolutionary: now...

Practical C++ Design: From Programming to Architecture

Apress, 2017

Go from competent C++ developer to skilled designer or architect using this book as your C++ design master class. This title will guide you through the design and implementation of a fun, engaging case study. Starting with a quick exploration of the requirements for building the application, you'll delve into selecting an...

The Definitive Guide to JSF in Java EE 8: Building Web Applications with JavaServer Faces

Apress, 2018

Learn and master the new features in the JSF 2.3 MVC web framework in this definitive guide written by two of the JavaServer Faces (JSF) specification leads. The authors take you through real-world examples that demonstrate how these new features are used with other APIs in Java EE 8. You’ll see the new and exciting ways...

Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution

Engineering Science Reference, 2010

The software industry has evolved to tackle new approaches aligned with the Internet, object-orientation, distributed components and new platforms. However, the majority of the large information systems running today in many organizations were developed many years ago with technologies that are now obsolete. These old systems, known as legacy...

HTML5 Guidelines for Web Developers

Addison Wesley, 2011

In 2010, HTML5 became the buzzword on the web developer scene. Large companies, such as Google, Apple, and Microsoft, began to use the new technology. The popularity of the catchword HTML5 grew, not least of all because of the heated debate between Apple and Adobe over whether this would mean the end of Flash.

In this book,...

Software Product Quality Control

Springer, 2013

Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even if you get it right and complete, you can be sure that it will become invalid over...

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

Java EE 8 Cookbook: Build reliable applications with the most robust and mature technology for enterprise development

Packt Publishing, 2018

A practical guide for building effective enterprise solutions with Java EE 8

Key Features

Recipes to get you up-and-running with Java EE 8 application development

Learn how to apply the major Java EE 8 APIs and specifications

Implement microservices and...

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