Cărți de Freek Wiedijk

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6898

Editat de Marko Van Eekelen et al.

2 aug 2011

Preț: 326^.71 lei 408^.39 lei

6-8 săpt.

-20%

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5144

Editat de Serge Autexier et al.

16 iul 2008

Preț: 337^.03 lei 421^.28 lei

6-8 săpt.

-20%

The Seventeen Provers of the World: Foreword by Dana S. Scott

Lecture Notes in Computer Science, nr. 3600

Editat de Freek Wiedijk

3 feb 2006

Preț: 342^.50 lei 428^.13 lei

6-8 săpt.

-20%

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Lecture Notes in Computer Science, nr. 2646

Editat de Herman Geuvers et al.

28 apr 2003

Preț: 322^.12 lei 402^.65 lei

6-8 săpt.

-20%

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Lecture Notes in Computer Science, nr. 2623

Editat de Freek Wiedijk et al.

18 mar 2003

Preț: 634^.22 lei 792^.78 lei

6-8 săpt.

-20%

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 14560

Editat de Venanzio Capretta et al.

24 mai 2024

Preț: 732^.92 lei 916^.16 lei

Indisponibil temporar

-20%