电子书 > 科学 > 计算机科学 > 应用软件 > F.L. Bauer & E.W. Dijkstra: Program Construction (PDF)

F.L. Bauer & E.W. Dijkstra
Program Construction [PDF ebook]
International Summer School

支持

的封面 F.L. Bauer & E.W. Dijkstra: Program Construction (PDF)

€55.60

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

语言英语 ● 格式 PDF ● ISBN 9783540353126 ● 编辑 F.L. Bauer & M. Broy ● 出版者 Springer Berlin Heidelberg ● 发布时间 2005 ● 下载 3 时 ● 货币 EUR ● ID 8529822 ● 复制保护 Adobe DRM

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

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

F. L. Bauer E. W. Dijkstra S. L. Gerhart D. Gries M. Griffiths J. V. Guttag J. J. Horning S. S. Owicki C. Pair H. Partsch P. Pepper M. Wirsing H. Wossner M. Broy

16,674 此类电子书

的封面 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 …

的封面 John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep

John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep

Written by VM-certified instructors with years of professional and teaching experience, VMware Certified Professional Test Prep is the ultimate guide to the VCP exam. Its organized and highly practic …

的封面 Frank M. (Ball State University, Muncie, Indiana, USA) Groom & Stephan S. Jones: Enterprise Cloud Computing for Non-Engineers

Frank M. (Ball State University, Muncie, Indiana, USA) Groom & Stephan S. Jones: Enterprise Cloud Computing for Non-Engineers

This book provides a technical description of cloud computing technologies, covering cloud infrastructure and platform services. It then addresses the basics of operating a Cloud computing data cente …

的封面 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 …

的封面 John Hearty & David Julian: Python: Deeper Insights into Machine Learning

John Hearty & David Julian: Python: Deeper Insights into Machine Learning

Leverage benefits of machine learning techniques using Python About This Book

Improve and optimise machine learning systems using effective strategies.
Develop a strategy to deal wi …

的封面 Rohan Chopra & Sohom Ghosh: The Natural Language Processing Workshop

Rohan Chopra & Sohom Ghosh: The Natural Language Processing Workshop

Make NLP easy by building chatbots and models, and executing various NLP tasks to gain data-driven insights from raw text data Key Features

Get familiar with key natural language processing …

的封面 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 …

的封面 Mirza Rahim Baig & Mohan Kumar Silaparasetty: The Deep Learning Workshop

Mirza Rahim Baig & Mohan Kumar Silaparasetty: The Deep Learning Workshop

Take a hands-on approach to understanding deep learning and build smart applications that can recognize images and interpret text Key Features

Understand how to implement deep learning with …