Extended NuSMV 1.1

İlgili Programlar

• Voice Widget Ücret -siz

  Tek bir tıklamayla Ses Kaydedici, Youtube, TV veya Radyo, Explorer veya Arama'yı başlatın.Telefonunuzun ses kaydedici, Youtube, TV veya radyo, explorer veya arama bağlamak için 2 güzel widget. Tasarım stili HTC Sense gibi.

• ZIPCodeWorld Store Locator .NET Component Ücretsiz Deneme

  ZipCodeWorld Store Locator .NET tüm .NET geliştiricileri için bir mağaza bulucu kontrolüdür. Kendi Amerika Birleşik Devletleri veya Kanada mağaza bulucu hizmeti birkaç dakika içinde çalışır durumda olabilir. ZipCodeWorld Stor

• Mobile Data On/Off Toggle Ücret -siz

  Mobil Veri Açma/Kapama Toggle SwitcherMobil Veri Açma/Kapama Toggle SwitcherMobil Veri OnOff Toggle anahtarı.- Bu yazılım gerekliliği Etkinleştir "Mobil veri" Sistem ayarlarında . Çok Basit Mobil Veri Kontrol Yazılı

• OCF Resource Agent for SAP Ücret -siz

  SAP yazılımını Linux yüksek kullanılabilirlik kümesinde çalıştırmak için (Linux-HA projesi gibi) OCF (Açık Küme Çerçevesi) uyumlu kaynak aracıları sağlar.

• Wintermute Engine DevKit Ücret -siz

  Wintermute Motor Geliştirme Kiti oluşturmak ve grafik nokta & tıklama macera oyunları, hem geleneksel 2D olanlar ve modern 2.5D oyunlar (2D arka planlar üzerinde 3D karakter) çalıştırmak için araçlar kümesidir.

• Aginity Netezza Workbench Ücret -siz

  Aginity bir Netezza Çözüm Sağlayıcı ortağıdır. Workbench, Netezza cihazında büyük sistemler geliştirme konusundaki kapsamlı deneyimimizi desteklemek için özel araçlara olan ihtiyacımızdan doğmuştur. Workbench, diğer benzer ür

• xUnit - Unit Testing Framework Ücret -siz

  xUnit bir XP tarzı birim test çerçevesidir. xUnit, test sonuçlarını görüntülemek için ön uç ile uygulamalara bağlı bir test sürücüsü arasında bir protokol kullanır - uygulama ve grafikler arasındaki bağlantı süresi bağımlılık

• perf2rrd Ücret -siz

  perf2rrd, Nagios (R) izleme sistemi tarafından performans verisi çıktısını yakalayan ve RRDtool tarafından engellendiği şekilde yuvarlak robin veritabanı dosyalarında depolayan Java (tm) ile yazılmış bir programdır.

• MisterHouse: Home Automation with Perl Ücret -siz

  MisterHouse, Perl'de yazılmış bir Windows/Unix ev otomasyon programıdır. Sesli komutlara, web tarayıcılarına, günün saatine, seri bağlantı noktasına ve X10 verilerine, harici dosyalara vb. yanıt verebilir ve Metinden Konuşma

• IFM - Interface Management System Ücret -siz

  IFM (eski adıyla wxIFM), uygulamalarınız için takılabilir pencereler eklemek üzere tasarlanmış bir Arayüz Yönetimi kitaplığıdır ve arabiriminize günümüzün deneyimli bilgisayar kullanıcılarıtarafından talep edilen özelleştiril