今日: 0|主题: 1511|发帖排名第 1465
排序: 最后发表|精华|推荐|
Discovering Modern Set Theory attachment

2 1259 wxwpxh2022-11-14 发表 | 最后回复:wxwpxh2024-5-26

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

1 727 sunhd2024-4-24 发表 | 最后回复:qqgy2024-4-24

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

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

Understanding Deep Learning attachment

0 916 wxwpxh2024-4-7 发表 | 最后回复:wxwpxh2024-4-7

深入微软SQL SERVER编程 attachment

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

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

1 703 redkid2024-3-31 发表 | 最后回复:junyun03152024-4-1

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

0 783 redkid2024-3-31 发表 | 最后回复:redkid2024-3-31

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

0 692 redkid2024-3-31 发表 | 最后回复:redkid2024-3-31

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

0 710 redkid2024-3-31 发表 | 最后回复:redkid2024-3-31

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

14 1629 wxwpxh2024-3-29 发表 | 最后回复:laomm0022024-3-31

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

0 758 wxwpxh2024-3-20 发表 | 最后回复:wxwpxh2024-3-20

Public Key Cryptography-Ronald Cramer attachment

0 706 wxwpxh2024-3-20 发表 | 最后回复:wxwpxh2024-3-20

Artificial Intelligence And Symbolic Computation attachment

1 836 wxwpxh2024-3-19 发表 | 最后回复:junyun03152024-3-19

Compiler Construction-Evelyn Duesterwald attachment

0 795 wxwpxh2024-3-19 发表 | 最后回复:wxwpxh2024-3-19

Network Analysis Methodological Foundations

1 795 wxwpxh2024-3-19 发表 | 最后回复:wxwpxh2024-3-19

How the Mind Works-Steven Pinker attachment agree

3 939 wxwpxh2024-2-24 发表 | 最后回复:laomm0022024-3-3

Genetic Programming Theory and Practice V attachment

1 839 wxwpxh2024-2-24 发表 | 最后回复:aller-aller2024-2-24

Functional, Concurrent and Logic Programming Languages attachment

1 830 wxwpxh2024-2-24 发表 | 最后回复:aller-aller2024-2-24

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

0 762 cindgy2024-2-22 发表 | 最后回复:cindgy2024-2-22

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

0 778 cindgy2024-2-22 发表 | 最后回复:cindgy2024-2-22

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

0 771 cindgy2024-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 wxwpxh2023-12-20 发表 | 最后回复:laomm0022023-12-20

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

17 2093 wxwpxh2023-11-16 发表 | 最后回复:5126611012023-11-18

Topology of Closed One-Forms attachment

3 891 wxwpxh2023-11-16 发表 | 最后回复:laomm0022023-11-18

Crossed Products of C-algebras attachment

3 838 wxwpxh2023-11-16 发表 | 最后回复:laomm0022023-11-18

Representation Theory and Automorphic Forms attachment

3 924 wxwpxh2023-11-16 发表 | 最后回复:laomm0022023-11-18

Motif Programming Manua6B attach_img

0 829 wxwpxh2023-10-28 发表 | 最后回复:wxwpxh2023-10-28

Motif Programming Manua6A attach_img

0 755 wxwpxh2023-10-28 发表 | 最后回复:wxwpxh2023-10-28

Type Theory and Functional Programming attachment

2 834 wxwpxh2023-10-21 发表 | 最后回复:laomm0022023-10-22

Mathematical Linguistics attachment

2 804 wxwpxh2023-10-21 发表 | 最后回复:laomm0022023-10-21

Logic, Programming and Prolog, 2nd Edition attachment

1 772 wxwpxh2023-10-18 发表 | 最后回复:xujingjun2023-10-18

Linkers and Loaders attachment

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

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

1 824 wxwpxh2023-9-23 发表 | 最后回复:laomm0022023-10-15

Logic Programming Operational Semantics and Proof Theory attachment

1 783 wxwpxh2023-10-1 发表 | 最后回复:laomm0022023-10-15

Semantics with Applications-Hanne Riis Nielson, Flemming Nielson attach_img

2 991 wxwpxh2023-10-2 发表 | 最后回复:laomm0022023-10-15

