Foundations of Software Science and Computational Structures
- Primera publicación
- 2012
- Editores
- Springer Berlin Heidelberg
- Sujetos
- Mathematical logic and formal languages·Software engineering·Logic design·Logics and meanings of programs·Computation by abstract devices·Computer science·Programming languages·Compilers·Interpreters·Artificial intelligence·Artificial intelligence (incl roboti
Libros
Key Concepts in Globalization
Lars Bo Kaspersen
Simple Exercises to Stimulate the Vagus Nerve
Lars Lienhard
Verkaufsmanagement
Lars Binckebanck
Lars Eidinger
Lars Eidinger
Mosel Wine
Lars Carlberg
Life and Death of Objects
Lars Lerup
Life and Death of Objects
Lars Lerup
Reindeer Hunters
Lars Mytting
Fubuki-Class Destroyers
Lars Ahlberg
Savage Eye
Lars Toft-Eriksen
Analysis and Quantum Groups
Lars Tuset
Reindeer Hunters
Lars Mytting
Focused Photography Project Guidebook
Lars Tomas
Übungen Im Allgemeinen Teil des BGB
Lars Rühlicke
Mirror Man
Lars Kepler
Wittgenstein and the Life We Live with Language
Lars Hertzberg
Übungen Im Allgemeinen Teil des BGB
Lars Rühlicke
Mirror Man
Lars Kepler
Walls and Welcome Mats
Lars Krogstad Ortiz
Friendship
Lars S Christensen
Photodarium Private 2023
Lars Harmsen
Echoes of the City
Lars S Christensen
War, Survival Units, and Citizenship
Lars Bo Kaspersen
Sharing Power, Securing Peace
Lars-Erik Cederman
Ethnographie
Lars Meier
Verfassung Für Rheinland-Pfalz
Lars Brocker
Hekne Tapestry
Lars Mytting
Master of the Mountain
Lars Machmuller
Prekäre Männlichkeiten
Lars Henk
Weiche Erfolgsfaktoren Von M&a Transaktionen
Lars Bockius
Übungen Im Allgemeinen Teil des BGB
Lars Rühlicke
Mind of a Bee
Lars Chittka
Basics Site Management
Lars-Phillip Rusch
Sixteen Trees of the Somme
Lars Mytting
Mind of a Bee
Lars Chittka
Wittgenstein and the Life We Live with Language
Lars Hertzberg
Diginomics Research Perspectives
Lars Hornuf
Light Within the Human Heart
Lars Muhl
Mirror Man
Lars Kepler
Break : Tales from a Revolution
Lars D. H. Hedbor
Complex Analysis
Lars V. Ahlfors
Cadmium and Health
Lars Friberg
Charleston Voices
Lars Meyer
Norwegian Wood
Lars Mytting
Libros similares
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
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
Testing Statistical Assumptions in Research
J. P. Verma
Statistical Analysis of Multivariate Failure Time Data
Ross L. Prentice