Electronic Books

Total Books: 1 - 20 /26

A Practical Theory of Reactive Systems

A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...

Advances in Smaltalk

This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.

Advances in Smaltalk

This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.

Building Spring 2 Enterprise Applications

This book covers the first steps of using Spring while discussing the relevant technologies that Spring can be integrated ...

Coordination Models and Languages (vol. # 3454)

This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...

ECOOP 2005 - Object-Oriented Programming

The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...

ECOOP 2006 - Object-Oriented Programming

This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...

ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

Foundations of AOP for J2EE Development

Foundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriented programming, or AOP. ...

Generative and Transformational Techniques in Software Engineering

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...

Google Guice: Agile Lightweight Dependency Injection Framework

Guice (pronounced “Juice”) is the Jolt Award-winning, 100% Java icing on the cake of Java dependency injection. Unlike ...

Middleware 2007

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held ...

Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...

On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS

Constitutes the proceedings of the 5 confederated international conferences on Cooperative Information Systems, Distributed ...

On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS

This two-volume set LNCS 4803/4804 constitutes the refereed proceedings of the five confederated international conferences ...

On the Move to Meaningful Internet Systems: OTM 2008 : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I

This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...

On the Move to Meaningful Internet Systems: OTM 2008 : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II

This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...

Processes, Terms and Cycles: Steps on the Road to Infinity

Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...

Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

Total Books: 1 - 20 /26