Electronic Books

Total Books: 41 - 60 /116

Addresses all necessary organization and architecture topics, but concise enough to be appropriate for a single-term course. ...

This book starts by reintroducing the database as a integral part of the software development ecosystem. You'll learn how ...

Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...

In its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...

The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Java design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...

This book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008.UNISCON ...

Provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming ...

Combines clear explanations of data structure and algorithm theory with practical code samples, examples and exercises, all ...

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

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

This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, ...

This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...

Total Books: 41 - 60 /116