欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“NASA”的页面!
页面标题匹配
- ...3D virtual globe for use on desktop computers running Windows. It combines NASA imagery generated from satellites that have produced Blue Marble, Landsat 7 License : NASA Open Source Agreement778字节(103个字) - 2010年9月26日 (日) 09:26
页面内容匹配
- 45 KB(1,872个字) - 2015年12月30日 (三) 04:13
- ...直接下载源代码。目前,Globus 的技术已经在 NASA 网格(NASA IPG)、欧洲数据网格(Data Grid)、 美国国家技术网格(NT4 KB(176个字) - 2013年2月5日 (二) 04:49
- ...,所以通常有很高的性价比。Beowulf集群这种方法很快从NASA传遍了整个科研机构和社团。实际上,Beowulf集群现在已被4 KB(157个字) - 2022年8月27日 (六) 02:54
- ...orld Wide Web Worm(First Mention of McBryan’s World Wide Web Worm)、NASA的Repository-Based Software Engineering (RBSE) spider。12 KB(387个字) - 2013年2月20日 (三) 04:04
- ...ortable Batch System. It is a flexible batch queueing system developed for NASA in the early to mid-1990s. It operates on networked, multi-platform UNIX en581字节(82个字) - 2010年9月26日 (日) 11:01
- Load NASA Blue Marble Data: 2.78G *[https://github.com/NASAWorldWind/WorldWindServerKit WorldWindServerKit]8 KB(1,039个字) - 2021年6月8日 (二) 06:00
- ...3D virtual globe for use on desktop computers running Windows. It combines NASA imagery generated from satellites that have produced Blue Marble, Landsat 7 License : NASA Open Source Agreement778字节(103个字) - 2010年9月26日 (日) 09:26
- Punt is compatible with NASA [[World Wind]] data servers, cached data, and AddOns. Plugins written for W License : LGPL, MPL 1.1, NASA Open Source Agreement600字节(93个字) - 2008年2月26日 (二) 06:53
- * Google Earth 之外的选择: [[NASA World Wind]]907字节(59个字) - 2010年10月22日 (五) 02:39
- ...基地一起研究太空时代的发展。Google将要在 Moffett Field的NASA研究园建立一个百万平方英尺(92903平方米)的联合办公楼,8 KB(173个字) - 2010年10月11日 (一) 01:36
- ...ASA-Jet-Propulsion-Laboratory.pdf How to Launch a Secure Cloud Initiative: NASA’s Jet Propulsion Laboratory]1 KB(82个字) - 2015年2月21日 (六) 07:08
- ...灵活性也反映在各种各样都采用了PostgreSQL的组织上。如NASA(美国宇航局)、FAA(联邦航空局)、 芝加哥商品交易中3 KB(96个字) - 2015年2月27日 (五) 00:31
- *[https://rethinkdb.com/blog/nasa-case-study/ RethinkDB Case Study: NASA Extra-Vehicular Activity (EVA)]2 KB(239个字) - 2021年11月2日 (二) 03:16
- .../2015/CON4635-NASA-Space-Mission-Support-Fueled-by-the-Java-Ecosystem.pptx NASA Space Mission Support Fueled by the Java Ecosystem]6 KB(693个字) - 2022年5月3日 (二) 03:04
- ...PVS)] [https://github.com/SRI-CSL/PVS PVS] [https://github.com/nasa/pvslib NASALib] written in [[Common Lisp]] [[文件:nasa-fm-logo.jpg|right|NASA Langley's Formal Methods]]20 KB(1,614个字) - 2023年8月3日 (四) 23:57
- [[文件:nasa-fm-logo.jpg|right|NASA Langley's Formal Methods]] *[https://shemesh.larc.nasa.gov/fm/ NASA Langley Formal Methods Research Program]7 KB(612个字) - 2023年8月4日 (五) 08:59
- ...ce-development.html NASA Open Source Development] [https://github.com/nasa NASA @ GitHub]10 KB(710个字) - 2023年3月24日 (五) 01:44
- ...推进实验室(Jet Propulsion Laboratory)] [https://www.jpl.nasa.gov/ NASA Jet Propulsion Laboratory (JPL) - Robotic Space Exploration]6 KB(389个字) - 2023年7月24日 (一) 00:47
- ...推进实验室(Jet Propulsion Laboratory)] [https://www.jpl.nasa.gov/ NASA Jet Propulsion Laboratory (JPL) - Robotic Space Exploration]508字节(43个字) - 2022年8月3日 (三) 08:20
分享您的观点