Electronic Books

Total Books: 3921 - 3940 /4667
978-3-540-88030-1
Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings

This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...

Continue reading
978-3-540-77351-1
Software Composition

On behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition ...

Continue reading
978-3-540-28749-0
Software Composition (vol. # 3628)

Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These ...

Continue reading
978-3-540-37659-0
Software Composition (vol. # 4089)

This LNCS volume contains the proceedings of the 5th International S- posium on Software Composition, which was held as a ...

Continue reading
978-3-540-78789-1
Software Composition : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

The goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...

Continue reading
978-0-387-39388-9
Software Engineering Techniques: Design for Quality

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Continue reading
978-3-030-77442-4
Software Engineering and Algorithms

This book constitutes the refereed proceedings of the Software Engineering and Algorithms section of the 10th Computer Science ...

Continue reading
978-3-030-58768-0
Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

Continue reading
978-3-540-73131-3
Software Engineering for Multi-Agent Systems V

Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...

Continue reading
978-3-540-70560-4
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

The 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed ...

Continue reading
978-3-030-67008-5
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing / Roger Lee, Jong Bae Kim

Presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, ...

Continue reading
978-3-540-76440-3
Software Evolution

This book focus on novel trends in software evolution research and its relations with other emerging disciplines such as ...

Continue reading
978-3-540-71649-5
Software Measurement

In this volume, Ebert and Dumke provide a comprehensive introduction to software measurement. They detail knowledge and experiences ...

Continue reading
1786304589
Software Networks: Virtualization, SDN, 5G, and Security, 2nd Edition / Guy Pujolle

Describes how to create and delete virtual networks on the fly. Indeed, the system is able to create any new network with ...

Continue reading
978-3-540-85553-8
Software Process and Product Measurement : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers

The book deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, ...

Continue reading
978-3-030-52991-8
Software Technologies

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...

Continue reading
978-3-540-87785-1
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...

Continue reading
978-3-030-63618-0
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...

Continue reading
978-0-387-47939-2
Software Verification and Validation

Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...

Continue reading
978-3-540-70621-2
Software and Data Technologies : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers

This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...

Continue reading
Total Books: 3921 - 3940 /4667