Cărți de Laurent Fribourg

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Lecture Notes in Computer Science, nr. 2142

Editat de Laurent Fribourg

29 aug 2001

Preț: 656^.33 lei 820^.41 lei

6-8 săpt.

-20%

Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings

Lecture Notes in Computer Science, nr. 883

Editat de Laurent Fribourg et al.

30 noi 1994

Preț: 327^.84 lei 409^.80 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8053

Editat de Víctor Braberman et al.

8 aug 2013

Preț: 292^.88 lei 366^.11 lei

6-8 săpt.

-20%

Control of Switching Systems by Invariance Analysis

Autor Laurent Fribourg et al.

22 iul 2013

Preț: 803^.06 lei 1225^.17 lei

Indisponibil temporar

-34%