รูปแบบซิลิกอน Macintosh และซอฟต์แวร์การจำลอง สร้างเซมิคอนดักเตอร์และการออกแบบวงจรออปติคอลและทดสอบพวกเขาออกก่อนการผลิต. รุ่นแรกที่โดดเด่นความสามารถทางการรูปแบบพื้นฐานสนับสนุนสมการตัวแปร 5 ฟังก์ชั่นและรูปแบบ GDSII พื้นฐานการส่งออก. < li>...
เครื่องมือสำหรับการจำลองภาพและเปลี่ยนรัฐออโต จำกัด และทัวริงเครื่อง สร้างจำลองและแปลง DFA และเครื่อง NFA สร้างและจำลอง TM การทดสอบแบทช์สำหรับ TM: คุณสมบัติที่มีประโยชน์ในการทดสอบพวงของไฟล์ได้อย่างรวดเร็ว ง่ายต่อการใช้อินเตอร์เฟซ GUI (เอกสารหลาย) ...
Maptech ภูมิภาค 2, 3, 4, 6, 7, 8, 10, 12, 13, 14, 15, 17, 18, 19, 20, 30, 32, 34, 36, 40, 81, 82, 83 และ 84 ชาร์ตโอเอ BSB ในดีวีดี ต้องการ . MacENC หรือ GPSNavX โปรแกรมนำทางทะเล ...
MathReader เป็นผู้ชมสำหรับเอกสารที่สร้างขึ้นด้วยโน๊ตบุ๊ค Mathematica, ระบบประมวลผลด้านเทคนิคของโลกเพียงแบบครบวงจร MathReader ให้คุณแสดงและพิมพ์โน๊ตบุ๊ค Mathematica, ภาพเคลื่อนไหวกราฟิกเล่นเสียงและคัดลอกข้อมูลจากโน๊ตบุ๊คไปยังเอกสารอื่น MathReader...
FlightTrack เป็นโปรแกรมจีพีเอสที่ออกแบบมาเฉพาะสำหรับ MacOS X. ฟังก์ชั่นหลักคือ: ดาวน์โหลดแทร็คและจุดจาก GPS: Garmin (ไม่ใช่ USB) เจลลัน MLR SP 24XC, Brauniger IQ Compeo, Flytec 5030 หรือปาล์ม ดู 3D เหนือภูมิประเทศที่มีภาพดาวเทียมหรือแผนที่ ...
โปรแกรมนี้มีอินเตอร์เฟซสำหรับการทำงานแบบจำลองของ Ising แบบของสนามแม่เหล็กหมุนปฏิสัมพันธ์บนตาข่าย 2 มิติ มันมีจุดมุ่งหมายเช่นการสาธิตของความเป็นไปได้สำหรับการสำรวจการโต้ตอบของแบบจำลองทางวิทยาศาสตร์ -...
โพลีเป็นโปรแกรมแชร์แวร์สำหรับการสำรวจและการสร้างรูปทรงหลายเหลี่ยม ด้วยโพลี, คุณสามารถจัดการของแข็ง polyhedral บนเครื่องคอมพิวเตอร์ในหลากหลายวิธี . รุ่นแบน (มุ้ง) ของรูปทรงหลายเหลี่ยมอาจจะพิมพ์แล้วตัดออกพับและบันทึกเทปเพื่อผลิตแบบจำลองสามมิติ ต้องการ ...
nFoldMan generalizes ตรวจสอบและการควบคุมกระบวนการพับเพื่อให้การติดตามจำนวนของพวกเขาใด ๆ บนเครื่องนี้เครื่องไฟล์ที่ใช้ร่วมกันหรือเครื่องระยะไกลผ่านเครือข่าย กระบวนการระยะไกลสามารถอยู่สำหรับการตรวจสอบการใช้ Rendezvous...
AnalyzeText ist เครื่องมือการแสดงความคิดเห็นข้อความที่มีประสิทธิภาพ: ใช้การเพิ่มจำนวนของข้อความอิเล็กทรอนิกส์ที่มีคุณภาพสูงในอินเทอร์เน็ตจริงๆ 'งาน' กับพวกเขา (เช่นในภาษาศาสตร์การศึกษาปรัชญาหรือ jurisprudential)...
Validator ศึกษาเป็นสาธารณูปโภคทางวิทยาศาสตร์ซึ่งจะช่วยให้นักวิจัยเพื่อตรวจสอบว่าไพรเมอร์ได้รับการออกแบบเป็นเอกลักษณ์เฉพาะสำหรับยีนที่น่าสนใจหรือไม่ มันจะเป็นประโยชน์ถ้ายีนที่เป็นสมาชิกของ superfamily ขนาดใหญ่ นอกจากนี้นักวิจัยอาจต้องการที่จะตรวจสอบว่า...
