Electronic Books

Total Books: 381 - 400 /687

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

Mac OS X Leopard : Beyond the Manual

Good computer books make assumptions about the reader: what they do and don't know when they pick up the book, and what ...

Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...

Managed Software Evolution

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...

Managing Development and Application of Digital Technologies

Digital technology determines today’s world and will be one of the key technologies of the future. Successful technology ...

Managing Humans

Managing Humans is a selection of the best essays from Michael Lopp's web site, Rands in Repose. Drawing on Lopp's management ...

Managing Humans : More Biting and Humorous Tales of a Software Engineering Manage / Michael Lopp

Expands on the previous editions’ explorations of management essentials including handling stress, building diverse teams, ...

Map-based Mobile Services : Design, Interaction and Usability

It addresses methods and techniques for topics that range from design and rendering, context modelling, personalisation, ...

Mathematical Approaches to Software Quality

This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...

Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

Maturing Usability : Quality in Software, Interaction and Value

Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, ...

Microprocessor 1: Prolegomena - Calculation and Storage Functions - Models of Computation and Computer Architecture / Philippe Darche

Presents the computation function, recalls the memory function and clarifies the concepts of computational models and architecture. ...

Microprocessor 2: Communication in a Digital System / Philippe Darche

Focuses more particularly on the first generations of microprocessors, that is to say those that handle integers in 4 and ...

Microprocessor 3: Core Concepts - Hardware Aspects / Philippe Darche

Calculation is the main function of a computer. The central unit is responsible for executing the programs. The microprocessor ...

Microprocessor 4: Core Concepts - Software Aspects / Philippe Darche

Addresses the software aspects of this component. Coding of an instruction, addressing modes and the main features of the ...

Microsoft Visual C# Step by Step / John Sharp

Guide to Microsoft Visual C# fundamentals with Visual Studio. Expand your expertiseand teach yourself the fundamentals of ...

Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...

Model Checking Software (vol. # 3925)

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

Model Driven Architecture

Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software ...

Total Books: 381 - 400 /687