Catalog > Nauka > Matematyka > 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

Wsparcie

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

€57.60

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● ISBN 9783540488552 ● Redaktor Georg Gottlob & Etienne Grandjean ● Wydawca Springer Berlin Heidelberg ● Opublikowany 2006 ● Do pobrania 3 czasy ● Waluta EUR ● ID 6319442 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Georg Gottlob Etienne Grandjean Katrin Seyr

49 921 Ebooki w tej kategorii

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Następna strona >>>