Catalog > Naturwissenschaft > Informatik > Anwendungs-Software > Peter Csaba Olveczky: Rewriting Logic and Its Applications (PDF)

Peter Csaba Olveczky
Rewriting Logic and Its Applications [PDF ebook]
8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Support

Cover von Peter Csaba Olveczky: Rewriting Logic and Its Applications (PDF)

€58.04

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format PDF ● ISBN 9783642163104 ● Herausgeber Peter Csaba Olveczky ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2010 ● herunterladbar 3 mal ● Währung EUR ● ID 6321655 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Peter Csaba Olveczky

16.941 Ebooks in dieser Kategorie

Cover von Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‚… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

Cover von Howard Anderson & Bruce Hellingsworth: Higher National Computing

Howard Anderson & Bruce Hellingsworth: Higher National Computing

Higher National Computing 2e is a new edition of this extremely successful course book, updated specifically to cover the compulsory core units of the 2003 BTEC Higher National Computing schemes. Ful …

Cover von Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence

Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence

Open Source Data Warehousing and Business Intelligence is an all-in-one reference for developing open source based data warehousing (DW) and business intelligence (BI) solutions that are business-cen …

Cover von Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

A beginner“s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features

Explore data …

Cover von Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

Cover von Alan Clements: Computer Architecture with Python and ARM

Alan Clements: Computer Architecture with Python and ARM

<p><b>Learn computer architecture with Python and ARM, simulating assembly program execution and designing a computer simulator Purchase of the print or Kindle book includes a free PDF e …

Cover von Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

This book explains how to quickly learn and utilize Terraform to incorporate Infrastructure as Code into a continuous integration and continuous delivery pipeline. The book gives you the step-by-step …

Cover von Donald J. Reifer: Software Maintenance Success Recipes

Donald J. Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …

Cover von Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at pr …

Cover von Dan Aldred: Coding with the micro

Dan Aldred: Coding with the micro

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

nächste Seite >>>