收藏本版 |订阅|去CDA网校免费看海量视频

IT基础

今日: 0|主题: 1554|发帖排名第 1467 位
1 ...8910111213141516 下一页
排序: 最后发表|精华|推荐|
Automata Theory: An Algorithmic Approach-Esparza Javier attach_img

0 831 wxwpxh：2023-9-18 发表 | 最后回复：wxwpxh2023-9-18

Mathematics for Computer Science attachment

0 941 wxwpxh：2023-9-18 发表 | 最后回复：wxwpxh2023-9-18

Axiomatic Domain Theory in Categories of Partial Maps attachment

1 811 wxwpxh：2023-9-6 发表 | 最后回复：5126611012023-9-6

Efficient Algorithms for Listing Combinatorial Structures attachment

1 801 wxwpxh：2023-9-6 发表 | 最后回复：5126611012023-9-6

Process Algebra attachment

6 1045 wxwpxh：2023-9-3 发表 | 最后回复：yiyijiayuan2023-9-4

Topology via Logic attachment

0 895 wxwpxh：2023-9-3 发表 | 最后回复：wxwpxh2023-9-3

Proofs and Types attachment

0 892 wxwpxh：2023-9-3 发表 | 最后回复：wxwpxh2023-9-3

Predicate Transformer Semantics attachment

0 949 wxwpxh：2023-9-3 发表 | 最后回复：wxwpxh2023-9-3

Nets, Terms and Formulas attachment

0 803 wxwpxh：2023-9-1 发表 | 最后回复：wxwpxh2023-9-1

Modal Logic attachment

0 848 wxwpxh：2023-9-1 发表 | 最后回复：wxwpxh2023-9-1

Metamathematics, Machines and Gödel's Proof attachment

0 879 wxwpxh：2023-9-1 发表 | 最后回复：wxwpxh2023-9-1

《DAMA数据管理知识体系指南》 attach_img

2 3014 kein强：2018-11-14 发表 | 最后回复：freeman_dong102023-8-25

Logic and Computation attachment

0 923 wxwpxh：2023-8-23 发表 | 最后回复：wxwpxh2023-8-23

Hybrid Graph Theory and Network Analysis attachment

0 791 wxwpxh：2023-8-23 发表 | 最后回复：wxwpxh2023-8-23

Free Choice Petri Nets attachment

0 836 wxwpxh：2023-8-22 发表 | 最后回复：wxwpxh2023-8-22

Formal Specification and Design attachment

0 813 wxwpxh：2023-8-22 发表 | 最后回复：wxwpxh2023-8-22

Formal Semantics and Pragmatics for Natural Language Querying attachment

0 918 wxwpxh：2023-8-20 发表 | 最后回复：wxwpxh2023-8-20

Epistemic Logic for AI and Computer Science attachment

0 820 wxwpxh：2023-8-20 发表 | 最后回复：wxwpxh2023-8-20

Deductive and Declarative Programming attachment

0 808 wxwpxh：2023-8-20 发表 | 最后回复：wxwpxh2023-8-20

Belief Revision attachment

0 891 wxwpxh：2023-8-9 发表 | 最后回复：wxwpxh2023-8-9

Basic Simple Type Theory attachment

0 933 wxwpxh：2023-8-9 发表 | 最后回复：wxwpxh2023-8-9

Basic Proof Theory attachment

1 1184 wxwpxh：2023-8-7 发表 | 最后回复：aller-aller2023-8-7

The Optimal Implementation of Functional Programming Languages attachment

1 1011 wxwpxh：2023-8-6 发表 | 最后回复：HappyAndy_Lo2023-8-6

Applications of Process Algebra attachment

1 976 wxwpxh：2023-8-6 发表 | 最后回复：HappyAndy_Lo2023-8-6

Algorithmic Information Theory attachment agree

6 1199 wxwpxh：2023-7-31 发表 | 最后回复：xujingjun2023-8-1

Domains and Lambda-Calculi attachment

0 804 wxwpxh：2023-7-31 发表 | 最后回复：wxwpxh2023-7-31

