UNB Theorem Prover?

관련 프로그램

• fastAOP 무료

  FastAOP는 자바에 대한 매우 높은 성능 AOP (측면 지향 프로그래밍) 프레임 워크입니다. 프레임워크는 처음에 런런 타임이 거의 없는 대규모 J2EE 애플리케이션에 대한 성능 프로파일링 및 모니터링을 지원하기 위해 개발되었습니다.

• Butterfly Code Generator 무료

  나비는 XMI를 입력및 XSLT 템플릿으로 사용하여 모든 유형의 코드를 생성하는 간단한 코드 생성기입니다. EJB, JDO 및 스트럿을 포함한 여러 템플릿이 제공됩니다. 사용자는 XSL을 사용하여 템플릿을 사용하거나 수정하거나 새 템플릿을 만들 수 있습니다.

• Neural network designer 무료

  이 프로젝트는 Windows 기반 디자이너 응용 프로그램과 라이브러리(Android를 포함한 여러 플랫폼에서 실행할 수 있음)와 여러 데모 응용 프로그램(MVC3 챗봇 클라이언트 및 Android 응용 프로그램 포함)으로 구성됩니다.데이터베이스 관리 시스템과 비교하는 것이 가장 좋지만 관계형 데이터 대신 신경망의 경우 가장 좋습니다. 따라서 라이브러리는 고급 스트리밍 및 캐싱 알고리즘을 사용하여

• DL-Learner 무료

  DL-Learner는 사용자가 제공한 예제에서 설명 논리(DL)에서 개념을 학습하기 위한 도구입니다. 이와 마찬가지로, 선택한 개체에서 OWL 온토로지에서 클래스를 배우는 데 사용할 수 있습니다.

• MakeEmbeddedRootfilesystem 무료

  Makerootfs를 사용하면 쉘 스크립트, 패치 및 기본 구성을 통해 교차 컴파일 프로세스를 자동화하여 임베디드 장치(예: ARM 기반)에 대한 루트 파일 시스템을 쉽게 구축할 수 있습니다. uClibc을 사용하는 빌드 루트와 는 달리, makerootfs는 전체 글리브를 사용합니다.

• VCS Agents and Tools 무료

  이 프로젝트의 목표는 베리타스 클러스터 서버에 대한 플러그인("agents")을 오픈 소스 기준으로 제공하는 것입니다.

• Etnia Workbench 무료

  CDT 프로젝트 위치에 확장 은 다양한 플래트 폼 (실제로 텍사스 악기 및 PIC 마이크로 프로세서)를 통합할 수 있도록 추가 컴파일러 및 기타 플러그인을 구성

• Steini\'s Mini Compiler 무료

  Steini\의 미니 컴파일러는 빠른 DOS 16 비트 컴파일러입니다. 새로운 명령을 작성하는 프로그래밍 언어를 개선하는 데 도움이 하시기 바랍니다. 컴파일러는 컴파일 프로세스에 어셈블리 파일 집합을 사용합니다.

• JCustomizer 무료

  JCustomizer 프로젝트의 대상은 런타임에 모든 자바 스윙 / AWT GUI의 일반적이고 지속적인 사용자 정의입니다 : 글꼴, 색상, 텍스트, 가속기, ... 좋은 반주는 프로그래밍 노력없이 국제화에 대한 WYSIWYG 액세스입니다.

• net.sourceforge.ajstruts 무료

  2003년 11월 11일 독일 & 자바 마가진&트리뷰트 잡지에 게시된 기사(http://ajstruts.sf.net)의 소스 코드는 AspectJ 및 XSLT 스타일시트를 사용하여 요구 사항을 투영하고 새로운 라이브러리 버전으로 마이그레이션을 용이하게 하기 위해 제3자 libs(예: 스트럿)를 조정하는 방법을 보여줍니다.