Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in several re...
Proceedings of the Information Symposium in the EEC Programmein Climatology held in Mytilene, G...
The CLimatoLogy Research Programme of the Commi ssion of the European Communities started in 1980...
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engi...
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in ...
This volume constitutes the proceedings of the Second International Conference on Reliability, Sa...
This volume was published in honor of Stefania Gnesi¿s 65th birthday. The Festschrift volume cont...
This volume collects contributions from speakers at the INdAM Workshop 'Birational Geometry and M...
This book provides a general overview and current state of the art of different types of metal ox...
Proceedings of a Symposium Organized by the Commission of theEuropean Communities, Directorate-...
Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in several re...
The book is an excellent compilation of modern views not only on European but on global climate -...