有奖纠错
| 划词

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

这些括编程语言和数据类的公理化,形验证,形与分析。

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

用户正在搜索


batuque, batwing, batwoman, BAU, baubee, bauble, bauchle, baucis, baud, Baud rate,

相似单词


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.

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

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

用户正在搜索


bauk, baulk, Baum, baume, baumetester, baumhauerite, bauneen, Bauru, bauson, Bautzen,

相似单词


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

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接