求推荐汇编的书

5 1115 eclipsa：2023-7-27 发表 | 最后回复：albertwishedu2023-7-30

Algebraic Specification of Communication Protocols attachment

1 1015 wxwpxh：2023-7-30 发表 | 最后回复：aller-aller2023-7-30

Debian系统的特点

3 1612 olympic：2023-7-17 发表 | 最后回复：albertwishedu2023-7-17

Computer Networking 8th Edition by James F. Kurose attachment

1 1492 HYC0817：2021-11-21 发表 | 最后回复：atwoodcloyd2023-7-17

Fluent Python, 2nd edition,英文版，azw3格式 attach_img agree

4 2651 zjbigcat：2022-4-21 发表 | 最后回复：kd_czj2023-6-23

Foundations of Logic and Mathematics attachment agree

0 1266 wxwpxh：2023-6-23 发表 | 最后回复：wxwpxh2023-6-23

Formal Method attachment

0 852 wxwpxh：2023-6-23 发表 | 最后回复：wxwpxh2023-6-23

Computing Essentials 2023, 29th Edition attachment

0 1349 mycuidou：2023-5-30 发表 | 最后回复：mycuidou2023-5-30

流动性LP质押挖矿模式系统开发

0 808 v_Congge420：2023-5-22 发表 | 最后回复：v_Congge4202023-5-22

Recursion Via Pascal attachment

0 745 wxwpxh：2023-5-18 发表 | 最后回复：wxwpxh2023-5-18

An Introduction to Computational Combinatorics attachment

0 786 wxwpxh：2023-5-18 发表 | 最后回复：wxwpxh2023-5-18

A Practical Introduction to Denotational Semantics attachment

0 751 wxwpxh：2023-5-18 发表 | 最后回复：wxwpxh2023-5-18

stata如何对比两个字符型变量，并将相同的字段放入新生成的变量

1 2412 念德科：2021-2-28 发表 | 最后回复：Magritt2023-5-11

Language, Proof, and Logic-Jon Barwise & John Etchemendy attachment

1 1075 wxwpxh：2023-4-24 发表 | 最后回复：bbcer3142023-4-24

From a Logical Point of View- V. Quine attachment

0 908 wxwpxh：2023-4-24 发表 | 最后回复：wxwpxh2023-4-24

Communicating Sequential Processes-C.A.R. Hoare attachment

3 974 wxwpxh：2023-4-20 发表 | 最后回复：末日先驱2023-4-21

The Situation in Logic attachment

2 865 wxwpxh：2023-4-20 发表 | 最后回复：末日先驱2023-4-21

The Development of Mathematical Logic (From Russel to Tarski) attachment

0 950 wxwpxh：2023-4-21 发表 | 最后回复：wxwpxh2023-4-21

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approac attachment

1 929 wxwpxh：2023-4-20 发表 | 最后回复：moses2023-4-21

Formal Semantics - Jan van Eijck attachment

0 842 wxwpxh：2023-4-20 发表 | 最后回复：wxwpxh2023-4-20

Notes on Set Theory attachment

0 947 wxwpxh：2023-4-20 发表 | 最后回复：wxwpxh2023-4-20

Formal Models of Operating System Kernels attachment

0 820 wxwpxh：2023-4-20 发表 | 最后回复：wxwpxh2023-4-20

Introduction to complexity theory-Oded Goldreich attachment

0 711 wxwpxh：2023-4-20 发表 | 最后回复：wxwpxh2023-4-20

Theory of Sets attachment

0 773 wxwpxh：2023-4-20 发表 | 最后回复：wxwpxh2023-4-20

Descriptive Set Theory and Forcing-Miller, Arnold W attachment

0 981 wxwpxh：2023-4-20 发表 | 最后回复：wxwpxh2023-4-20

Foundations of Automatic Theorem Proving -Jean H. Gallier attachment

0 776 wxwpxh：2023-4-20 发表 | 最后回复：wxwpxh2023-4-20

