Passer au contenu principal Passer au contenu du pied de page

Thinking Programs: Logical Modeling And Reasoning About Languages, Data, Computations, And Executions

Wolfgang Schreiner

23 octobre 2021

160,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 805 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

636

Texts And Monographs In Symbolic Computation

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783030805067

Exploring Mathematics: Problem-solving And Proof

Daniel Grieser Couverture souple
65,95 $
New Trends In Applied Harmonic Analysis: Sparse Representations, Compressed Sensing, And Multifractal Analysis

Akram ALDROUBI Couverture souple
204,50 $
3 formats offerts
Computer Intensive Statistical Methods: Validation, Model Selection, And Bootstrap

J. S. Urban. Hjorth Couverture souple
115,50 $
2 formats offerts
An Introduction To Viscosity Solutions for Fully Nonlinear PDE with Applications to Calculus of Variations in L

Nikos Katzourakis Couverture souple
102,50 $
2 formats offerts
Advances In Computational And Bio-engineering: Proceeding Of The International Conference On Computational And Bio Engineering, 2019, Volume 1

S. Jyothi Couverture souple
321,50 $
A Concise Approach to Mathematical Analysis

Mangatiana A. Robdera Couverture souple
94,95 $
Finite Element Analysis Of Composite Materials Using Ansys®

Ever J. Barbero Couverture rigide
203,00 $
2 formats offerts
Advanced Calculus: An Introduction To Modern Analysis

William L. Voxman Couverture souple
122,95 $
3 formats offerts
Tree-based Graph Partitioning Constraint

Xavier Lorca Couverture rigide
217,95 $
2 formats offerts
Advanced Mathematical And Computational Tools In Metrology And Testing Xii

Franco Pavese Couverture rigide
259,95 $
2 formats offerts
Bioinformatics Methods: From Omics To Next Generation Sequencing

Shili Lin Couverture rigide
177,95 $
2 formats offerts
Theory Of Modeling And Simulation: Discrete Event And Iterative System Computational Foundations

Bernard P. Zeigler Couverture souple
185,50 $
3 formats offerts
Your Essential Guide to Quantitative Hedge Fund Investing

Marat Molyboga Couverture souple
91,95 $
3 formats offerts
An Introduction to Numerical Methods: A MATLAB Approach

Abdelwahab Kharab Couverture souple
106,95 $
Variational Calculus with Engineering Applications

Constantin Udriste Couverture rigide
156,00 $
2 formats offerts
Spectral Methods: Algorithms, Analysis and Applications

Jie Shen Couverture souple
204,50 $
2 formats offerts
The Concepts and Practice of Mathematical Finance

Mark S. Joshi Couverture rigide
107,95 $
Advanced Calculus and its Applications in Variational Quantum Mechanics and Relativity Theory

Fabio Silva Botelho Couverture souple
102,50 $
2 formats offerts
Probabilistic And Combinatorial Techniques: Advanced Problem Solving

Couverture rigide
204,75 $
Surrogates: Gaussian Process Modeling, Design, And Optimization For The Applied Sciences

Robert B. Gramacy Couverture souple
81,50 $
3 formats offerts

Évaluation éditoriale

Auteur

An Introduction to Numerical Methods: A MATLAB Approach

Abdelwahab Kharab Couverture souple
106,95 $
Multi-objective Optimization Problems: Concepts And Self-adaptive Parameters With Mathematical And Engineering Applications

Fran Sérgio Lobato Couverture souple
87,95 $
2 formats offerts
Direct and Projective Limits of Geometric Banach Structures.

Patrick Cabau Couverture rigide
236,95 $
2 formats offerts
The LIMITS of MATHEMATICS: A Course on Information Theory and the Limits of Formal Reasoning

Gregory J Chaitin Couverture souple
129,95 $
2 formats offerts
Measurement Models for Psychological Attributes: Classical Test Theory, Factor Analysis, Item Response Theory, and Latent Class Models

Klaas Sijtsma Couverture souple
136,50 $
3 formats offerts
Theory Of Modeling And Simulation: Discrete Event And Iterative System Computational Foundations

Bernard P. Zeigler Couverture souple
185,50 $
3 formats offerts
Gabor Analysis and Algorithms: Theory and Applications

Hans G. Feichtinger Couverture souple
262,95 $
2 formats offerts
Modeling Change And Uncertainty: Machine Learning And Other Techniques

William P. Fox Couverture rigide
162,95 $
2 formats offerts
Advanced Mathematical And Computational Tools In Metrology And Testing Xii

Franco Pavese Couverture rigide
259,95 $
2 formats offerts
Abstract Calculus: A Categorical Approach

Francisco Javier Garcia-pacheco Couverture rigide
296,50 $
2 formats offerts
Sparse Polynomial Optimization: Theory And Practice

Victor Magron Couverture rigide
128,50 $
2 formats offerts
Constructive Analysis of Semicircular Elements: From Orthogonal Projections to Semicircular Elements

Ilwoo Cho Couverture rigide
281,50 $
2 formats offerts
Evolutionary Computation in Dynamic and Uncertain Environments

Shengxiang Yang Couverture souple
321,50 $
2 formats offerts
From Boolean Logic To Switching Circuits And Automata: Towards Modern Information Technology

Radomir S. Stankovic Couverture souple
291,95 $
2 formats offerts
An Introduction To Viscosity Solutions for Fully Nonlinear PDE with Applications to Calculus of Variations in L

Nikos Katzourakis Couverture souple
102,50 $
2 formats offerts
Asymptotic Analysis Of Mixed Effects Models: Theory, Applications, And Open Problems

Jiming Jiang Couverture souple
91,95 $
3 formats offerts
Advanced Calculus: An Introduction To Modern Analysis

William L. Voxman Couverture souple
122,95 $
3 formats offerts
New Trends In Applied Harmonic Analysis: Sparse Representations, Compressed Sensing, And Multifractal Analysis

Akram ALDROUBI Couverture souple
204,50 $
3 formats offerts
Spectral Methods: Algorithms, Analysis and Applications

Jie Shen Couverture souple
204,50 $
2 formats offerts
Algebraic Aspects of Cryptography

Neal Koblitz Couverture souple
291,95 $
2 formats offerts