Catalog > Ciência > Matemática > 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

Apoio

Capa do Georg Gottlob & Etienne Grandjean: Computer Science Logic (PDF)

€57.60

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato PDF ● ISBN 9783540488552 ● Editor Georg Gottlob & Etienne Grandjean ● Editora Springer Berlin Heidelberg ● Publicado 2006 ● Carregável 3 vezes ● Moeda EUR ● ID 6319442 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Georg Gottlob Etienne Grandjean Katrin Seyr

49.921 Ebooks nesta categoria

Capa do Randal (University of Central Florida, Orlando, USA) Allen & Harold (University of Central Florida, Orlando, USA) Klee: Simulation of Dynamic Systems with MATLAB® and Simulink®

Randal (University of Central Florida, Orlando, USA) Allen & Harold (University of Central Florida, Orlando, USA) Klee: Simulation of Dynamic Systems with MATLAB® and Simulink®

Continuous-system simulation is an increasingly important tool for optimizing the performance of real-world systems. The book presents an integrated treatment of continuous simulation with all the ba …

Capa do Brian Osserman: Concise Introduction to Algebraic Varieties

Brian Osserman: Concise Introduction to Algebraic Varieties

Designed for a one-term introductory course on algebraic varieties over an algebraically closed field, this book prepares students to continue either with a course on schemes and cohomology, or to le …

Capa do 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 …

Capa do B.L.S. Prakasa Rao: Semimartingales and their Statistical Inference

B.L.S. Prakasa Rao: Semimartingales and their Statistical Inference

Statistical inference carries great significance in model building from both the theoretical and the applications points of view. Its applications to engineering and economic systems, financial econo …

Capa do Charles L. (Mader Consulting Company, Honolulu, Hawaii, USA) Mader: Numerical Modeling of Water Waves

Charles L. (Mader Consulting Company, Honolulu, Hawaii, USA) Mader: Numerical Modeling of Water Waves

Numerical Modeling of Water Waves, Second Edition covers all aspects of this subject, from the basic fluid dynamics and the simplest models to the latest and most complex, including the first-ever de …

Capa do Carl Faith: Injective Modules and Injective Quotient Rings

Carl Faith: Injective Modules and Injective Quotient Rings

First published in 1982. These lectures are in two parts. Part I, entitled injective Modules Over Levitzki Rings , studies an injective module E and chain conditions on the set A^(E, R) of right idea …

Capa do B G Korenev: Bessel Functions and Their Applications

B G Korenev: Bessel Functions and Their Applications

Bessel functions are associated with a wide range of problems in important areas of mathematical physics. Bessel function theory is applied to problems of acoustics, radio physics, hydrodynamics, and …

Capa do Gerhard X. Ritter & Gonzalo Urcid: Introduction to Lattice Algebra

Gerhard X. Ritter & Gonzalo Urcid: Introduction to Lattice Algebra

Lattice theory extends into virtually every branch of mathematics, ranging from measure theory and convex geometry to probability theory and topology. A more recent development has been the rapid esc …

Capa do Ronald E. Mickens: Difference Equations, Second Edition

Ronald E. Mickens: Difference Equations, Second Edition

In recent years, the study of difference equations has acquired a new significance, due in large part to their use in the formulation and analysis of discrete-time systems, the numerical integration …

Capa do Lawrence C Evans: Partial Differential Equations

Lawrence C Evans: Partial Differential Equations

This is the second edition of the now definitive text on partial differential equations (PDE). It offers a comprehensive survey of modern techniques in the theoretical study of PDE with particular em …

Próxima página >>>