Formal Requirements Engineering of Manufacturing Systems -Michael Petit attachment

0 962 wxwpxh：2023-4-20 发表 | 最后回复：wxwpxh2023-4-20

Types and Programming Languages attachment

0 939 wxwpxh：2023-4-16 发表 | 最后回复：wxwpxh2023-4-16

Programming in Martin-Löf's Type Theory attachment

0 975 wxwpxh：2023-4-16 发表 | 最后回复：wxwpxh2023-4-16

Theories of Programming Languages attachment

0 740 wxwpxh：2023-4-16 发表 | 最后回复：wxwpxh2023-4-16

Foundations of Algebraic Specification and Formal Software Development attachment

1 727 wxwpxh：2023-4-15 发表 | 最后回复：xjg2023-4-16

Computational Complexity: A Quantitative Perspective attach_img

0 1025 wxwpxh：2023-4-16 发表 | 最后回复：wxwpxh2023-4-16

semantics in business systems attachment

2 835 wxwpxh：2023-4-5 发表 | 最后回复：三重虫2023-4-15

Algebraic Semantics in Language and Philosophy attachment

1 803 wxwpxh：2023-4-5 发表 | 最后回复：三重虫2023-4-15

Denotational Semantics-David A. Schmidt attachment

1 935 wxwpxh：2023-4-5 发表 | 最后回复：三重虫2023-4-15

Ontological Semantics attachment

0 869 wxwpxh：2023-4-5 发表 | 最后回复：wxwpxh2023-4-5

Foundations of Object-Oriented Languages attachment

0 826 wxwpxh：2023-4-5 发表 | 最后回复：wxwpxh2023-4-5

Python Scripting for Computational Science attachment

0 944 wxwpxh：2023-3-25 发表 | 最后回复：wxwpxh2023-3-25

An Axiomatic Definition of the Programming Language Pascal attachment

0 750 wxwpxh：2023-3-25 发表 | 最后回复：wxwpxh2023-3-25

Structured Programming-Dahl,Dijkstra,Hoare attachment

0 860 wxwpxh：2023-3-25 发表 | 最后回复：wxwpxh2023-3-25

Unity 3D Game Development By Anthony Davis attachment 女生贴

0 894 renxiaoke86：2023-3-23 发表 | 最后回复：renxiaoke862023-3-23

代数规范和形式化软件开发的基础 attachment

1 1070 wxwpxh：2022-11-13 发表 | 最后回复：wxwpxh2023-3-19

算法之美-工程、应用、实战

6 1404 张大大的幸福：2020-1-21 发表 | 最后回复：zhaosl2023-3-18

unity引擎的发展简史

0 1318 info8282：2023-3-13 发表 | 最后回复：info82822023-3-13

Set Theory for the Working Mathematician-Ciesielski, Krzysztof attachment

0 905 wxwpxh：2023-3-11 发表 | 最后回复：wxwpxh2023-3-11

Modern Formal Methods and Applications-HOSSAM A. GABBAR attachment

0 930 wxwpxh：2023-3-11 发表 | 最后回复：wxwpxh2023-3-11

Recursive analysis attachment agree

9 1565 wxwpxh：2023-2-18 发表 | 最后回复：MouJack0072023-2-28

Combinatorial Set Theory-Paul Erdos attachment

2 966 wxwpxh：2023-2-25 发表 | 最后回复：albertwishedu2023-2-27

Axiomatic Set Theory-Paul Bernays attachment

2 950 wxwpxh：2023-2-25 发表 | 最后回复：albertwishedu2023-2-27

Computable Structures and the Hyperarithmetical Hierarchy attachment

3 871 wxwpxh：2023-2-25 发表 | 最后回复：albertwishedu2023-2-27

Constructible Sets with Applications attachment

1 999 wxwpxh：2023-2-25 发表 | 最后回复：marytwj2023-2-26

Computation Engineering Applied Automata Theory and Logic-Ganesh Gopalakrishnan attachment

1 964 wxwpxh：2023-2-25 发表 | 最后回复：aller-aller2023-2-26

