Catalog > Science > Mathématiques > Georg Gottlob & Etienne Grandjean: Computer Science Logic (PDF)

Georg Gottlob & Etienne Grandjean
Computer Science Logic [PDF ebook]
12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings

Support

Couverture du Georg Gottlob & Etienne Grandjean: Computer Science Logic (PDF)

€57.60

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

Langue Anglais ● Format PDF ● ISBN 9783540488552 ● Éditeur Georg Gottlob & Etienne Grandjean ● Maison d’édition Springer Berlin Heidelberg ● Publié 2006 ● Téléchargeable 3 fois ● Devise EUR ● ID 6319442 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

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

Georg Gottlob Etienne Grandjean Katrin Seyr

49 653 Ebooks dans cette catégorie

Couverture du Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations aims to propose a unified approach to elliptic and parabolic equations with bounded and smooth c …

Couverture du Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

Couverture du Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs. This book pro …

Couverture du Abduhamid Dzhuraev: Degenerate and Other Problems

Abduhamid Dzhuraev: Degenerate and Other Problems

This Monograph contains a collection of problems arising in partial differential equations investigated by means of complex analysis approached in elementary ways. …

Couverture du Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Presenting theory while using Mathematica in a complementary way, Modern Differential Geometry of Curves and Surfaces with Mathematica, the third edition of Alfred Gray’s famous textbook, covers how …

Couverture du Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

This book provides an introduction to the asymptotic theory of random summation, combining a strict exposition of the foundations of this theory and recent results. It also includes a description of …

Couverture du Vasile I. Istratescu: Introduction to Linear Operator Theory

Vasile I. Istratescu: Introduction to Linear Operator Theory

This book is an introduction to the subject and is devoted to standard material on linear functional analysis, and presents some ergodic theorems for classes of operators containing the quasi-compact …

Couverture du Bipin Singh Koranga & Vivek Kumar Nautiyal: Special Functions and their Application

Bipin Singh Koranga & Vivek Kumar Nautiyal: Special Functions and their Application

Special functions are mathematical functions that have established names and notations due to their importance in mathematical analysis, functional analysis, geometry, physics, or other applications. …

Couverture du Volodymyr Nekrashevych: Groups and Topological Dynamics

Volodymyr Nekrashevych: Groups and Topological Dynamics

This book is devoted to group-theoretic aspects of topological dynamics such as studying groups using their actions on topological spaces, using group theory to study symbolic dynamics, and other con …

Couverture du Paul-Jean Cahen & Marco Fontana: Commutative Ring Theory

Paul-Jean Cahen & Marco Fontana: Commutative Ring Theory

Presents the proceedings of the Second International Conference on Commutative Ring Theory in Fes, Morocco. The text details developments in commutative algebra, highlighting the theory of rings and …

Page suivante >>>