Search results for “[Subject: computers-software]”

• Author(s): Edmund M. Jr Clarke • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceAn expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology tha...

• Author(s): Steven L. Tanimoto • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Image ProcessingBasic principles of image processing and programming explained without college-level mathematics. This book explores image proc...

• Author(s): No Contributor • Publisher: de Gruyter • Publisher Imprint: de Gruyter • BISAC: Economics - GeneralKeine ausführliche Beschreibung für "Methoden des Software-Entwurfs und Strukturierte Programmierung" verfügbar.

• Author(s): Federica Frabetti • Publisher: Rowman & Littlefield Publishers • Publisher Imprint: Rowman & Littlefield Publishers • BISAC: Movements - Critical TheoryThis book engages directly in close readings of technical texts and compu...

• Author(s): Hermann Gehring | Peter Röscher • Publisher: de Gruyter • Publisher Imprint: de Gruyter • BISAC: Economics - GeneralKeine ausführliche Beschreibung für "Einführung in Modula-2" verfügbar.

• Author(s): No Contributor • Publisher: de Gruyter • Publisher Imprint: de Gruyter • BISAC: Economics - GeneralHarald Siebert studierte Philosophie in Augsburg, München und an der Sorbonne. In Paris und Berlin promovierte er in Wissenschaftsgesc...

• Author(s): James Elkins • Publisher: Cornell University Press • Publisher Imprint: Cornell University Press • BISAC: History - RenaissancePerspective has been a divided subject, orphaned among various disciplines from philosophy to gardening. I...

• Author(s): Benjamin C. Pierce • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Programming - Object OrientedA comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatical...

• Author(s): Jan J. Koenderink • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Software Development & Engineering - Computer GraphicsA comprehensive introduction to colorimetry from a conceptual perspective.Color for the Scienc...

• Author(s): Christel Baier • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceA comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and so...

• Author(s): Kevin P. Murphy • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Machine TheoryA comprehensive introduction to machine learning that uses probabilistic models and inference as a unifying approach.Today's Web-enabled del...