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

Où acheter (1) Caractéristiques

Sponsorisé

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

ammareal.fr
Produit utilisé

6.64 EUR

Prix mis à jour le: 19-11-2025 21:17:05

Voir l'offre

Général

Marque

Springer

Caractéristiques

Produits similaires

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

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

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

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

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

The Synthesizer Mark Vail

The Synthesizer Mark Vail

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

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