请选择 进入手机版 | 继续访问电脑版
今日: 5|主题: 410|发帖排名第 35
收起/展开

子版块

Scala及其他JVM语言

Scala及其他JVM语言

Scala、Clojure、Groovy、Jython、JRuby等流行JVM语言开发技术

289 / 1748
Linux操作系统

Linux操作系统

Linux服务器部署,管理,维护,高可用等方面的讨论

215 / 830
C与C++编程

C与C++编程 (1)

C/C++语言技巧,编译器使用,系统级开发等场景讨论

583 / 3187
JAVA语言开发

JAVA语言开发

Java语言技巧,J2EE,应用服务器(Weblogic、Websphere、JBoss)技术,设计模式,Struts、Webwork、Tapestry、Spring、Hibernate等框架。

1185 / 4979
全局置顶 2024通过AI实现SSCI写作发表弯道超车 attachment - [回帖奖励 69 ]  ...2345

42 7480 资料狂人2024-2-29 发表 | 最后回复:栾先生2 小时前

全局置顶 春分通用积分秒杀活动开始!

1 2668 764146049昨天 16:22 发表 | 最后回复:vividok昨天 21:26

本版置顶 【观点】5G通信技术的来龙去脉

1 1538 诗人都在海底2019-2-27 发表 | 最后回复:诗人都在海底2019-2-27

  版块主题
Artificial Intelligence And Symbolic Computation attachment

1 60 wxwpxh2 小时前 发表 | 最后回复:junyun03151 小时前

Compiler Construction-Evelyn Duesterwald attachment

0 50 wxwpxh2 小时前 发表 | 最后回复:wxwpxh2 小时前

Network Analysis Methodological Foundations

1 58 wxwpxh2 小时前 发表 | 最后回复:wxwpxh2 小时前

How the Mind Works-Steven Pinker attachment agree

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

Genetic Programming Theory and Practice V attachment

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

Functional, Concurrent and Logic Programming Languages attachment

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

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

1 194 cindgy2024-2-22 发表 | 最后回复:laomm0022024-2-24

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

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

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

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

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

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

The little SAS book(中文版全文) attachment

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

Citespace 6.1.6安装包 attach_img

2 1010 everyones2023-3-2 发表 | 最后回复:Jaydennn2023-12-30

PROBLEMS IN PLANE AND SOLID GEOMETRY attach_img

1 100 wxwpxh2023-12-20 发表 | 最后回复:laomm0022023-12-20

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

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

Topology of Closed One-Forms attachment

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

Crossed Products of C-algebras attachment

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

Representation Theory and Automorphic Forms attachment

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

The Relational Model for Database Management attachment

4 170 wxwpxh2023-11-14 发表 | 最后回复:laomm0022023-11-14

Motif Programming Manua6B attach_img

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

Motif Programming Manua6A attach_img

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

Type Theory and Functional Programming attachment

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

Mathematical Linguistics attachment

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

Logic, Programming and Prolog, 2nd Edition attachment

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

Linkers and Loaders attachment

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

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

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

Logic Programming Operational Semantics and Proof Theory attachment

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

Semantics with Applications-Hanne Riis Nielson, Flemming Nielson attach_img

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

General theory of information transfer and combinatorics attachment

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

Generative Programming: attachment

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

On the Integration of Algebraic Functions attachment

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

Concrete Abstractions attachment

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

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

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

环境环保的职称 17796306010

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

Computability and Unsolvability attachment

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

an Introduction to the Theory of Computation attachment

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

Network Analysis attachment

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

The Use of Projective Geometry in Computer Graphics attachment

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

Geometric Algebra for Computer Graphics attachment

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

Algebraic methods:theory, tools, and applications attachment agree

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

Qualified Types Theory and Practice-Mark P. Jones attach_img

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

Functional Programming and Input/Output attachment

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

Two-Level Functional Languages attachment

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

Rippling Meta-Level Guidance for Mathematical Reasoning attachment

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

The Logic of Typed Feature Structures attachment

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

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

24 629 zhesisheng2023-9-23 发表 | 最后回复:bbcer3142023-9-26

Automata Theory: An Algorithmic Approach-Esparza Javier attach_img

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

Mathematics for Computer Science attachment

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

Axiomatic Domain Theory in Categories of Partial Maps attachment

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

Efficient Algorithms for Listing Combinatorial Structures attachment

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

Process Algebra attachment

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

Topology via Logic attachment

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

Proofs and Types attachment

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

Predicate Transformer Semantics attachment

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

Nets, Terms and Formulas attachment

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

Modal Logic attachment

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

Metamathematics, Machines and Gödel's Proof attachment

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

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

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

Logic and Computation attachment

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

Hybrid Graph Theory and Network Analysis attachment

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

Free Choice Petri Nets attachment

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

Formal Specification and Design attachment

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

Formal Semantics and Pragmatics for Natural Language Querying attachment

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

Epistemic Logic for AI and Computer Science attachment

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

Deductive and Declarative Programming attachment

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

Belief Revision attachment

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

Basic Simple Type Theory attachment

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

Basic Proof Theory attachment

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

The Optimal Implementation of Functional Programming Languages attachment

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

Applications of Process Algebra attachment

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

Algorithmic Information Theory attachment agree

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

Domains and Lambda-Calculi attachment

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

求推荐汇编的书

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

Algebraic Specification of Communication Protocols attachment

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

Debian系统的特点

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

Computer Networking 8th Edition by James F. Kurose attachment

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

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

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

Foundations of Logic and Mathematics attachment agree

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

Formal Method attachment

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

Computing Essentials 2023, 29th Edition attachment

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

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

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

Recursion Via Pascal attachment

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

An Introduction to Computational Combinatorics attachment

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

A Practical Introduction to Denotational Semantics attachment

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

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

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

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

1 405 wxwpxh2023-4-24 发表 | 最后回复:bbcer3142023-4-24

From a Logical Point of View- V. Quine attachment

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

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

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

The Situation in Logic attachment

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

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

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

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

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

Formal Semantics - Jan van Eijck attachment

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

Notes on Set Theory attachment

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

Formal Models of Operating System Kernels attachment

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

Introduction to complexity theory-Oded Goldreich attachment

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

Theory of Sets attachment

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

Descriptive Set Theory and Forcing-Miller, Arnold W attachment

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

Foundations of Automatic Theorem Proving -Jean H. Gallier attachment

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

本版微信群
加JingGuanBbs
拉您进交流群

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

GMT+8, 2024-3-19 18:47