PLMan - Propositional Logic Parser 2.0

관련 프로그램

• BenQ Laptop to Hotspot Converter 무료 평가판

  BenQ 노트북에서 핫스팟 컨버터로 변환하면 BenQ 랩톱을 무선 핫스팟으로 변환합니다.이 소프트웨어로, 벤큐 노트북 (윈도우 플랫폼) 두 번째 노트북, 친구 또는 모바일 장치와 인터넷을 공유 할 수 있도록 Wi-Fi 핫스팟으로 설정됩니다.물론 당신은 여행하는 동안 무선 라우터를 수행하고 싶지 않아요. 하지만 모바일에 대 한 Wi-Fi 핫스팟을 찾아야 합니다. 노트북에서 핫스팟 컨버

• Windows-Hosted Cell SDK 무료

  Windows에서 호스팅하는 셀-BE SDK입니다. 이것은 표준 셀 BE 리눅스 SDK 및 GCC 컴파일러, 하지만 윈도우에서 호스팅 (Cygwin), 셀 리눅스에 대 한 교차 컴파일.

• Pyana 무료

  Pyana는 파이썬 프로그램이 아파치 소프트웨어 재단의 살란 XSLT 변환 엔진과 인터페이스할 수 있는 확장 모듈입니다.

• pw7 무료

  pw7은 슈퍼 사용자 암호의 암호화 된 데이터베이스에 안전하고 암호화 된 세분화 된 액세스 제어를 용이하게하는 perl 기반 GnuPG 래퍼입니다.

• XCV 무료

  XCV는 간단한 소스 XML 문서에서 XHTML 호환 커리큘럼 Vitae를 생성하는 모듈식 XSL 변환 집합입니다. CSS 및/또는 HTML 환경을 고려할 때 결과를 스타일링하고 사용자 지정하는 것은 쉽고 XML 소스와 는 무관합니다.

• Genesis Coupe Navigation Hack 무료

  이 프로젝트는 특히 2010 년 현대 제네시스 쿠페에서 네비게이션 선물해킹을 위한 것입니다.이는 차량 내비게이션 소프트웨어가 장착된 모델에서만 작동합니다.

• B.E.S.S. 무료

  이 프로젝트는 헝가리 G.O.P. 프로그램, 프로젝트 ID: G.O.P.-1-1-1-08/1-2008-0015에 의해 후원되었습니다. 이 프로젝트의 목적은 생체 인증에 기반한 IP 암호화를 통해 최상의 종단 간 음성의 프로토타입을 만드는 것이었습니다.

• SyncPro 무료

  SyncPro는 처리된 질량 분석 데이터를 대상으로 하는 시각화 패키지입니다. 그래픽의 동기화 및 레이어링 기술을 사용하여 MS 데이터 집합 그룹을 동시에 시각화합니다.

• Generic URL Creator 무료

  GUC는 모질라 파이어 폭스 / 모질라 썬더 버드 확장은 선택한 텍스트에서 즉석에서 URL을 생성합니다. 선택한 텍스트를 마우스 오른쪽 으로 클릭하고 컨텍스트 메뉴에서 열 URL을 선택합니다. 디렉터리/사전 검색 및 기타 조회에 유용합니다.

• LogScanLauncher 무료

  응용 프로그램 로그 파일을 모니터링하고 로그 파일의 새 항목이 일반 식을 수반하면 새 이벤트를 트리거하는 명령줄 유틸리티입니다. 응용 프로그램 ini 파일의 항목을 수정하여 유틸리티를 구성할 수 있습니다.