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 ● هوية شخصية 6319442 ● حماية النسخ Adobe DRM

يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

Georg Gottlob Etienne Grandjean Katrin Seyr

50٬053 كتب إلكترونية في هذه الفئة

غلاف 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 …

غلاف 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 …

غلاف 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 …

الصفحة التالية >>>