电子书 > 科学 > 数学 > 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

支持

的封面 Georg Gottlob & Etienne Grandjean: Computer Science Logic (PDF)

€57.60

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783540488552 ● 编辑 Georg Gottlob & Etienne Grandjean ● 出版者 Springer Berlin Heidelberg ● 发布时间 2006 ● 下载 3 时 ● 货币 EUR ● ID 6319442 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Georg Gottlob Etienne Grandjean Katrin Seyr

50,053 此类电子书

的封面 David L. Jagerman: Difference Equations with Applications to Queues

David L. Jagerman: Difference Equations with Applications to Queues

‘Presents a theory of difference and functional equations with continuous argument based on a generalization of the Riemann integral introduced by N.E. Norlund, allowing differentation with respect t …

的封面 Michael (University of Nottingham, UK) Clifford: Introduction to Mechanical Engineering

Michael (University of Nottingham, UK) Clifford: Introduction to Mechanical Engineering

Updated throughout for the second edition, Introduction to Mechanical Engineering: Part 1 continues to be the essential text for all first-year undergraduate students, alongside those studying for fo …

的封面 Marcia J. (University of California, Los Angeles, CA, USA) Bates: Understanding Information Retrieval Systems

Marcia J. (University of California, Los Angeles, CA, USA) Bates: Understanding Information Retrieval Systems

In order to be effective for their users, information retrieval (IR) systems should be adapted to the specific needs of particular environments. The huge and growing array of types of information ret …

的封面 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 …

的封面 Schweitzer: Corrosion and Corrosion Protection Handbook

Schweitzer: Corrosion and Corrosion Protection Handbook

Continuing to provide excellent, state-of-the-art information on corrosion and practicalsolutions for reducing corrosion, the Second Edition contains valuable suggestionson how to select the best con …

的封面 Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

The first book to examine weakly stationary random fields and their connections with invariant subspaces (an area associated with functional analysis). It reviews current literature, presents central …

的封面 S. B. Chae: Holomorphy and Calculus in Normed SPates

S. B. Chae: Holomorphy and Calculus in Normed SPates

This book presents a systematic introduction to the theory of holomorphic mappings in normed spaces which has been scattered throughout the literature. It gives the necessary, elementary background f …

的封面 Venkatarama Krishnan: Linear Systems Properties

Venkatarama Krishnan: Linear Systems Properties

This pocket book serves as an immediate reference for the various formulae encountered in linear systems, control systems, probability, communication engineering, signal processing, quantum mechanics …

的封面 Daniel Lesnic: Inverse Problems with Applications in Science and Engineering

Daniel Lesnic: Inverse Problems with Applications in Science and Engineering

Driven by the advancement of industrial mathematics and the need for impact case studies, Inverse Problems with Applications in Science and Engineering thoroughly examines the state-of-the-art of som …

的封面 J.P Abraham & J. M. (University of Minnesota, Department of Mechanical Engineering, Minneapolis, USA) Gorman: Numerical Simulation of Heat Exchangers

J.P Abraham & J. M. (University of Minnesota, Department of Mechanical Engineering, Minneapolis, USA) Gorman: Numerical Simulation of Heat Exchangers

This book deals with certain aspects of material science, particularly with the release of thermal energy associated with bond breaking. It clearly establishes the connection between heat transfer ra …