Randal E. Bryant：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (60)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

51

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

Randal E. Bryant, James H. Kukula (auth.), Andreas Kuehlmann (eds.)

年:

2003

语言:

english

文件:

PDF, 36.96 MB

0 / 0

english, 2003

52

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

年:

2004

语言:

english

文件:

PDF, 11.79 MB

0 / 0

english, 2004

53

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Frank Pfenning (eds.)

年:

2006

语言:

english

文件:

PDF, 4.02 MB

0 / 0

english, 2006

54

Third Caltech Conference on Very Large Scale Integration

Third Caltech Conference on Very Large Scale Integration

Springer-Verlag Berlin Heidelberg

Egon Hörbst, Gerd Sandweg, Stefan Wallstab (auth.), Randal Bryant (eds.)

年:

1983

语言:

english

文件:

PDF, 17.01 MB

0 / 0

english, 1983

55

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant, Steven German, Miroslav N. Velev (auth.), Neil V. Murray (eds.)

年:

1999

语言:

english

文件:

PDF, 5.75 MB

0 / 0

english, 1999

56

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant, Steven German, Miroslav N. Velev (auth.), Neil V. Murray (eds.)

年:

1999

语言:

english

文件:

PDF, 13.67 MB

0 / 0

english, 1999

57

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Frank Pfenning (eds.)

年:

2006

语言:

english

文件:

PDF, 3.76 MB

0 / 0

english, 2006

58

Computer Systems: A Programmer's Perspective

Computer Systems: A Programmer's Perspective

Randal Bryant, David O'Hallaron

年:

2015

语言:

english

文件:

PDF, 71.06 MB

5.0 / 4.0

english, 2015

59

Computer Systems

Computer Systems

Randal E. Bryant, David R. O'Hallaron

年:

2015

语言:

english

文件:

PDF, 3.70 MB

5.0 / 5.0

english, 2015

60

Computer Systems: A Programmer's Perspective (English Edition)

Computer Systems: A Programmer's Perspective (English Edition)

Randal E. Bryant & David R. O'Hallaron

年:

2015

语言:

english

文件:

PDF, 14.21 MB

0 / 3.5

english, 2015