Mirroring the latest developments in materials, methods, codes, and standards in building and bridge design, this is a one-of-a-kind, definitive reference for engineers.
This chapter presents and discusses the properties of structural steels that are of importance in design
and construction. Designers should be familiar with...
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.
Java EE 6, the latest version of the Java EE specification, adds several new features
to simplify enterprise application development. New versions of existing Java EE
APIs have been included in this latest version of Java EE. JSF 2.0 greatly simplifies
web application development. JPA 2.0 features a new criteria API and several other...
This volume contains the proceedings of the 17th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS
2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011,
as part of the 14th European Joint Conferences on Theory and Practice of Software
(ETAPS 2011), whose...
Faced with the steadily increasing complexity and rapidly shortening timeto-
market requirements designing electronic systems is a very challenging task.
To manage this situation effectively the level of abstraction in modeling has
been raised during the past years in the computer aided design community.
Meanwhile, for the so-called...
The purpose of this book is to provide a practical approach to managing security in
FPGA designs for researchers and practitioners in the electronic design automation
(EDA) and FPGA communities, including corporations, industrial and government
research labs, and academics. This book combines theoretical underpinnings with
a practical...
Dennis Ritchie at AT&T Bell Laboratories pioneered the C programming language in
the early 1970s. However, this programming language did not begin to gain widespread
popularity and support until the late 1970s.This was because, until that time, C compilers
were not readily available for commercial use outside of Bell Laboratories....
Cascading Style Sheets (CSS) is the W3C standard for the visual
presentation of web pages (although it can be used in other
settings as well). After a short introduction to the key concepts
of CSS, this pocket reference provides an alphabetical reference
to all CSS3 selectors, followed by an alphabetical reference to...
FASE (Fundamental Approaches to Software Engineering) is concerned with the foundations on which software engineering is built. Its focus is on novel techniques and the way in which they contribute to making software engineering a more mature and soundly based discipline. This year, we particularly encouraged contributions that combine the...
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...
The primary aim of this book is to make the principles of program derivation
from specifications accessible to undergraduates early in their study of
computing science.
The proliferation of personal computers in the home and in schools
has meant that there are large numbers of people who have had exposure to
using computers...
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.
