Extended NuSMV 1.1

관련 프로그램

• Voice Widget 무료

  한 번의 클릭으로 음성 레코더, 유튜브, TV 또는 라디오, 탐색기 또는 검색을 시작합니다.2 아름다운 위젯은 휴대 전화 음성 레코더, 유튜브, TV 또는 라디오, 탐색기 또는 검색을 연결합니다. 디자인 스타일은 HTC 센스와 같습니다.4 개의 새로운 아름다운 위젯이 들어있는 FULL 버전을 구입하여 우리를 지원합니다.지침:1. 홈 화면으로 이동하십시오.2. 빈 공간에 손가락을 잡고

• ZIPCodeWorld Store Locator .NET Component 무료 평가판

  ZIPCodeWorld 스토어 로케이터 .NET은 모든 .NET 개발자를 위한 매장 로케이터 제어입니다. 미국 또는 캐나다 매장 로케이터 서비스는 몇 분 내에 가동 및 실행할 수 있습니다. zipCodeWorld 스토어 로케이터 .NET은 ASP.NET 프로젝트에 대한 드래그 앤 드롭 제어를 제공합니다. 이 컨트롤을 통해 고객은 우편 번호로 가장 가까운 딜러, 매장 또는 위치를 찾을 수 있습니다. 결

• Mobile Data On/Off Toggle 무료

  모바일 데이터 온/오프 토글 스위처 모바일 데이터 온/오프 토글 스위처 모바일 데이터 온오프 토글 스위치.- 이 소프트웨어 필요 인에이블 & 모바일 데이터 & 시스템 설정에서. 매우 간단한 모바일 데이터 제어 소프트웨어! 지원 SD 카드 설치 (안드로이드 2.2 프로요)APK 크기 = 9KB (매우 작은!) 모바일 데이터를 켜기 OFF. 모바일 데이터 OFF ON.http://www.n

• OCF Resource Agent for SAP 무료

  OCF(개방형 클러스터 프레임워크) 호환 리소스 에이전트를 제공하여 Linux-HA 프로젝트와 같은 Linux 고가용성 클러스터에서 SAP 소프트웨어를 실행합니다.

• Wintermute Engine DevKit 무료

  Wintermute 엔진 개발 키트는 전통적인 2D 게임과 현대적인 2.5D 게임 (2D 배경의 3D 캐릭터)을 모두 그래픽 포인트 & 클릭 어드벤처 게임을 만들고 실행하기위한 도구 세트입니다.

• Aginity Netezza Workbench 무료

  Aginity는 네테자 솔루션 공급자 파트너입니다. Workbench는 Netezza 어플라이언스에서 대형 시스템을 개발한 광범위한 경험을 지원하기 위해 특정 도구가 필요했던 것으로 태어났습니다. Workbench는 청구되지 않은 삭제된 레코드를 포함하여 배포 정보에 대한 + 한 번의 클릭 액세스와 노드별 문제가 있는 위치를 쉽게 시각화할 수 있는 등 다른 유사한 제품 중에서 고유한 기능을 제공합니다

• xUnit - Unit Testing Framework 무료

  xUnit은 XP 스타일 단위 테스트 프레임워크입니다. xUnit은 프런트 엔드 사이의 프로토콜을 사용하여 테스트 결과와 응용 프로그램에 연결된 테스트 드라이버를 표시하여 응용 프로그램과 그래픽 간의 링크 시간 종속성을 제거하고 라이브러리서지정을 합니다.

• perf2rrd 무료

  perf2rrd는 Nagios (R) 모니터링 시스템에 의해 성능 데이터 출력을 캡처하고 RRDtool에 의해 함으로 라운드 로빈 데이터베이스 파일에 저장하는 자바 (tm)에 작성 된 프로그램입니다.

• MisterHouse: Home Automation with Perl 무료

  미스터 하우스는 펄에 기록 된 윈도우 / 유닉스 홈 오토메이션 프로그램입니다. 음성 명령, 웹 브라우저, 하루 중 시간, 직렬 포트 및 X10 데이터, 외부 파일 등에 응답할 수 있으며 텍스트 투 Speech 엔진을 통해 말할 수 있습니다.

• IFM - Interface Management System 무료

  IFM(이전 wxIFM)은 인터페이스에 도킹 가능한 창을 추가하여 오늘날의 숙련된 컴퓨터 사용자가 요구하는 사용자 지정 가능성을 제공하도록 설계된 인터페이스 관리 라이브러리입니다.