Mathematical Foundations of Programming Semantics
9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings (Lecture Notes in Computer Science)
par Stephen Brookes- Format
- 648 pages, Paperback
- Première édition
- June 24, 1994
- Editeurs
- Springer
- Sujets
- Mathematical theory of computation·Programming languages·Logic design·Computers·Languages·Programming·Programming languages·General·Computer science·Computers·Programming languages·General·Formale sprachen·Mathematical logic·
- Langue
- English
Livres
Art of Living
Stephen Bayley
Bare Metal C
Stephen Oualline
Cutetitos Jokes, Riddles, Games, and More!
Stephen Behling
Cooper and Fry Mystery Collection #4
Stephen Booth
Cooper and Fry Mystery Collection #2
Stephen Booth
Blockchain
Stephen P. Williams
Pet Sematary
Stephen King
Procedures in Facial Plastic Surgery Series
Stephen Perkins
It
Stephen King
7 Habits French
Stephen R. Covey
Tango One Film Tie-In
Stephen Leather
Stephen King's the Dark Tower
Stephen King
Meteor Programming in 24 Hours, Sams Teach Yourself
Stephen O'Brien
Neurobusiness
Stephen Rhys Thomas
The Master's Book (Teenage Mutant Ninja Turtles)
Stephen Murphy
Danger Gang and the Isle of Feral Beasts!
Stephen Bramucci
Jensen 541
Stephen Carter
Stephen Mackey Untitled 2 Stephen Mackey Untitled 2
Stephen Mackey
Info Buzz : Black History : Barack Obama : Black History
Stephen White-Thomson
Stephen Mackey Untitled 1
Stephen MacKey
Hearts in Atlantis
Stephen King
Agile ASP. NET Unleashed
Stephen Walther
ASP. NET 5 Unleashed
Stephen Walther
Stephen Sandler and Father Came Too S. Sandler
Stephen Sandler
Politics of Downtown Development
Stephen J. McGovern
Secret of Flight 149
Stephen Davis
Advanced Programming in Objective-C
Stephen G. Kochan
Programming in Swift
Stephen G. Kochan
Wordpress Explained
Stephen Burge
Carrie
Stephen King
ASP. NET 4. 5 Unleashed
Stephen Walther
Incoming Friendly
Stephen Francis Montagna
Secret of Flight 149
Stephen Davis
Hans Urs von Balthasar
Stephen M. Garrett
Thomas′ Hematopoietic Cell Transplantation, Volume 2
Stephen J. Forman
Family Interaction
Stephen A. Anderson
Hustlin' Backward : Regressive Progression
Stephen Hargrave
On Failure
Stephen Marche
Ecopolis
Stephen Quilley
Design of Automatic Machinery
Stephen J. Derby
Rest of Us
Stephen Birmingham
Healing Your Hidden Hurts
Stephen Rummage
Imagination Matrix
Stephen Aizenstat
Artists' Multiples 1935-2000
Stephen Bury
Truly Madly
Stephen Galloway
Pictish World
Stephen Driscoll
What Is Fundamental in Christian Belief?
Stephen Pickard
Jesus Through Many Eyes
Stephen Neill
Every Airbnb Host's Tax Guide
Stephen Fishman
Mongol Warrior vs European Knight
Stephen Turnbull
Three Epic Battles That Saved Democracy
Stephen P. Kershaw
Carthusian Monasticism
Stephen J. Molvarec
Continuity and Change in German Politics
Stephen Padgett
Death and Life in the Ottoman Palace
Douglas Scott Brookes
Regenerative Therapies for Liver Disease
Stephen Strom
Rumble in the Jungle
Smith, Stephen A.
Deluge
Stephen Markley
Supporting Teachers
Stephen D. Truscott
Death and Life in the Ottoman Palace
Douglas Scott Brookes
Livres similaires
Decision Making under Interval Uncertainty
Vladik Kreinovich
Mathématiques Récréatives
Nathalie Chevalarias
Nonlinear Problems with Lack of Compactness
Giovanni Molica Bisci
200 Ausgewählte Schachaufgaben
Otto Fuss
Analyse Dans les Espaces Métriques
Hervé Pajot
Quantum Field Theory
Ronald Kleiss
Édouard Goursat
Felix James Schwarz
Journey to the Edge of Reason
Stephen Budiansky
Elliptic and Parabolic Equations Involving the Hardy-Leray Potential
Ireneo Peral Alonso
[Set Model Order Reduction Vols 1+2]
Peter Benner
Analysis and Partial Differential Equations
Alexander Grigoryan
Probability and Statistical Inference
Nitis Mukhopadhyay
Elements of Mathematical Linguistics
Alexej V. Gladkij
Advances in Energy System Optimization
Valentin Bertsch
Quantenmechanik. Set Band 1-3
Claude Cohen-Tannoudji
Text
Ph Carl
Atlas
Ph Carl
Statistical Concepts - a Second Course
Debbie L. Hahs-Vaughn
A Tangled Tale
Carroll, Lewis
Quantentheorie
Gernot Münster
Text
Ph Carl
Topological Quantum Field Theories from Subfactors
Vijay Kodiyalam
Mathematical Statistics with Applications in R
Kandethody M. Ramachandran
Tensor Network Contractions
Shi-Ju Ran
Microbore Column Chromatography
F. J. Yang
Quantentheorie
Gernot Münster
Atlas. Tafel I Bis XXVIII
Ph Carl
Multivariate Kernel Smoothing and Its Applications
José E. Chacón
Introduction to Continuous Optimization
Michael Patriksson
Multi-Physics Modeling of Technological Systems
Marc Budinger
Robust Statistical Methods with R, Second Edition
Jana Jurečková
Universe Speaks in Numbers
Graham Farmelo
Data Analysis and Regression
Frederick Mosteller
Art of Modeling in Science and Engineering with Mathematica
Diran Basmadjian
Statistical Computing with R, Second Edition
Maria L. Rizzo
Semimartingales and Their Statistical Inference
B. L. S. Prakasa Rao
Introduction to Financial Mathematics
Hugo D. Junghenn
Introduction to the Scenario Approach
Marco C. Campi
Thermodynamics and Ecological Modelling
Sven E. Jorgensen
Die Güte der Gütemaße
Miriam Reußner
Semimartingales and Their Statistical Inference
B. L. S. Prakasa Rao
Iterative Optimizers
Maurice Clerc
Numerical Cognition
Andre Knops
Analysis of Integrated Data
Li-Chun Zhang
Statistical Inference
Murray Aitkin
Numerical Cognition
Andre Knops
Global Action
Daniel M. Otto
Transcendental Representations with Applications to Solids and Fluids
Luis Manuel Braga Da Costa Campos
Advanced Problems in Mathematics
Stephen Siklos