下载 >  开发技术 >  其它 > type systems and programming language

type systems and programming language 评分:

程序语言的类型理论。带类型lambda演算,类型系统,类型推导以及类型系统在程序语言中的应用。
2015-10-09 上传大小:1.56MB
想读
分享
收藏 举报
Programming Rust 原版无水印pdf 2017.11月出版新书

Programming Rust Fast, Safe Systems Development pdf所有页面使用FoxitReader和PDF-XChangeViewer测试都可以打开 本资源转载自网络,如有侵权,请联系上传者或csdn删除 by Jim Blandy and Jason Orendorff Copyright © 2018 Jim Blandy, Jason Orendorff. All rights reserved. Printed in the United States of America. Published by

立即下载
Real-Time Systems and Programming Languages Ada (4th Edition).pdf

Real-Time Systems and Programming Languages Ada, Real-Time Java and CReal-Time POSIX (4th Edition).pdf

立即下载
Types and Programming Languages PDF 英文

《类型与编程语言》 学FP的同学可能需要这本书

立即下载
Types and Programming Languages

The study of type systems—and of programming languages from a type- theoretic perspective—has become an energetic field with major applications in software engineering, language design, high-performance compiler imple- mentation, and security. This text offers a comprehensive introduction to the fun

立即下载
python3.7.2官方文档

python 官方文档3.7.2版本,解压后打开index.html即可使用

立即下载
类型和程序设计语言(Types and Programming Languages)

中文 完整 带标签页 高清版

立即下载
Expert Systems Principles and Programming (Third Edition)

This book combines coverage of expert systems theory with a discussion of practical applications using CLIPS, and expert systems shell widely used in government, industry, and education.

立即下载
The Go Programming Language (labeled)

The Go Programming Language (Go语言圣经)英文版,带标签,内容清晰。本书是Go语言学习的必读书籍。 The Go programming language is an open source project to make programmers more productive. Go is expressive, concise, clean, and efficient. Its concurrency mechanisms make it easy to write programs that get the most out of multicore a

立即下载
Go Systems Programming 无水印pdf

Go Systems Programming 英文无水印pdf pdf转化版,非原版pdf pdf所有页面使用FoxitReader和PDF-XChangeViewer测试都可以打开 本资源转载自网络,如有侵权,请联系上传者或csdn删除 本资源转载自网络,如有侵权,请联系上传者或csdn删除

立即下载
IEC-61131-3-Programming-Industrial-Automation-Systems-Karl-Heinz

Beckhofff 经典IEC61131-3资料

立即下载
The Java Programming Language中文版

《 The Java Programming Language Third Edition》,《Java编程语言第4版》,中文版,不是很清晰,但绝对是好书。

立即下载
《the C++ programming language》第四版中文版卷一2017

这是C++之父的呕心沥血之作,最权威,最能体现C++设计思想的教程,第四版支持C++11新特性。 中文版全书分两部分,这是第一部分,总计750页。

立即下载
The C++ Programming Language_4th Edition.pdf

The C++ Programming Language_4th Edition 《C++程序设计语言》 英文版 第四版 C++之父Bjarne Stroustrup新作

立即下载
The C Programming Language中文版+英文版 经典C编程书籍高清PDF+书签

C语言编程必看书籍之一,个人感觉入门用C和指针, 提升看The C Programming Language,习题加课后讲解认真做,C语言精通不是问题

立即下载
C++ programming language第四版(中英文版 高清pdf)

C++之父Bjarne Stroustrup经典之作,C++程序设计语言》(原书第4版)是C++领域最经典的参考书,介绍了C++11的各项新特性和新功能。全书共分四部分。第一部分(第1~5章)是引言,包括C++的背景知识,C++语言及其标准库的简要介绍;第二部分(第6~15章)介绍C++的内置类型和基本特性,以及如何用它们构造程序;第三部分(第16~29章)介绍C++的抽象机制及如何用这些机制编写面向对象程序和泛型程序;第四部分(第30~44章)概述标准库并讨论一些兼容性问题。由于篇幅问题,原书中文版分两册出版,分别对应原书的第一至三部分和第四部分。这一册为第一至三部分。

立即下载
The C Programming Language(2nd Edition) 中文完整版PDF

从PDG格式转换过来的,绝对完整,较清晰。供大家分享,顺便赚点积分

立即下载
The C Programming Language 第二版 pdf(中英文版本+习题解答)

The C Programming Language 第二版新版,文件为电子版的pdf文件,非扫描版,压缩包内包括了中文版和英文版,还有习题解答(习题为英文版,都是程序代码,不影响阅读)。

立即下载
The C Programming Language 中文版(第二版) PDF版

此资料为PDF版本,非扫描版本,文字非常清晰 《The C Programming language》不仅在C与C++语言界,而且在整个程序设计语言教学 与研究界都是耳熟能详的经典著作。最主要的两点原因是: 其一,这部著作自第l版问世后就一直深受广大读者欢迎,畅销不衰,是计算机学术界与 教育界著书立说的重要参考文献。可以说,几乎所有的程序设计语言著作以及C 与C++著作 的作者都把这部著作作为参考文献。早在20 年前我国就翻译出版过这部著作的第1 版。 其二,这部著作的原作者之一Dennis M. Ritchie是C语言的设计者,这样就保证了在著 作中能完整、准确地体现与描述C 语言的设计思想

立即下载
The C Programming Language(中文第2版).pdf

《计算机科学丛书:C程序设计语言(第2版·新版)》是由C语言的设计者Brian W.Kernighan和Dennis M.Ritchie编写的一部介绍标准C语言及其程序设计方法的专业性经典著作。全面、系统地讲述了C语言的各个特性及程序设计的基本方法,包括基本概念,类型和表达式、控制流、函数与程序结构、指针与数组、结构、输入与输出、UNIX系统接口、标准库等内容。

立即下载
The C++ programming language 特别版高清中文 PDF

C++圣经:《The C++ programming language》第二部分(2-2 )

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

type systems and programming language

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
0 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: