Nonfiction

Code Generation for Embedded Processors

by Peter Marwedel

Digital Watermarking

by Ton Kalker

Generic Model Management

by Sergey Melnik

E-Commerce and Web Technologies

by Kurt Bauknecht

Grid and Cooperative Computing - GCC 2004 Workshops

by Hai Jin

Logic Programming and Nonmonotonic Reasoning

by Vladimir Lifschitz

Verification

by Nachum Dershowitz

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

by Yassine Lakhnech

Databases in Networked Information Systems

by Nadia Bianchi-Berthouze

Agent-Oriented Software Engineering IV

by Paolo Giorgini

Foundations of Security Analysis and Design II

by Riccardo Focardi

Performance Tools and Applications to Networked Systems

by Maria Carla Calzarossa

Advances in Cryptology – EUROCRYPT 2004

by Christian Cachin

Computational Science - ICCS 2004

by Marian Bubak

Computational Science and Its Applications - ICCSA 2004

by Antonio Laganà

ECOOP 2004 - Object-Oriented Programming

by Martin Odersky