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

IT基础

今日: 0|主题: 1511|发帖排名第 1465 位
1 ...8910111213141516 下一页
排序: 最后发表|精华|推荐|
Discovering Modern Set Theory attachment

2 1259 wxwpxh：2022-11-14 发表 | 最后回复：wxwpxh2024-5-26

佛系程序员的月薪五万指南 attachment

1 727 sunhd：2024-4-24 发表 | 最后回复：qqgy2024-4-24

Go微服务精讲：Go-Zero全流程实战即时通讯

0 2488 编程猿：2024-4-15 发表 | 最后回复：编程猿2024-4-15

Understanding Deep Learning attachment

0 916 wxwpxh：2024-4-7 发表 | 最后回复：wxwpxh2024-4-7

深入微软SQL SERVER编程 attachment

1 766 神洲一号：2024-4-1 发表 | 最后回复：junyun03152024-4-2

敏捷方法-研讨会-2019-中文版 attachment

1 703 redkid：2024-3-31 发表 | 最后回复：junyun03152024-4-1

NIST 隐私框架-privacy framework - 中文版 attachment

0 783 redkid：2024-3-31 发表 | 最后回复：redkid2024-3-31

敏捷流程-极限编程-2020-中文版 attachment

0 692 redkid：2024-3-31 发表 | 最后回复：redkid2024-3-31

网络空间和网络安全-CyberSpace and CyberSecurity attachment

0 710 redkid：2024-3-31 发表 | 最后回复：redkid2024-3-31

来自SAP很火的机器学习笔记（700页） attachment agree  ...2

14 1629 wxwpxh：2024-3-29 发表 | 最后回复：laomm0022024-3-31

Computational logic in multi-agent systems-Jürgen Dix João Leite attachment

0 758 wxwpxh：2024-3-20 发表 | 最后回复：wxwpxh2024-3-20

Public Key Cryptography-Ronald Cramer attachment

0 706 wxwpxh：2024-3-20 发表 | 最后回复：wxwpxh2024-3-20

Artificial Intelligence And Symbolic Computation attachment

1 836 wxwpxh：2024-3-19 发表 | 最后回复：junyun03152024-3-19

Compiler Construction-Evelyn Duesterwald attachment

0 795 wxwpxh：2024-3-19 发表 | 最后回复：wxwpxh2024-3-19

Network Analysis Methodological Foundations

1 795 wxwpxh：2024-3-19 发表 | 最后回复：wxwpxh2024-3-19

How the Mind Works-Steven Pinker attachment agree

3 939 wxwpxh：2024-2-24 发表 | 最后回复：laomm0022024-3-3

Genetic Programming Theory and Practice V attachment

1 839 wxwpxh：2024-2-24 发表 | 最后回复：aller-aller2024-2-24

Functional, Concurrent and Logic Programming Languages attachment

1 830 wxwpxh：2024-2-24 发表 | 最后回复：aller-aller2024-2-24

美国国防部体系结构框架DoDAF2.0中文版卷2

0 762 cindgy：2024-2-22 发表 | 最后回复：cindgy2024-2-22

美国国防部体系结构框架DoDAF2.0中文版卷2 attachment

0 778 cindgy：2024-2-22 发表 | 最后回复：cindgy2024-2-22

美国国防部体系结构框架DoDAF2.0中文版卷1 attachment

0 771 cindgy：2024-2-22 发表 | 最后回复：cindgy2024-2-22

The little SAS book（中文版全文） attachment

3 1606 姜艳文：2023-1-15 发表 | 最后回复：sduwukun2024-1-18

PROBLEMS IN PLANE AND SOLID GEOMETRY attach_img

1 737 wxwpxh：2023-12-20 发表 | 最后回复：laomm0022023-12-20

How to Think Like a Mathematician attachment agree  ...2

17 2093 wxwpxh：2023-11-16 发表 | 最后回复：5126611012023-11-18

Topology of Closed One-Forms attachment

3 891 wxwpxh：2023-11-16 发表 | 最后回复：laomm0022023-11-18

Crossed Products of C-algebras attachment

3 838 wxwpxh：2023-11-16 发表 | 最后回复：laomm0022023-11-18

Representation Theory and Automorphic Forms attachment

3 924 wxwpxh：2023-11-16 发表 | 最后回复：laomm0022023-11-18

Motif Programming Manua6B attach_img

0 829 wxwpxh：2023-10-28 发表 | 最后回复：wxwpxh2023-10-28

Motif Programming Manua6A attach_img

0 755 wxwpxh：2023-10-28 发表 | 最后回复：wxwpxh2023-10-28

Type Theory and Functional Programming attachment

2 834 wxwpxh：2023-10-21 发表 | 最后回复：laomm0022023-10-22

Mathematical Linguistics attachment

2 804 wxwpxh：2023-10-21 发表 | 最后回复：laomm0022023-10-21

Logic, Programming and Prolog, 2nd Edition attachment

1 772 wxwpxh：2023-10-18 发表 | 最后回复：xujingjun2023-10-18

Linkers and Loaders attachment

5 1039 wxwpxh：2023-10-14 发表 | 最后回复：实不相瞒今晚想你2023-10-16

Logic Proof Jeremy Avigad, Robert Y. Lewis, Floris van D attachment

1 824 wxwpxh：2023-9-23 发表 | 最后回复：laomm0022023-10-15

Logic Programming Operational Semantics and Proof Theory attachment

