模擬，可視化和轉化有限狀態自動機和圖靈機的工具。 在創建，模擬和轉換DFA和NFA機 創建和模擬TM 批量測試TM：！實用的功能來快速測試一堆文件 易於使用的圖形用戶界面（多文檔） 對象之間的智能鏈接 機器可以使用鼠標繪製 - 和調整隨時 多台計算機可在一個文檔中創建 多個文檔可以打開在同一時間 文檔可以保存並從磁盤重新加載 < LI>調試模式，看看究竟是如何機器正在工作（每一步都有不同的顏色） MacOS X的GUI兼容 什麼是新的本新聞稿中： 在FA和TM機可以導出到EPS文件...
音量計算器使您能夠快速確定多個幾何形狀的體積。我們的計算器提供了一個專業的外觀，同時提供準確的結果。特點：使用方便，界面直觀，詳細的圖紙，每一個幾何形狀都有，以便更好地理解計算方法公式量。...
從開發商：“中學的做法解釋線圖和使用功能的學生設置的初始水平;時間延遲;以及流屏幕上的水箱率，這樣它的水位隨著時間的推移匹配上顯示。相鄰線圖“ 要求： 的Mac OS...
WaTor World X 0.3
WaTor世界X是捕食型模擬的是Mac OS X版本由AK科學美國人最初描述DEWDNEY。鯊魚吃的魚，吃藻類，藻類生長在空白處。幾代指定數量後，魚和鯊魚死亡和繁殖。該參數可以在模擬過程中動態地改變。 這是我的第一個Cocoa應用程序，所以它可能有內存洩漏或其他問題。建設性的批評表示讚賞 什麼是此版本中的新： 版本0.3（2004年5月1日） < UL> 的Mac OS X 10.2的兼容性 0.2版（2004年3月29日） 在新增的動態滑塊 一詞後添加自動停止已經超越了藻類...
WeatherLink 6.0.3 更新
WeatherLink是一個特別配置的數據記錄器可以自動從控制台戴維斯儀器託管在您自己的天氣網站上傳戴維斯氣象站數據 什麼是新的在此版本： 固定WeatherLink網絡年度訂閱上傳網址 什麼在5.1.0版本新： 支持新的戴維斯氣象站，華帝Vue公司。 支持雪豹增加了USB驅動程序。 修正了變灰公告時正在運行的菜單選項的錯誤。 不再過多的職位信息到Mac的控制台。 菜單從WeatherLink窗口屏幕上方移動 要求： < LI>的Mac OS X 10.1 - 10.6 ...
webMathematica 2.0
webMathematica是添加交互式計算到網絡的明智選擇。這種獨特的技術使您能夠創建網站，允許用戶來計算，直接從Web瀏覽器可視化效果。 基於全球領先的技術計算軟件和成熟的Java Servlet技術，webMathematica是數學和國家的最先進的動態Web系統完全兼容。 什麼是新的的本新聞稿中： 在支持MathML和SVG，它可以讓用戶描述了公式和圖形標準的XML格式，可以通過瀏覽器讀取 支持追趕數學信息和打印輸出語句，在開發和調試應用程序的內容幫助 ...
What's My Place? 2.0.1
位值是最困難的概念對許多中等小學年齡的學生之一。你教給他們，幾個星期後，他們已經忘記了那裡的數万地方。點擊看什麼是我的位置？有助於保護。它有學生出點“，這數字是在一個特定的位值。學生也比較數字和單詞翻譯成數字。點擊看有四個級別這一計劃。 在第一級包括三位數字在二級包括數達六位數字在三級增加了數以百萬計期在四級覆蓋小數（幾萬，那些，十分之一和百分之一）...
Where Is M13? 2.3
在哪裡是M13？是一個新的天文學的應用程序，可以幫助您可視化三維位置和常見的深空天體的物理性質。這種觀點在天文書籍和軟件產品在市場上，其中重點明顯的數據，如赤經，赤緯，視星等，而外觀尺寸很少討論。哪裡是M13？旨在解決這一重要缺失。點擊看使用配對面對面的和邊緣的看法，銀河視圖顯示你所在的集群或星雲你喜歡看你的望遠鏡實際上是位於相對於中心和飛機銀河，提供銀河系的一個獨特的三維視角。點擊看對象列表中提供了有關你選擇列表中的對象重要的實物資料。銀河緯度和經度，以及光度，真正的大小和距離顯示。快速點擊複選框中帶來了...
