Formal description of programming concepts
/ Erich J. Neuhold ; Manfred Paul (eds.). With contributions by K. R. Apt .... - Berlin : Springer, 1991. - VI, 507 S.; 24 cm - (State-of-the-art reports / IFIP)
ISBN 978-3-540-53961-2 / 3-540-53961-1 Pp. : DM 88.00
Literaturangaben
Quelle: DNB
New trends in constraints
: joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 1999 ; selected papers / K. R. Apt ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1865 : Lecture notes in artificial intelligence)
ISBN 978-3-540-44654-5
Lizenzpflichtig
Quelle: DNB
Recent advances in constraints
: selected papers / Joint ERCIM/CoLog Net International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Krysztof R. Apt ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 3010 : Lecture notes in artificial intelligence)
ISBN 978-3-540-24662-6
Lizenzpflichtig
Quelle: DNB