有奖纠错
| 划词

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

这些贡献包括编程语言和理化,形式验证,形式规约与分析。

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

用户正在搜索


lamington, laminiferous, laminiform, laminin, laminine, laminiplantar, laminiplantation, laminitentorium, laminitis, laminogram,

相似单词


3G, 401(K), a,

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

CS50

So we'll see and use some of these data types in just a bit.

所以我们将在到并使用其中的一些数据类型

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

Well, I recall earlier noting that there's other data types.

嗯,我记得前面提到过还有其他数据类型

评价该例句:好评差评指正
Introduction to Unity DOTS

Essentially value types like bytes, ints, floating points, simpler data types.

本质上是值类型,如字节、整数、浮点、更简单的数据类型

评价该例句:好评差评指正
Introduction to Unity DOTS

The data types aren't in any particular order.

数据类型没有任何特定的顺序。

评价该例句:好评差评指正
Software Engineering Daily

And so when we were talking about the data type lists, these parameters are probably there.

因此,当我们讨论数据类型列表时,这些参数很可能已经存在。

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

And then every application would plug directly into the data types that the file system knew about.

每个应用程序都直接连接到文件系统所识别的数据类型

评价该例句:好评差评指正
Software Engineering Daily

But amazingly enough, people are figuring out ways to get AI done with very extremely narrow data types.

但令人惊讶的是,人们正在想方设法通过使用非常狭窄的数据类型来实现人工智能。

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

C does not technically have a data type called string.

从技术上讲,C没有称为string的数据类型

评价该例句:好评差评指正
Introduction to Unity DOTS

And inside of here, we just pass in a bunch of data types.

在这里,我们只是传入一堆数据类型

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

So this includes supporting compaction of deleted files, nested data types, partial progress commits, and partition evolution support.

这包括支持删除文件的压缩、嵌套数据类型度提交以及区演支持。

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

And this is because C is very specific when it comes to its data types.

这是因为C在数据类型方面非常特殊。

评价该例句:好评差评指正
Introduction to Unity DOTS

The chunk shows you the data types.

该块显示了数据类型

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

So recall that C supports different data types.

回想一下,C支持不同的数据类型

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

Then there were all of these other data types.

还有其他所有的数据类型

评价该例句:好评差评指正
Introduction to Unity DOTS

So, this chunk of data has two different data types, the world time and world time queue.

因此,该数据块有两种不同的数据类型:世界时间和世界时间队列。

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

You can instead implicitly cast one data type to another just from context here.

您可以只从这里的上下文隐式地将一种数据类型转换为另一种数据类型

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

This enhancement allows you to add user-defined types consistently across multiple AWS regions, enabling global applications to maintain consistent data schemas.

此增强功能允许你在多个AWS区域一致地添加用户定义的数据类型,使全球应用程序能够保持一致的数据模式。

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

And when you add all those observations together, we get the kind of data that we can use in this report.

当把这些观察结果综合起来,我们就能得到这份报告中可用的数据类型

评价该例句:好评差评指正
牛津大学:雅思外教课

Sometimes, questions include a combination of different data types, so you might have a line graph and a table, or two different maps, for example.

有时,问题包括不同数据类型的组合,所以你可能到如线状图和表格,或两种不同的地图。

评价该例句:好评差评指正
Software Engineering Daily

And so, thank God we did, but I thought the data types were settled, which was, you know, single precision doubles precision.

感谢上帝我们这么做了, 但我觉得数据类型已经确定了,也就是单精度和双精度。

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

用户正在搜索


Lammastide, lammergeier, lammergeyer, lammie, lammister, lammy, Lamna, Lamnidae, Lamniformes, Lamnoidei,

相似单词


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

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接