Software Engineering books

This volume looks at the many ways and spheres in which the technology behind the creation of 3D virtual environments...  Read More >>

 Read More >>

Offers an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. This book...  Read More >>

 Read More >>

Demonstrates how category theory can be used for formal software development.  Read More >>

 Read More >>

 Read More >>

 Read More >>

Mathematical and Computer Programming Techniques for Computer Graphics introduces the mathematics and related computer...  Read More >>

This work argues that usability engineering methods can only be regarded as integrated in the software development...  Read More >>

This book is a compilation of papers selected from the 8th annual conference on Human-Computer Interaction held...  Read More >>

“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and...  Read More >>

"""Vegan Bite by Bite"" serves as an essential roadmap to help a person change eating habits, and navigate the kitchen,...  Read More >>

Using the latest research and driven by practical experience from industry, this book gives useful hints to practitioners...  Read More >>

The 2010 International Conference on Web Information Systems and Mining (WISM 2010) was held October 23–24, 2010...  Read More >>

Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems,...  Read More >>

Constitutes the proceedings of the International Conference on ENTERprise information systems, held Viana do Castelo,...  Read More >>

Constitutes the proceedings of the International Conference on ENTERprise information systems, held Viana do Castelo,...  Read More >>

The LESS 2010 conference was the first scientific conference dedicated to advancing the “lean enterprise software...  Read More >>

Computing systems including hardware, software, communication, and networks are becoming increasingly large and...  Read More >>

Constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues...  Read More >>

How is it that one system is more effective, appealing, satisfying and/or more beautiful than another to its stakeholder...  Read More >>

 Read More >>

Constitutes the refereed proceedings of the 17th International Conference on Knowledge Engineering and Knowledge...  Read More >>

This survey of the impact of multicore and co-processor technologies on science as well as on large-scale interdisciplinary...  Read More >>