电子书 > 科学 > 计算机科学 > 应用软件 > 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

支持

的封面 Peter Csaba Olveczky: Rewriting Logic and Its Applications (PDF)

€58.04

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783642163104 ● 编辑 Peter Csaba Olveczky ● 出版者 Springer Berlin Heidelberg ● 发布时间 2010 ● 下载 3 时 ● 货币 EUR ● ID 6321655 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Peter Csaba Olveczky

16,820 此类电子书

的封面 Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

的封面 Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

的封面 Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

的封面 Pooja Kelgaonkar: Mastering Snowflake Platform

Pooja Kelgaonkar: Mastering Snowflake Platform

Handling ever evolving data for business needs can get complex. Traditional methods create bulky and costly-to-maintain data systems. Here, Snowflake emerges as a cost-effective solution, catering to …

的封面 Jessica Keyes: Software Configuration Management

Jessica Keyes: Software Configuration Management

An effective systems development and design process is far easier to explain than it is to implement. A framework is needed that organizes the life cycle activities that form the process. This framew …

的封面 Mayur Borse: Modern Web Development with Deno

Mayur Borse: Modern Web Development with Deno

Deno is a web platform that offers capabilities for Java Script and Type Script and supports modern web standards. It is a straightforward, up-to-date, secure runtime environment for web developers.T …

的封面 Nidhi Grover Raheja: Python Programming for Students

Nidhi Grover Raheja: Python Programming for Students

Embark on an exciting journey into the world of programming with "Python Programming for Students." In today’s quickly changing world of technologies, Python is serving as an up-and-coming …

的封面 Dr. Pratiyush Guleria: Basics of Python Programming

Dr. Pratiyush Guleria: Basics of Python Programming

The basics of Python are the book’s main focus. With practical examples, students will understand the fundamentals of Python. This book is designed in a way that should make every example understanda …

的封面 Dr. Jugnesh Kumar: Data Warehouse and Data Mining

Dr. Jugnesh Kumar: Data Warehouse and Data Mining

Data warehouse and data mining are essential technologies in the field of data analysis and business intelligence. Data warehouse provides a centralized repository of structured data and facilitates …

的封面 Mark Merkow: Secure, Resilient, and Agile Software Development

Mark Merkow: Secure, Resilient, and Agile Software Development

A collection of best practices and effective implementation recommendations that are proven to work, Secure, Resilient, and Agile Software Development leaves the boring details of software security t …