Mathématiques pour l'informatique et Mathématiques - Page 4 - préparations aux examens. Livres à acheter sur decitre.fr

Cours d'informatique. Option informatique en classe de MPSI L1 d'informatique
2e édition

Denis Monasse

31,18 €

integer programming

michele conforti

29,10 €

Techniques for Building Timing-predictable Embedded Systems

Nan Guan

Grand Format

106,99 €

Photogrammetric Computer Vision

Wolfgang Förstner, Bernhard P. Wrobel

85,59 €

Essentials of Programming in Mathematica

Paul-R Wellin

56,50 €

Isogeometric Methods for numerical Simulation

Gernot Beer

106,99 €

Handbook of Satisfiability

Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh

224,54 €

$A Logical Approach to Discrete Math$

A Logical Approach to Discrete Math

David Gries, Fred-B Schneider

67,40 €

Big Practical Guide to Computer Simulations
2nd edition

Alexander-K Hartmann

Grand Format

65,70 €

Co-Clustering. Models, Algorithms and Applications

Gérard Govaert, Mohamed Nadif

182,80 €

Mathematics++. Selected Topics Beyond the Basic Courses

Ida Kantor, Jiri Matousek, Robert Samal

Grand Format

65,00 €

Verification, Model Checking, and Abstract Interpretation

Xavier Rival

72,80 €

Compiler Construction

Albert Cohen

52,00 €

Informatique mathématique. Une photographie en 2013

Philippe Langlois

22,00 €

Verification, Model Checking, and Abstract Interpretation

Josh Berdine

72,80 €

Languages and Compilers for Parallel Computing

Keiji Kimura

47,80 €

Computer Aided Verification

Helmut Veith

115,40 €

Compiler Construction

Michael O'Boyle

53,49 €

Computer Aided Verification

Sanjit A. Seshia

93,09 €

Learning to Rank for Information Retrieval

Tie-Yan Liu

107,00 €

The Annotated Turing. A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

Charles Petzold

Grand Format

29,00 €

Linear and Nonlinear Programming
3rd edition

David G. Luenberger, Yinyu Ye

41,60 €

Algorithmic Topology and Classification of 3-Manifolds

Sergei Matveev

65,80 €

Verification, Model Checking, and Abstract Interpretation

Ranjit Jhala

85,59 €

Compiler Construction

Jens Knoop

74,89 €

Verification, Model Checking, and Abstract Interpretation

Viktor Kuncak

74,89 €

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe

96,29 €

Computer Aided Verification

Byron Cook

128,39 €

Unfoldings. A Partial-Order Approach to Model Checking

José Javier Esparza, Keijo Heljanko

Grand Format

129,99 €

Computational Science and Engineering

Gilbert Strang

Grand Format

97,00 €

Numerical Recipes. The Art of Scientific Computing
3rd edition

William H. Press, Saul A. Teukolsky, William T. Vetterling, Brian P. Flannery

Grand Format

123,50 €

Elements of Information Theory
2e édition

Thomas-M Cover

102,14 €

Multidimensional Diffusion Processes

Daniel W. Stroock, S. R. Srinivasa Varadhan

53,45 €

The Limits of Mathematics

Gregory-J Chaitin

74,30 €

Multiple View Geometry in Computer Vision
2nd edition

Richard Hartley, Andrew Zisserman

Grand Format

182,60 €

Computational Algebraic Geometry

Hal Schenck

Grand Format

37,49 €

Mathématiques pour l'informatique