Propaganda
As ligações de Amarok para Python
As ligações AMAROK para Python é uma classe de controle remoto de Amarok bastante completa. ...
pyuppaal.
Biblioteca Python para manipular arquivos XML uppaal ...
Biblioteca Python. Pitão Xml. manipulador de XML Ligações uppaal.
Impulsionar ligações numéricas
Ligações de biblioteca numérica para impulsionar UBLAS ...
biblioteca ligações biblioteca de ligações Biblioteca de Boost.ublas. Biblioteca de reforço
Ligações de linguagem de biblioteca Redland RDF
fornece ligações de linguagem de alto nível para as bibliotecas de Redland RDF C ...
biblioteca rdf. ligações linguísticas biblioteca RDF ligações Redland
Ligações do cliente Java Videolan
A ligação do cliente Java Videolan permite usar o jogador de multimídia Videolan em qualquer software Java. ...
Biblioteca de analisador de autômatos até o uppaal
A biblioteca de parser automaticamente cronometrado do Uppaal (libutap) é a biblioteca de parser usada pelo uppaal. ...
biblioteca de analisador Uppaal. UPPAAL Temporário cronometrado Automata cronometrada
Uppaal.
uppaal é um ambiente de ferramenta integrado para modelagem, validação e verificação de sistemas em tempo real. ...
ambiente integrado Uppaal. Ambiente de ferramenta integrado modelagem de sistemas em tempo real
Ligações de Octave-G2
Octave-G2 Ligações é uma interface de oitava para a biblioteca G2. ...
ligações Oitava Interface de Oitava Gui de Oitava biblioteca G2
TIGA UPPAAL.
Uppaal TIGA é uma extensão do uppaal e implementa o primeiro algoritmo eficiente em movimento para resolver jogos. ...
Uppaal. Resolvendo Resolvendo jogos verificador de linha de comando Algoritmo on-the-fly
Biblioteca do DBM do Uppaal.
Matrizes vinculadas (DBMS) são estruturas de dados eficientes para representar restrições de relógio em autômatos cronometrados. ...