有奖纠错
| 划词

These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.

这些贡献包括编程语据类的公式验证,式规约与分析。

评价该例句:好评差评指正

用户正在搜索


evangelistic, evangelistically, evangelization, evangelize, Evaniidae, evanish, evanishment, Evanohm, Evans, evansite,

相似单词


3G, 401(K), a,

声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。

背诵为王(70课全)

He quickly learned the programming language called BASIC.

很快学会了叫做BASIC的编

评价该例句:好评差评指正
2018年精彩毕业演讲合辑

Don't shy away from learning new programming languages, new tools, new libraries.

不要逃避学习新的序设计语,新的工具和新的函数库。

评价该例句:好评差评指正
剑桥学霸读书分享

In particular, learning Python which is the world's most popular programming language.

特别是学习世界上最流行的编 Python。

评价该例句:好评差评指正
简单心理学

About half the participants were presented with Python, a popular text-based programming language.

大约一半的参与者使用了 Python,一种流行的基于文本的编

评价该例句:好评差评指正
连线杂志

Developers can use ChatGPT to get code assistance for specific programming languages, libraries, or frameworks.

开发人员可以使用 ChatGPT 获得特定编、库或框架的代码帮助。

评价该例句:好评差评指正
乔布斯传

Next he created for the Apple II a version of Pascal, a high-level programming language.

接下来又成功地将Pascal语移植到 Apple II 上,这是一种髙级编

评价该例句:好评差评指正
连线杂志

But in the very first week we use an even simpler programming language called Carol.

但在一周,我们使用的是一种更简单的编,称为 Carol。

评价该例句:好评差评指正
经济学人(汇总)

Oracle argues that Google unlawfully reused parts of Java, a programming language, in its Android smartphones.

甲骨文方面认为,谷歌在其安卓智能手机中非法重用了编Java的部分内容。

评价该例句:好评差评指正
连线杂志

ChatGPT itself was programmed using a variety of programming languages including Python, TensorFlow, and PyTorch among others.

ChatGPT 本身使用多种编进行编,包括 Python、TensorFlow 和 PyTorch 等。

评价该例句:好评差评指正
科学60秒 听力 2016年4月合集

So Voigt and his colleagues created what he calls the first human-made " programming language" for living cells.

所以,沃伊特和同事们创造了人类首例的活细胞" 编" 。

评价该例句:好评差评指正
Apple 最新资讯

Programming languages have some undefined behaviors, such as what to do with misaligned pointers or when encountering signed integer overflows.

有一些未定义行为,例如如何处理偏离的指针以及遇到带符号整数溢出时该怎么办。

评价该例句:好评差评指正
连线杂志

Did you know the name Python, the name for this programming language, actually comes from Monty Python's Flying Circus?

你知道 Python 这个名字吗,这种编的名字实际上来自 Monty Python 的飞行马戏团?

评价该例句:好评差评指正
华尔街日报

But when it began, Adobe only offered one product: PostScript, a programming language designed to print documents on Laser Printers.

但当它刚开始成立时,Adobe 只提供一种产品:PostScript,一种旨在在激光打印机上打印文档的编

评价该例句:好评差评指正
大神带你过雅思口语

I would like to study Python programming language.

- 我想学习 Python 编

评价该例句:好评差评指正
OpenAI开发者发布会

It can write code in all major programming languages.

它可以用所有主要的编编写代码。

评价该例句:好评差评指正
Veritasium真理元素

Nearly every programming language in existence is designed to be Turing-complete.

几乎每种现有的编都被设计为图灵完备的。

评价该例句:好评差评指正
stanger things

It's a computer programming language. - Teach it to me.

是种电脑编 -那你赶紧教我。

评价该例句:好评差评指正
CS50

But C, like most programming languages, is going to take you literally.

但是C语,像大多数编一样,会把你从字面上理解。

评价该例句:好评差评指正
乔布斯传

Bitmapping and graphical interfaces became features of Xerox PARC's prototype computers, such as the Alto, and its object-oriented programming language, Smalltalk.

位图显示和图形界面成为了施乐 PARC 开发的电脑样机(比如“奥图”电脑)和面向对象的编 Smalltalk 的特性。

评价该例句:好评差评指正
科学快报-科学美国人Science Quickly, from SCIENTIFIC AMERICAN

So it had to create the unicorn out of graphical programming language.

所以它必须用图形编来创建独角兽。

评价该例句:好评差评指正
加载更多

用户正在搜索


evaporation, evaporation-condensation, evaporative, evaporative cooler, evaporativity, evaporator, evapori(o)meter, evaporigraph, evaporimeter, evaporimetry,

相似单词


3G, 401(K), a,
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接