Electronic Books

Total Books: 21 - 28 /28
978-3-540-73210-5
Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

Continue reading
978-3-540-40928-1
Modular Programming Languages

On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...

Continue reading
978-3-540-47853-9
Object-Oriented Technology

For the ?fth time in its history, in cooperation with Springer-Verlag, the European C- ference on Object-Oriented Programming ...

Continue reading
978-3-540-31659-6
Quality of Service – IWQoS 2005

. T- ditionally very focused on the area of networking, it has grown to include mobile applications, wireless environments, ...

Continue reading
978-3-540-34607-4
Reuse of Off-the-Shelf Components

Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...

Continue reading
978-3-540-32294-8
Service-Oriented Computing – ICSOC 2005

The 2005 edition had the important and ambitious goal of bringing together the different communities working in Web services ...

Continue reading
978-3-540-69272-0
Software Architecture (vol. # 4344)

This book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...

Continue reading
978-3-540-77619-2
Software Architectures, Components, and Applications

Researchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International ...

Continue reading
Total Books: 21 - 28 /28