Catalog > Sciences > Math > 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

Support

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

€57.60

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783540488552 ● Editor Georg Gottlob & Etienne Grandjean ● Publisher Springer Berlin Heidelberg ● Published 2006 ● Downloadable 3 times ● Currency EUR ● ID 6319442 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Georg Gottlob Etienne Grandjean Katrin Seyr

49,921 Ebooks in this category

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

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

Cover of Cristina Artini: Alloys and Intermetallic Compounds

Cristina Artini: Alloys and Intermetallic Compounds

This book focuses on the role of modeling in the design of alloys and intermetallic compounds. It includes an introduction to the most important and most used modeling techniques, such as CALPHAD and …

Cover of 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 …

Cover of 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 …

Cover of Anupam Shukla & Ritu Tiwari: Discrete Problems in Nature Inspired Algorithms

Anupam Shukla & Ritu Tiwari: Discrete Problems in Nature Inspired Algorithms

This book includes introduction of several algorithms which are exclusively for graph based problems, namely combinatorial optimization problems, path formation problems, etc. Each chapter includes t …

Cover of 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 …

Cover of Ivan Cimrak & Iveta Jancigova: Computational Blood Cell Mechanics

Ivan Cimrak & Iveta Jancigova: Computational Blood Cell Mechanics

Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …

Cover of 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 …

Cover of 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 …

Cover of W. Minkowycz: Advances in Numerical Heat Transfer, Volume 2

W. Minkowycz: Advances in Numerical Heat Transfer, Volume 2

This volume discusses the advances in numerical heat transfer modeling by applying high-performance computing resources, striking a balance between generic fundamentals, specific fundamentals, generi …