1 783 wxwpxh：2023-10-1 发表 | 最后回复：laomm0022023-10-15

Semantics with Applications-Hanne Riis Nielson, Flemming Nielson attach_img

2 991 wxwpxh：2023-10-2 发表 | 最后回复：laomm0022023-10-15

General theory of information transfer and combinatorics attachment

1 888 wxwpxh：2023-10-3 发表 | 最后回复：laomm0022023-10-15

Generative Programming: attachment

2 1082 wxwpxh：2023-4-20 发表 | 最后回复：laomm0022023-10-15

On the Integration of Algebraic Functions attachment

2 815 wxwpxh：2023-10-14 发表 | 最后回复：laomm0022023-10-15

Concrete Abstractions attachment

2 819 wxwpxh：2023-10-14 发表 | 最后回复：laomm0022023-10-15

统计机器学习导论PDF attachment agree  ...23

26 2703 最是楚：2023-10-12 发表 | 最后回复：方衔感于一剑2023-10-14

环境环保的职称 17796306010

1 649 17796306010：2022-7-11 发表 | 最后回复：173224861402023-10-14

Computability and Unsolvability attachment

1 803 wxwpxh：2023-10-5 发表 | 最后回复：laomm0022023-10-13

an Introduction to the Theory of Computation attachment

3 976 wxwpxh：2023-10-5 发表 | 最后回复：laomm0022023-10-13

Network Analysis attachment

1 773 wxwpxh：2023-10-11 发表 | 最后回复：laomm0022023-10-13

The Use of Projective Geometry in Computer Graphics attachment

3 804 wxwpxh：2023-10-6 发表 | 最后回复：tianwk2023-10-7

Geometric Algebra for Computer Graphics attachment

1 742 wxwpxh：2023-10-6 发表 | 最后回复：laomm0022023-10-6

Algebraic methods：theory, tools, and applications attachment agree

6 1153 wxwpxh：2023-10-3 发表 | 最后回复：xjg2023-10-4

Qualified Types Theory and Practice-Mark P. Jones attach_img

2 907 wxwpxh：2023-10-1 发表 | 最后回复：laomm0022023-10-2

Functional Programming and Input/Output attachment

1 739 wxwpxh：2023-10-1 发表 | 最后回复：laomm0022023-10-2

Two-Level Functional Languages attachment

0 719 wxwpxh：2023-9-30 发表 | 最后回复：wxwpxh2023-9-30

Rippling Meta-Level Guidance for Mathematical Reasoning attachment

0 695 wxwpxh：2023-9-29 发表 | 最后回复：wxwpxh2023-9-29

The Logic of Typed Feature Structures attachment

0 764 wxwpxh：2023-9-29 发表 | 最后回复：wxwpxh2023-9-29

李庆扬—清华 第五版 attachment agree  ...23

25 2309 zhesisheng：2023-9-23 发表 | 最后回复：bbcer3142023-9-26

Automata Theory: An Algorithmic Approach-Esparza Javier attach_img

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

Mathematics for Computer Science attachment

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

Axiomatic Domain Theory in Categories of Partial Maps attachment

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

Efficient Algorithms for Listing Combinatorial Structures attachment

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

Process Algebra attachment

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

Topology via Logic attachment

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

Proofs and Types attachment

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

Predicate Transformer Semantics attachment

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

Nets, Terms and Formulas attachment

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

Modal Logic attachment

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

Metamathematics, Machines and Gödel's Proof attachment

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

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

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

Logic and Computation attachment

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

Hybrid Graph Theory and Network Analysis attachment

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

Free Choice Petri Nets attachment

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

Formal Specification and Design attachment

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

Formal Semantics and Pragmatics for Natural Language Querying attachment

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

Epistemic Logic for AI and Computer Science attachment

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

Deductive and Declarative Programming attachment

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

Belief Revision attachment

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

Basic Simple Type Theory attachment

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

Basic Proof Theory attachment

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

The Optimal Implementation of Functional Programming Languages attachment

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

Applications of Process Algebra attachment

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

Algorithmic Information Theory attachment agree

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

Domains and Lambda-Calculi attachment

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

求推荐汇编的书

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

Algebraic Specification of Communication Protocols attachment

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

Debian系统的特点

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

Computer Networking 8th Edition by James F. Kurose attachment

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

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

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

Foundations of Logic and Mathematics attachment agree

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

Formal Method attachment

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

Computing Essentials 2023, 29th Edition attachment

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

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

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

Recursion Via Pascal attachment

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

An Introduction to Computational Combinatorics attachment

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

A Practical Introduction to Denotational Semantics attachment

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

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

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

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

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

From a Logical Point of View- V. Quine attachment

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

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

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

The Situation in Logic attachment

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

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

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

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

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

Formal Semantics - Jan van Eijck attachment

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

1 ...8910111213141516 下一页
管理学报投稿 电子科技大学机械电子工程设计 梧州数据 哈尔滨工业大学结构力学 融资租赁中国 四川外国语大学德语 周口数据 职业初中在校生数 乌鲁木齐数据 宪法与行政法考研 公共管理学习题 文档管理 禽蛋产量2023 中国哲学史考研 对外直接投资中国 专利授权数数据 薪酬激励 工资总额就业人员 通信原理考研 固定资产投资总额2023
本版微信群
jg-xs1
拉您进交流群

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

GMT+8, 2025-12-28 21:30