Cylindric Algebras attachment

0 896 wxwpxh：2023-2-25 发表 | 最后回复：wxwpxh2023-2-25

Intensional Mathematics attach_img

0 878 wxwpxh：2023-2-21 发表 | 最后回复：wxwpxh2023-2-21

Introduction to the Theory of Finite Automata attachment

0 799 wxwpxh：2023-2-21 发表 | 最后回复：wxwpxh2023-2-21

Intuitionistic logic, model theory and forcing attachment

0 757 wxwpxh：2023-2-21 发表 | 最后回复：wxwpxh2023-2-21

Realizability : an introduction to its categorical side attachment agree

6 1320 wxwpxh：2023-2-18 发表 | 最后回复：悠悠仔2023-2-21

Logic Colloquium ´84 attachment

1 951 wxwpxh：2023-2-19 发表 | 最后回复：三重虫2023-2-20

Logic Colloquium ´88 attach_img

1 905 wxwpxh：2023-2-19 发表 | 最后回复：三重虫2023-2-20

Logical Frameworks for Truth and Abstraction attachment

1 853 wxwpxh：2023-2-19 发表 | 最后回复：三重虫2023-2-20

Problems in the Philosophy of Mathematics attachment

1 1000 wxwpxh：2023-2-19 发表 | 最后回复：三重虫2023-2-20

Quantification in Nonclassical Logic attachment

2 905 wxwpxh：2023-2-19 发表 | 最后回复：laomm0022023-2-20

Sets and classes : on the work by Paul Bernays attachment

1 869 wxwpxh：2023-2-19 发表 | 最后回复：三重虫2023-2-19

Reductive Logic and Proof-search attachment

1 1154 wxwpxh：2022-11-14 发表 | 最后回复：三重虫2023-2-19

Subsystems of Second Order Arithmetic 2nd Edition (Perspectives in Logic) attachment

1 928 wxwpxh：2022-11-14 发表 | 最后回复：三重虫2023-2-19

Set Theory - Boolean-Valued Models and Independence Proofs attachment

2 1209 wxwpxh：2022-11-14 发表 | 最后回复：三重虫2023-2-19

组合优化Combinrial Optimization: Algorithms and Complexity (Papadimitriou) attachment

1 923 hongbe123：2023-2-7 发表 | 最后回复：三重虫2023-2-19

Photoshop CC教程.epub attachment

1 3407 chengxin32：2023-2-8 发表 | 最后回复：三重虫2023-2-19

Logic for Computer Scientists attachment

1 1197 wxwpxh：2022-11-13 发表 | 最后回复：wxwpxh2023-2-18

集团公司信息化数字化转型IT蓝图总体规划报告321页PPT原版文档 attachment agree

4 1511 伴妮成长：2022-7-11 发表 | 最后回复：strong-ert2023-1-8

FTP命令 FTP响应码

1 915 olympic：2023-1-7 发表 | 最后回复：olympic2023-1-7

【网站设计解构-有效的交互设计框架和模式】 attach_img

1 1531 kein强：2018-11-15 发表 | 最后回复：Ldru2022-11-23

Categories and Computer Science attachment

0 1045 wxwpxh：2022-11-14 发表 | 最后回复：wxwpxh2022-11-14

Finite Model Theory and Its Applications attachment

0 1363 wxwpxh：2022-11-14 发表 | 最后回复：wxwpxh2022-11-14

1 ...8910111213141516 下一页
数字经济指数 情报杂志投稿 AI能力放大 社区活动 AI趋势报告 数据库原理课件 牧业增加值2024 常住人口2024 FRM资料 FRM教材 微生物学考研 民商法学考研 股票价格数据 财务会计复习 商品零售价格指数2024 人工智能课件 民俗学概论考研 环境工程微生物考研 油料生产价格指数数据 AIAG统计过程
本版微信群
扫码
拉您进交流群

京ICP备16021002号-2 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问：王进律师 知识产权保护声明   免责及隐私声明   用户协议

GMT+8, 2026-11-15 15:00