Optical communications technology is growing increasingly in importance, with a rapid pace of development. Innovative optical devices have emerged from the integration of semiconductor laser diodes, amplifiers and filters with optical waveguide technology. This well-researched volume traces the evolution of semiconductor laser amplifiers...

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a...

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although...

"Classical and Object-Oriented Software Engineering, 7/E" presents an excellent introduction to software engineering fundamentals, covering both traditional and object-oriented techniques. The coverage of both Agile processes and Open Source Software has been considerably expanded. In addition, the Osbert Oglesby running case study...

The design of interactive applications or presentations on small screens can be challenging for the designer. Not all design concepts that are valid on larger screens can be implemented on the small screen. A multitude of different devices with dissimilar technical specifications fall under the category of small- screen interfaces. Devices in...