电子书 > 科学 > 计算机科学 > 应用软件 > Gordon Plotkin & Colin P. Stirling: Proof, Language, and Interaction – Essays in Honour of Robin Milner (PDF)

Gordon Plotkin & Colin P. Stirling
Proof, Language, and Interaction – Essays in Honour of Robin Milner [PDF ebook]
Essays in Honour of Robin Milner

支持

的封面 Gordon Plotkin & Colin P. Stirling: Proof, Language, and Interaction – Essays in Honour of Robin Milner (PDF)

€143.93

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

格式 PDF ● 网页 736 ● ISBN 9780262281676 ● 编辑 Gordon Plotkin & Colin P. Stirling ● 出版者 MIT Press Ltd ● 发布时间 2015 ● 下载 3 时 ● 货币 EUR ● ID 4852075 ● 复制保护 Adobe DRM

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

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

Gordon Plotkin Colin P. Stirling Mads (Vice Chancellor, IT University of Copenhagen) Tofte IT University of Copenhagen) Tofte Mads (Vice Chancellor Mads Tofte

16,627 此类电子书

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

的封面 Shikha Jain & Kavita Pandey: Code Factory

Shikha Jain & Kavita Pandey: Code Factory

Beginners in the programming world often wander to get some essential books to learn logic building with the help of algorithms, flowcharts, and minor C/Python language code. Addressing this demand, …

的封面 Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that …

的封面 Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

的封面 Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

的封面 Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance

Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance

Enhancing LAN Performance, Fourth Edition explains how to connect geographically separated LANs with appropriate bandwidth, the issues to consider when weighing the use of multiport or dualport devic …

的封面 Hans-Jurgen Schonig: Mastering PostgreSQL 12

Hans-Jurgen Schonig: Mastering PostgreSQL 12

Master Postgre SQL 12 features such as advanced indexing, high availability, monitoring, and much more to efficiently manage and maintain your database Key Features

Grasp advanced Postgre SQ …

的封面 Elvis Foster & Bradford Towle Jr.: Software Engineering

Elvis Foster & Bradford Towle Jr.: Software Engineering

Software Engineering: A Methodical Approach (Second Edition) provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineerin …