Catalog > Sains > Matematik > 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

Sokongan

perlindungan daripada M. Broy & Gunther Schmidt: Theoretical Foundations of Programming Methodology (PDF)

€57.99

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format PDF ● ISBN 9789400978935 ● Penyunting M. Broy & Gunther Schmidt ● Penerbit Springer Netherlands ● Diterbitkan 2012 ● Muat turun 3 kali ● Mata wang EUR ● ID 4716849 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

M. Broy Gunther Schmidt

50,053 Ebooks dalam kategori ini

perlindungan daripada 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 …

perlindungan daripada Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis

Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis

Flight Mechanics Modeling and Analysis comprehensively covers flight mechanics and flight dynamics using a systems approach. This book focuses on applied mathematics and control theory in its discuss …

perlindungan daripada 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. …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada Latha (ABES Engineering College, India) Banda & Manisha (Govind Ballabh Pant Government Engineering College, India) Manjul: Advanced Computer Science Applications

Latha (ABES Engineering College, India) Banda & Manisha (Govind Ballabh Pant Government Engineering College, India) Manjul: Advanced Computer Science Applications

This new book brings together the most recent trends related to AI, machine learning, and network security. The chapters cover diverse topics on machine learning algorithms and securit …

perlindungan daripada H.F Jones: Groups, Representations and Physics

H.F Jones: Groups, Representations and Physics

Illustrating the fascinating interplay between physics and mathematics, Groups, Representations and Physics, Second Edition provides a solid foundation in the theory of groups, particularly group rep …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada Schweitzer: Corrosion and Corrosion Protection Handbook

Schweitzer: Corrosion and Corrosion Protection Handbook

Continuing to provide excellent, state-of-the-art information on corrosion and practicalsolutions for reducing corrosion, the Second Edition contains valuable suggestionson how to select the best con …

Muka surat seterusnya >>>