1. Page d’accueil
  2. Médias
  3. Livres
  4. The Programming and Proof System Ates: Advanced Techniques Integration into Efficient Scientific Software - Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont, O. Pirotte, A. Pucetti, J. Raguideau, A. Remouchamps et E. Ten Cate
  • #
  • #

The Programming and Proof System Ates: Advanced Techniques Integration into Efficient Scientific Software - Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont, O. Pirotte, A. Pucetti, J. Raguideau, A. Remouchamps et E. Ten Cate

6.64 EUR

Partager:

Produits connexes

Programming in Networks and Graphs: On the Combinatorial Background and Near-equivalence of Network Flow and Matching Algorithm

Programming in Networks and Graphs: On the Combinatorial Background and Near-equivalence of Network Flow and Matching Algorithm - Ulrich Derigs

5.57 EUR
The Programming Approach and the Demise of Economics: Selected Testimonies on the Epistemological 'Overturning' of Economic Theory

The Programming Approach and the Demise of Economics: Selected Testimonies on the Epistemological 'Overturning' of Economic Theory

97.92 EUR
The Synthesizer Mark Vail

The Synthesizer Mark Vail

55.45 EUR
Guttag, John V. Introduction To Computation And Programming Using Python

Guttag, John V. Introduction To Computation And Programming Using Python

39.10 EUR
McDowell, Gayle Laakmann Cracking The Coding Interview, 6th Edition: 189 Programming Questions And Solutions

McDowell, Gayle Laakmann Cracking The Coding Interview, 6th Edition: 189 Programming Questions And Solutions

29.16 EUR
Andrew Williams Building Cross-Platform Gui Applications With Fyne: Create Beautiful, Platform-Agnostic Graphical Applications Using Fyne And The Go Programming Language

Andrew Williams Building Cross-Platform Gui Applications With Fyne: Create Beautiful, Platform-Agnostic Graphical Applications Using Fyne And The Go Programming Language

0.00
Venkat Subramaniam Functional Programming In Java: Harness The Power Of Streams And Lambda Expressions

Venkat Subramaniam Functional Programming In Java: Harness The Power Of Streams And Lambda Expressions

38.68 EUR
Alan Zucconi Unity 5.X Shaders And Effects Cookbook: Master The Art Of Shader Programming To Bring Life To Your Unity Projects (English Edition)

Alan Zucconi Unity 5.X Shaders And Effects Cookbook: Master The Art Of Shader Programming To Bring Life To Your Unity Projects (English Edition)

1.83 EUR