General theory of information transfer and combinatorics attachment

1 888 wxwpxh2023-10-3 发表 | 最后回复:laomm0022023-10-15

Generative Programming: attachment

2 1082 wxwpxh2023-4-20 发表 | 最后回复:laomm0022023-10-15

On the Integration of Algebraic Functions attachment

2 815 wxwpxh2023-10-14 发表 | 最后回复:laomm0022023-10-15

Concrete Abstractions attachment

2 819 wxwpxh2023-10-14 发表 | 最后回复:laomm0022023-10-15

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

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

环境环保的职称 17796306010

1 649 177963060102022-7-11 发表 | 最后回复:173224861402023-10-14

Computability and Unsolvability attachment

1 803 wxwpxh2023-10-5 发表 | 最后回复:laomm0022023-10-13

an Introduction to the Theory of Computation attachment

3 976 wxwpxh2023-10-5 发表 | 最后回复:laomm0022023-10-13

Network Analysis attachment

1 773 wxwpxh2023-10-11 发表 | 最后回复:laomm0022023-10-13

The Use of Projective Geometry in Computer Graphics attachment

3 804 wxwpxh2023-10-6 发表 | 最后回复:tianwk2023-10-7

Geometric Algebra for Computer Graphics attachment

1 742 wxwpxh2023-10-6 发表 | 最后回复:laomm0022023-10-6

Algebraic methods:theory, tools, and applications attachment agree

6 1153 wxwpxh2023-10-3 发表 | 最后回复:xjg2023-10-4

Qualified Types Theory and Practice-Mark P. Jones attach_img

2 907 wxwpxh2023-10-1 发表 | 最后回复:laomm0022023-10-2

Functional Programming and Input/Output attachment

1 739 wxwpxh2023-10-1 发表 | 最后回复:laomm0022023-10-2

Two-Level Functional Languages attachment

0 719 wxwpxh2023-9-30 发表 | 最后回复:wxwpxh2023-9-30

Rippling Meta-Level Guidance for Mathematical Reasoning attachment

0 695 wxwpxh2023-9-29 发表 | 最后回复:wxwpxh2023-9-29

The Logic of Typed Feature Structures attachment

0 764 wxwpxh2023-9-29 发表 | 最后回复:wxwpxh2023-9-29

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

25 2309 zhesisheng2023-9-23 发表 | 最后回复:bbcer3142023-9-26

Automata Theory: An Algorithmic Approach-Esparza Javier attach_img

0 714 wxwpxh2023-9-18 发表 | 最后回复:wxwpxh2023-9-18

Mathematics for Computer Science attachment

0 821 wxwpxh2023-9-18 发表 | 最后回复:wxwpxh2023-9-18

Axiomatic Domain Theory in Categories of Partial Maps attachment

1 723 wxwpxh2023-9-6 发表 | 最后回复:5126611012023-9-6

Efficient Algorithms for Listing Combinatorial Structures attachment

1 700 wxwpxh2023-9-6 发表 | 最后回复:5126611012023-9-6

Process Algebra attachment

6 916 wxwpxh2023-9-3 发表 | 最后回复:yiyijiayuan2023-9-4

Topology via Logic attachment

0 731 wxwpxh2023-9-3 发表 | 最后回复:wxwpxh2023-9-3

Proofs and Types attachment

0 750 wxwpxh2023-9-3 发表 | 最后回复:wxwpxh2023-9-3

Predicate Transformer Semantics attachment

0 751 wxwpxh2023-9-3 发表 | 最后回复:wxwpxh2023-9-3

Nets, Terms and Formulas attachment

0 737 wxwpxh2023-9-1 发表 | 最后回复:wxwpxh2023-9-1

Modal Logic attachment

0 699 wxwpxh2023-9-1 发表 | 最后回复:wxwpxh2023-9-1

Metamathematics, Machines and Gödel's Proof attachment

0 718 wxwpxh2023-9-1 发表 | 最后回复:wxwpxh2023-9-1

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

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

Logic and Computation attachment

0 713 wxwpxh2023-8-23 发表 | 最后回复:wxwpxh2023-8-23

Hybrid Graph Theory and Network Analysis attachment

