Sách điện tử > Khoa học > Khoa học máy tính > Phần mềm ứng dụng > Andy King: Logic-Based Program Synthesis and Transformation (PDF)

Andy King
Logic-Based Program Synthesis and Transformation [PDF ebook]
17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Ủng hộ

Bìa của Andy King: Logic-Based Program Synthesis and Transformation (PDF)

€58.02

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng PDF ● ISBN 9783540787693 ● Biên tập viên Andy King ● Nhà xuất bản Springer Berlin Heidelberg ● Được phát hành 2008 ● Có thể tải xuống 6 lần ● Tiền tệ EUR ● TÔI 6320567 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

16.941 Ebooks trong thể loại này

Bìa của Eran Boudjnah: Clean Architecture for Android

Eran Boudjnah: Clean Architecture for Android

"Clean Architecture for Android" was written to help developers apply Clean Architecture to their projects.The book will explain why Clean Architecture is so valuable. It will demonstrate h …

Bìa của Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

Bìa của Alessandro Del Sole: Xamarin with Visual Studio

Alessandro Del Sole: Xamarin with Visual Studio

For any mobile developer, it’s clear that Xamarin knowledge is vital, thanks to the reintroduction of .NET MAUI. This book provides the reader with complete hands-on experience in designing cross-pla …

Bìa của Lukasz Gasior: ReSharper Essentials

Lukasz Gasior: ReSharper Essentials

In Detail Re Sharper is one of the best tools that extends Microsoft Visual Studio. It adds a lot of features which increases a developer’s productivity. It started with providing support for C# and …

Bìa của Charles W. Kann: Creating Components

Charles W. Kann: Creating Components

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …

Bìa của Zachary Shute: Advanced JavaScript

Zachary Shute: Advanced JavaScript

Gain a deeper understanding of Java Script and apply it to build small applications in backend, frontend, and mobile frameworks. Key Features

Explore the new ES6 syntax, the event loop, and …

Bìa của 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 …

Bìa của Jimmy Russell: 101 Amazing Atari 2600 Facts

Jimmy Russell: 101 Amazing Atari 2600 Facts

In this, the first title in Jimmy Russell’s Games Console History series, we learn 101 amazing facts about Atari’s seminal 2600, the first truly popular home family computer games system. The facts c …

Bìa của Latifur (University of Texas at Dallas, Richardson, Texas, USA) Khan & Mohammad Mehedy Masud: Big Data Analytics with Applications in Insider Threat Detection

Latifur (University of Texas at Dallas, Richardson, Texas, USA) Khan & Mohammad Mehedy Masud: Big Data Analytics with Applications in Insider Threat Detection

Today”s malware mutates randomly to avoid detection, but reactively adaptive malware is more intelligent, learning and adapting to new computer defenses on the fly. Using the same algorithms that an …

Bìa của Mike McGrath: C, C++ & C# in easy steps

Mike McGrath: C, C++ & C# in easy steps

C, C++ & C# in easy steps is a comprehensive guide to help you create your own programs in the C, C++ and C# programming languages, combining knowledge from the latest C, C++ and C# books in the In E …

Trang tiếp theo >>>