Catalog > Science > Mathématiques > M. Broy & Gunther Schmidt: Theoretical Foundations of Programming Methodology (PDF)

M. Broy & Gunther Schmidt
Theoretical Foundations of Programming Methodology [PDF ebook]
Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Support

Couverture du M. Broy & Gunther Schmidt: Theoretical Foundations of Programming Methodology (PDF)

€57.99

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9789400978935 ● Éditeur M. Broy & Gunther Schmidt ● Maison d’édition Springer Netherlands ● Publié 2012 ● Téléchargeable 3 fois ● Devise EUR ● ID 4716849 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

M. Broy Gunther Schmidt

50 053 Ebooks dans cette catégorie

Couverture du Brandon M. (University of Cincinnati, Cincinnati, USA) Greenwell: Tree-Based Methods for Statistical Learning in R

Brandon M. (University of Cincinnati, Cincinnati, USA) Greenwell: Tree-Based Methods for Statistical Learning in R

Tree-based Methods for Statistical Learning in R provides a thorough introduction to both individual decision tree algorithms (Part I) and ensembles thereof (Part II). Part I of the book brings sever …

Couverture du Jerry Butters & Jim Henle: The Baseball Mysteries

Jerry Butters & Jim Henle: The Baseball Mysteries

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. …

Couverture du Mark (Albion College, Albion, Michigan, USA) Bollman: Basic Gambling Mathematics

Mark (Albion College, Albion, Michigan, USA) Bollman: Basic Gambling Mathematics

Basic Gambling Mathematics: The Numbers Behind the Neon, Second Edition explains the mathematics involved in analyzing games of chance, including casino games, horse racing and other sports, and lott …

Couverture du Luis Barreira: Introduction to Smooth Ergodic Theory

Luis Barreira: Introduction to Smooth Ergodic Theory

This book is the first comprehensive introduction to smooth ergodic theory. It consists of two parts: the first introduces the core of the theory and the second discusses more advanced topics. In par …

Couverture du Jason I. Brown: Discrete Structures and Their Interactions

Jason I. Brown: Discrete Structures and Their Interactions

Discover the Connections between Different Structures and Fields Discrete Structures and Their Interactions highlights the connections among various discrete structures, including graphs, directed gr …

Couverture du Jose Iovino: Beyond First Order Model Theory, Volume I

Jose Iovino: Beyond First Order Model Theory, Volume I

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains …

Couverture du Simeon Berman: Sojourns And Extremes of Stochastic Processes

Simeon Berman: Sojourns And Extremes of Stochastic Processes

Sojourns and Extremes of Stochastic Processes is a research monograph in the area of probability theory. During the past thirty years Berman has made many contributions to the theory of the extreme v …

Couverture du Stanislaw Migorski & Mircea (University of Perpignan, France) Sofonea: Variational-Hemivariational Inequalities with Applications

Stanislaw Migorski & Mircea (University of Perpignan, France) Sofonea: Variational-Hemivariational Inequalities with Applications

This research monograph represents an outcome of the cross-fertilization between nonlinear functional analysis and mathematical modelling, and demonstrates its application to solid and contact mechan …

Couverture du Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

The first book to examine weakly stationary random fields and their connections with invariant subspaces (an area associated with functional analysis). It reviews current literature, presents central …

Couverture du David (EMC, Consulting Inc., Merrickville, Ontario, Canada) Weston: Electromagnetic Compatibility

David (EMC, Consulting Inc., Merrickville, Ontario, Canada) Weston: Electromagnetic Compatibility

This totally revised and expanded reference/text provides comprehensive, single-source coverage of the design, problem solving, and specifications of electromagnetic compatibility (EMC) into electric …

Page suivante >>>