หนังสือดิจิตอล > วิทยาศาสตร์ > คณิตศาสตร์ > 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

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป PDF ● ISBN 9783540488552 ● บรรณาธิการ Georg Gottlob & Etienne Grandjean ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2006 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6319442 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Georg Gottlob Etienne Grandjean Katrin Seyr

49,921 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ Ann Cannon & Starnes Daren: Introductory Statistics: A Student-Centered Approach

Ann Cannon & Starnes Daren: Introductory Statistics: A Student-Centered Approach

ปกของ Taolue Chen & Yu Zhou: Software Adaptation in an Open Environment

Taolue Chen & Yu Zhou: Software Adaptation in an Open Environment

The book is about a very active research field in software engineering. In modern society, the fact of the world”s high reliance on software requires the system”s robustness, i.e., continual availa …

ปกของ Angel R. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez & Wendy L. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez: Exploratory Data Analysis with MATLAB

Angel R. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez & Wendy L. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez: Exploratory Data Analysis with MATLAB

Praise for the Second Edition: ‘The authors present an intuitive and easy-to-read book. … accompanied by many examples, proposed exercises, good references, and comprehensive appendices that initiate …

ปกของ 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 …

ปกของ Friedrich (University of Natural Resources and Life Sciences, Institute of Applied Statistics and Computing, Vienna, Austria) Leisch & Roger D. (Johns Hopkins University, Baltimore, Maryland, USA) Peng: Implementing Reproducible Research

Friedrich (University of Natural Resources and Life Sciences, Institute of Applied Statistics and Computing, Vienna, Austria) Leisch & Roger D. (Johns Hopkins University, Baltimore, Maryland, USA) Peng: Implementing Reproducible Research

In computational science, reproducibility requires that researchers make code and data available to others so that the data can be analyzed in a similar manner as in the original publication. Code mu …

ปกของ Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm

Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm

Stealth technology is a crucial pre-requisite in the combat zone, where swiftness, surprise and initiative are the decisive elements for survivability. The supreme goal here is to reduce the visibili …

ปกของ Valentin A. (University of Bucharest, Romania) Boicea: Energy Management

Valentin A. (University of Bucharest, Romania) Boicea: Energy Management

This book introduces the principle of carrying out a medium-term load forecast (MTLF) at power system level, based on the Big Data concept and Convolutionary Neural Network (CNNs). It also presents f …

ปกของ 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 …

ปกของ 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 …

ปกของ H.F Jones: Groups, Representations and Physics

H.F Jones: Groups, Representations and Physics

Illustrating the fascinating interplay between physics and mathematics, Groups, Representations and Physics, Second Edition provides a solid foundation in the theory of groups, particularly group rep …

หน้าต่อไป >>>