0 711 wxwpxh2023-8-23 发表 | 最后回复:wxwpxh2023-8-23

Free Choice Petri Nets attachment

0 705 wxwpxh2023-8-22 发表 | 最后回复:wxwpxh2023-8-22

Formal Specification and Design attachment

0 664 wxwpxh2023-8-22 发表 | 最后回复:wxwpxh2023-8-22

Formal Semantics and Pragmatics for Natural Language Querying attachment

0 731 wxwpxh2023-8-20 发表 | 最后回复:wxwpxh2023-8-20

Epistemic Logic for AI and Computer Science attachment

0 705 wxwpxh2023-8-20 发表 | 最后回复:wxwpxh2023-8-20

Deductive and Declarative Programming attachment

0 702 wxwpxh2023-8-20 发表 | 最后回复:wxwpxh2023-8-20

Belief Revision attachment

0 719 wxwpxh2023-8-9 发表 | 最后回复:wxwpxh2023-8-9

Basic Simple Type Theory attachment

0 724 wxwpxh2023-8-9 发表 | 最后回复:wxwpxh2023-8-9

Basic Proof Theory attachment

1 907 wxwpxh2023-8-7 发表 | 最后回复:aller-aller2023-8-7

The Optimal Implementation of Functional Programming Languages attachment

1 803 wxwpxh2023-8-6 发表 | 最后回复:HappyAndy_Lo2023-8-6

Applications of Process Algebra attachment

1 755 wxwpxh2023-8-6 发表 | 最后回复:HappyAndy_Lo2023-8-6

Algorithmic Information Theory attachment agree

6 936 wxwpxh2023-7-31 发表 | 最后回复:xujingjun2023-8-1

Domains and Lambda-Calculi attachment

0 716 wxwpxh2023-7-31 发表 | 最后回复:wxwpxh2023-7-31

求推荐汇编的书

5 841 eclipsa2023-7-27 发表 | 最后回复:albertwishedu2023-7-30

Algebraic Specification of Communication Protocols attachment

1 781 wxwpxh2023-7-30 发表 | 最后回复:aller-aller2023-7-30

Debian系统的特点

3 1234 olympic2023-7-17 发表 | 最后回复:albertwishedu2023-7-17

Computer Networking 8th Edition by James F. Kurose attachment

1 1190 HYC08172021-11-21 发表 | 最后回复:atwoodcloyd2023-7-17

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

4 2284 zjbigcat2022-4-21 发表 | 最后回复:kd_czj2023-6-23

Foundations of Logic and Mathematics attachment agree

0 1008 wxwpxh2023-6-23 发表 | 最后回复:wxwpxh2023-6-23

Formal Method attachment

0 639 wxwpxh2023-6-23 发表 | 最后回复:wxwpxh2023-6-23

Computing Essentials 2023, 29th Edition attachment

0 1164 mycuidou2023-5-30 发表 | 最后回复:mycuidou2023-5-30

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

0 583 v_Congge4202023-5-22 发表 | 最后回复:v_Congge4202023-5-22

Recursion Via Pascal attachment

0 538 wxwpxh2023-5-18 发表 | 最后回复:wxwpxh2023-5-18

An Introduction to Computational Combinatorics attachment

0 533 wxwpxh2023-5-18 发表 | 最后回复:wxwpxh2023-5-18

A Practical Introduction to Denotational Semantics attachment

0 546 wxwpxh2023-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 wxwpxh2023-4-24 发表 | 最后回复:bbcer3142023-4-24

From a Logical Point of View- V. Quine attachment

0 713 wxwpxh2023-4-24 发表 | 最后回复:wxwpxh2023-4-24

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

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

The Situation in Logic attachment

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

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

0 734 wxwpxh2023-4-21 发表 | 最后回复:wxwpxh2023-4-21

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

1 648 wxwpxh2023-4-20 发表 | 最后回复:moses2023-4-21

Formal Semantics - Jan van Eijck attachment

0 578 wxwpxh2023-4-20 发表 | 最后回复:wxwpxh2023-4-20

本版微信群
jg-xs1
拉您进交流群
GMT+8, 2025-12-28 21:30