Pi Calculus for SOA 2.1.0

관련 프로그램

• Entier Studio 무료

  Entier 스튜디오는 개발자를 위해 설계된 웹 도구입니다. 응용 프로그램의 개발을 향상시키는 몇 가지 기능을 제공합니다. 이러한 기능 중 일부는 원래 모델 기반 접근 방식과 고유한 코드 생성 및 게시 프로세스입니다.

• WiiC 무료

  WiiC는 Wii 장치를 관리하는 C/C++ 라이브러리입니다. Wiimote, Nunchuck, 클래식, 기타 히어로 3, 모션 플러스 및 밸런스 보드를 지원합니다. 그것은 리눅스와 맥 플랫폼에서 실행됩니다.

• XSLTrans 무료

  Tranformateur XML/XSL en c # (.net 프레임워크 2.0, 윈도우)Utilis l'origine 부어 변압기 des documents DocBook XMLC# XML/XSL 변압기 (.net 프레임워크 2.0, Windows)(예를 들어) 문서록 XML을 Linux 문서 프로젝트 HTML로 변환하는 데 사용됩니다.

• ProForma 무료

  ProForma는 XHTML 양식을 빌드하고 관리하기 위한 완전히 객체 지향 PHP5 라이브러리입니다. 양식 생성, 유효성 검사, 자동 채우기 등을 위한 표준 API를 제공합니다. XHTML 출력은 CSS를 사용하여 표준을 준수하고 피부가 매우 높습니다.

• Joshua chess robot 무료

  조슈아 체스 로봇 : 임베디드 인공 지능, 게임 데이터베이스 또는 인터넷 플레이어와 체스를 재생하는 사진 보드와 인터페이스 스테퍼 모터 로봇. 소프트웨어, 로봇 사진, 기술 논문, 회로도 및 케이블이 포함되어 있습니다. 켄

• STEP ToyBox 무료

  STEP ToyBox는 EXPRESS(ISO 10303-11) 스키마 및/또는 STEP Part 21(ISO 10303-21) 데이터 파일을 처리하기 위한 다양한 소규모 애플리케이션을 개발하는 프로젝트입니다. 일부는 명령줄일 뿐, 다른 일부는 GUI 기반입니다.

• padaf 무료

  이 라이브러리는 PDF 문서에서 PDF/A 사전 비행을 만드는 도구를 제공합니다. 그것은 매우 아파치 PDFBOX를 기반으로합니다. ISO 19005(PDF/A) 표준준수가 확인됩니다. 목표는 완전히 isartor 테스트를 통과하는 것입니다.

• OpenAI 무료

  OpenAI는 오늘날의 기술을 최대한 활용할 수 있는 고도로 상호 운용 가능한 인공 지능 구성 요소의 전체 제품군을 만드는 데 전념하고 있습니다. 현재 도구에는 모바일 에이전트, 신경망, 유전자 알고리즘 및 유한 상태 기계가 포함됩니다.

• Gambit for Android 무료 평가판

  다음은 마크 펠리의 iOS 버전에서 영감을 안드로이드 플랫폼에 대한 갬빗 계획의 예비 버전입니다. Gambit Scheme은 "R4RS, R5RS 및 IEEE Scheme 표준을 준수하고 모든 선택적 기능을 구현하여 Scheme 프로그래밍 언어를 완전하고 휴대 가능하며 효율적이며 신뢰할 수 있는 구현입니다. 꼬리 호출 및 일류 연속은 계획 의미 체계를 준수합니다. 임의 정밀 정수(bignums

• Proja - Project Makefile Generator 무료

  Proja는 적응형 템플릿, 포장 및 자동 종속성 생성을 갖춘 작고 빠르며 사용하기 쉬운 Makefile 생성기입니다. 프로젝트에서 여러 실행 파일과 라이브러리를 허용하고 개발자가 프로젝트를 자유롭게 구성할 수 있습니다.