bddbddb: BDD-Based Deductive Database

관련 프로그램

• Proxy Pal For Networks 무료

  PPFN, 그것은 또한 어떤 서버 로그에서 숨길 수있는 도구입니다, 이러한 개발자는 그들이 무엇을해야하는지 알고. 이 궁극적 인 패키지를 다운로드하면 안전 할 것이라는 것을 알고 웹을 즐길 수 있습니다. PPFN - 그래서 안전, 오른쪽 서핑을 배울 수

• XBMC / Boxee Remote 무료

  XBMC / 박스에 대한 원격 제어.v1.0을 제거하십시오!!!v3.1* 프로필은 환경 설정에서 지원v2.2* 사소한 버그 수정v2.1* 윈도우 XBMC와 함께 작동하도록 사소한 버그 수정v2.0* 더 큰 아이콘* 텍스트를 입력하는 키보드를 사용* 더 많은 버튼* 버그 수정v1.0* 비디오, 음악 및 사진 및 해당 재생 목록을 찾아보시다* 목록 보

• jDTAUS 무료

  독일어 DTAUS 파일 형식의 자바 구현. 읽기, 추가, 편집, 삭제 작업 및 확장 레코드를 지원합니다. GUI 응용 프로그램을 사용할 수 있습니다 사용 가능한 모든 기능을 보여 주는. 스크린샷을 참조하십시오.

• Alligator Snap 무료 평가판

  3 개의 쉬운 단계로 자신의 웹 페이지를 함께 스냅. 사전 경험이 필요하지 않습니다 - 앨리게이터 스냅에는 미리 설계된 웹 템플릿과 많은 훌륭한 기능이 함께 제공됩니다. 추가 템플릿을 다운로드하여 프로그램 자체 내에서 무료로 설치할 수 있습니다. 도움말은 항상 온라인 도움말과 통합 기술 지원과 함께 SupportBase.NET 있습니다. 3 개의 쉬운 단계로 자신의 웹 페이지를 함께 스냅. 사전 경험

• Mayur Linux 무료

  Mayur Linux 운영 체제는 linuxPAE64 커널을 기반으로 하므로 프로세서가 x86-64와 호환되는 경우 x86-64 바이너리가 32비트 운영 체제에서 실행되도록 합니다.

• RIDGID Digital Bubble Level 무료 평가판

  RIDGID® 디지털 버블 레벨은 수직, 레벨 및 45° 미터를 위한 3개의 바이알을 특징으로 합니다. 화면을 볼 수 없을 때 상황에 대한 결과를 청각적으로 확인할 수 있는 선택적 사운드 기능이 있습니다. 디스플레이는 또한 센서에 의해 현재 보고되는 정확한 측정을 보여줍니다. 이 응용 프로그램은 당신이 당신의 판독을 방해 할 수있는 측면 이나 후면에 버튼이나 카메라가있는 휴대 전화를 허용하도록

• CNC GCODE Coordinate Transposition Tool 무료

  이 파이썬 3.1 도구는 가공 또는 인그레이빙을 위해 CNC GCODE의 좌표 시스템을 조작합니다. X, Y 또는 Z 좌표를 뒤집거나, 미러 X, Y 또는 Z 좌표를 뒤집거나, 두 XY 좌표를 뒤집거나 미러하거나, Z 모션을 없는 GCODE 파일에 삽입할 수 있습니다.

• Cell Messaging Layer 무료

  셀 메시징 계층은 셀 광대역 엔진 프로세서 클러스터를 위한 매우 빠른 MPI 와 같은 통신 라이브러리입니다. 이를 통해 모든 셀 시너지 처리 요소(SPE)는 네트워크를 통해다른 SPE와 직접 통신할 수 있습니다.

• cccl 무료

  cccl은 마이크로 소프트 비주얼 C ++의 cl.exe 및 링크 .exe 주변의 래퍼입니다. 유닉스 컴파일러 명령줄 매개변수를 cl 및 링크에 해당하는 매개 변수로 변환합니다.

• C/C++ Program Perfometer 무료

  이 프로그램을 사용하면 C/C++ 프로그램의 성능과 모든 메트릭(예: 시간, 메모리, 사용자가 정의한 메트릭 등)에 대해 분리된 코드 조각을 얻을 수 있습니다. 측정 결과는 상세/요약 보고서에 표시됩니다. 상세