Detail produktu

Produkt mají v nabídce:

Bookshop

1 322 Kč

Do eshopu

Formal Methods for Executable Software Models

Produkt Formal Methods for Executable Software Models zakoupíte na Bookshop.cz od nakladatele Springer International Publishing AG.

Podobné produkty

Mathematical Methods for the Magnetohydrodynamics of Liquid Metals - Gerbeau, Jean-Frederic (, Institut National de Recherche en Informatique et en Automatique, France) a Le Bris, Claude (, Ecole Nationale des Ponts et Chaussees, France) a Lelievre, Tony (, Ecole Nationale des Ponts et Chaussees, France)

Mathematical Methods for the Magnetohydrodynamics of Liquid Metals - Gerbeau, Jean-Frederic (, Institut National de Recherche en Informatique et en Automatique, France) a Le Bris, Claude (, Ecole Nationale des Ponts et Chaussees, France) a Lelievre, Tony (, Ecole Nationale des Ponts et Chaussees, France)

4 899 Kč

Porovnat nabídky

Research Methods for the Biosciences - Holmes, Debbie (Senior Lecturer, Genetics, Senior Lecturer, Genetics, University of Worcester) a Moody, Peter (Senior Lecturer, Computing, Senior Lecturer, Computing, University of Worcester) a Dine, Diana (Senior Lecturer, Environmental Science, Senior Lectu

Research Methods for the Biosciences - Holmes, Debbie (Senior Lecturer, Genetics, Senior Lecturer, Genetics, University of Worcester) a Moody, Peter (Senior Lecturer, Computing, Senior Lecturer, Computing, University of Worcester) a Dine, Diana (Senior Lecturer, Environmental Science, Senior Lectu

1 844 Kč

Porovnat nabídky

Introduction to Monte-Carlo Methods for Transport and Diffusion Equations - Lapeyre, Bernard (, Ecole Nationale des Ponts et Chaussees, Marne-la-Vallee, France) a Pardoux, Etienne (, Universite de Provence, Marseille, France) a Sentis, Remi (, Commissariat a l'Energie Atomique Bruyeres-le-Chatel, France)

Introduction to Monte-Carlo Methods for Transport and Diffusion Equations - Lapeyre, Bernard (, Ecole Nationale des Ponts et Chaussees, Marne-la-Vallee, France) a Pardoux, Etienne (, Universite de Provence, Marseille, France) a Sentis, Remi (, Commissariat a l'Energie Atomique Bruyeres-le-Chatel, France)

2 063 Kč

Porovnat nabídky

Methods for the Economic Evaluation of Health Care Programmes - Drummond, Michael F. (Centre for Health Economics, University of York, UK) a Sculpher, Mark J. (Centre for Health Economics, University of York, UK) a Claxton, Karl (Centre for Health Economics, University of York, UK) a Stoddart, Greg L. (Professor Emeritus, P

Methods for the Economic Evaluation of Health Care Programmes - Drummond, Michael F. (Centre for Health Economics, University of York, UK) a Sculpher, Mark J. (Centre for Health Economics, University of York, UK) a Claxton, Karl (Centre for Health Economics, University of York, UK) a Stoddart, Greg L. (Professor Emeritus, P

Cena od 2 156 Kč

Porovnat nabídky

Handbook of Research Methods for Studying Daily Life

Handbook of Research Methods for Studying Daily Life

2 312 Kč

Porovnat nabídky

Handbook of Research Methods for Studying Daily Life

Handbook of Research Methods for Studying Daily Life

3 438 Kč

Porovnat nabídky

Methods for Disaster Mental Health Research

Methods for Disaster Mental Health Research

1 687 Kč

Porovnat nabídky

Numerical Methods for Nonlinear Estimating Equations - Small, Christopher G. (, Department of Statistics and Actuarial Science University of Waterloo Waterloo, Ontario N2L 3G1 Canada) a Wang, Jinfang (, School of Agriculture Obihiro University of Agriculture and Veterinary Medicine Inada-cho, Obihiro, Hokkaido

Numerical Methods for Nonlinear Estimating Equations - Small, Christopher G. (, Department of Statistics and Actuarial Science University of Waterloo Waterloo, Ontario N2L 3G1 Canada) a Wang, Jinfang (, School of Agriculture Obihiro University of Agriculture and Veterinary Medicine Inada-cho, Obihiro, Hokkaido

7 047 Kč

Porovnat nabídky

Domain Decomposition Methods for Partial Differential Equations - Quarteroni, Alfio (Professor of Mathematics, Professor of Mathematics, Politecnico de Milano) a Valli, Alberto (Professor of Mathematics, Professor of Mathematics, Universita di Trento)

Domain Decomposition Methods for Partial Differential Equations - Quarteroni, Alfio (Professor of Mathematics, Professor of Mathematics, Politecnico de Milano) a Valli, Alberto (Professor of Mathematics, Professor of Mathematics, Universita di Trento)

7 133 Kč

Porovnat nabídky

Quantitative Methods for Decision Making Using Excel - Davis, Glyn (Principal Lecturer in e-Business and Data Analysis, Teesside University Teaching Fellow) a Pecar, Branko (Visiting Fellow of the University of Gloucestershire a VP- ExxonMobil Global Account, Emerson Process Management)

Quantitative Methods for Decision Making Using Excel - Davis, Glyn (Principal Lecturer in e-Business and Data Analysis, Teesside University Teaching Fellow) a Pecar, Branko (Visiting Fellow of the University of Gloucestershire a VP- ExxonMobil Global Account, Emerson Process Management)

2 187 Kč

Porovnat nabídky

Handbook of Research Methods for Clinical and Health Psychology

Handbook of Research Methods for Clinical and Health Psychology

2 313 Kč

Porovnat nabídky

Numerical Methods for Delay Differential Equations - Bellen, Alfredo (, Universita di Trieste, Italy) a Zennaro, Marino (, Universita di Trieste, Italy)

Numerical Methods for Delay Differential Equations - Bellen, Alfredo (, Universita di Trieste, Italy) a Zennaro, Marino (, Universita di Trieste, Italy)

2 500 Kč

Porovnat nabídky

↑