Cărți de Maurice Nivat

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Lecture Notes in Computer Science, nr. 1378

Editat de Maurice Nivat

11 mar 1998

Preț: 333^.04 lei 416^.30 lei

6-8 săpt.

-20%

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

Lecture Notes in Computer Science, nr. 1101

Editat de Martin Wirsing et al.

19 iun 1996

Preț: 663^.45 lei 829^.32 lei

6-8 săpt.

-20%

Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

Lecture Notes in Computer Science, nr. 936

Editat de V.S. Alagar et al.

21 mai 1995

Preț: 661^.14 lei 826^.42 lei

6-8 săpt.

-20%

Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

Workshops in Computing

Editat de Maurice Nivat et al.

17 dec 1993

Preț: 339^.34 lei 424^.17 lei

6-8 săpt.

-20%

Parallel Image Analysis: Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings

Lecture Notes in Computer Science, nr. 654

Editat de Akira Nakamura et al.

2 dec 1992

Preț: 389^.88 lei

6-8 săpt.

CAAP '88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings

Lecture Notes in Computer Science, nr. 299

Editat de Max Dauchet et al.

9 mar 1988

Preț: 333^.40 lei 416^.75 lei

6-8 săpt.

-20%

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Lecture Notes in Computer Science, nr. 185

Editat de Hartmut Ehrig et al.

mar 1985

Preț: 367^.79 lei 459^.74 lei

6-8 săpt.

-20%

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE)

Lecture Notes in Computer Science, nr. 186

Editat de Hartmut Ehrig et al.

mar 1985

Preț: 426^.68 lei 533^.35 lei

6-8 săpt.

-20%