Filtre: Springer Berlin, Heidelberg

Lecture Notes in Computer Science

Conclog: A Methodological Approach to Concurrent Logic Programming

Lecture Notes in Computer Science, nr. 556

Autor Jean-Marie Jacquet

27 noi 1991

Preț: 644^.45 lei 805^.57 lei

6-8 săpt.

-20%

The Nested Universal Relation Database Model

Lecture Notes in Computer Science, nr. 595

Autor Mark Levene

20 mai 1992

Preț: 315^.62 lei 394^.52 lei

6-8 săpt.

-20%

Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

Lecture Notes in Computer Science, nr. 755

Editat de Bernhard Möller et al.

29 noi 1993

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Lecture Notes in Computer Science, nr. 827

Editat de Dov M. Gabbay et al.

29 iun 1994

Preț: 633^.38 lei 791^.72 lei

6-8 săpt.

-20%