As the first book about software culture, this book discusses software culture from three perspec...

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was i...

As the first book about software culture, this book discusses software culture from three perspec...

Server scalability can be greatly enhanced with hybrid data dissemination that combines multicast...

This book constitutes the proceedings of the 7th International Symposium on Dependable Software E...

The two-volume set CCIS 1712 and 1713 constitutes the proceedings of the 21st Asian Simulation Co...

The two-volume set CCIS 1712 and 1713 constitutes the proceedings of the 21st Asian Simulation Co...

This open access book covers emerging opportunities and future use of nanotechnology in construct...

This open access book covers emerging opportunities and future use of nanotechnology in construct...