Recent Advances in ConstraintsKrzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef VánczaHäftad555 kr
Recent Advances in ConstraintsFrancisco Azevedo, Pedro Barahona, Francois Fages, Francesca RossiHäftad555 kr
Journal on Data Semantics IXStefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya ZaihrayeuHäftad555 kr
Recent Advances in ConstraintsBrahim Hnich, Mats Carlsson, Francois Fages, Francesca RossiHäftad555 kr
Journal on Data Semantics VIIIStefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya ZaihrayeuHäftad555 kr
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger OlderogHäftad883 kr