Advertentie
Virtuele bibliotheek
Virtuele bibliotheek (VL) is een webtoepassing die is ontworpen om peer-to-peer-sharing van boeken te vergemakkelijken. ...
web Virtueel bibliotheek web applicatie virtuele bibliotheek
Visualisatie-bibliotheek
Uw persoonlijke 3D Visualization-expert! ...
bibliotheek visualisatie 3d ontwikkelingsbibliotheek 3D-visualisatie
DLIB C ++ -bibliotheek
DLIB C ++ Library is een moderne C ++ -bibliotheek met een focus op draagbaarheid en correctheid van het programma. ...
bibliotheek C++-bibliotheek C ++ Software-draagbaarheid programmacorrectheid
PARSE_CONF-bibliotheek
PARSE_CONF-bibliotheek is een zeer eenvoudige bibliotheek voor het parseren van wetenschappelijke configuratie- of initialisatiebestanden. ...
wetenschappelijk parsing Parring-bibliotheek wetenschappelijke configuratie het parseren van initialisatiebestanden
OpenGL-bibliotheek
OpenGL Development Library. ...
Python bibliotheek OpenGL-game ontwikkelingsbibliotheek Pyopengl
Dbm :: diep
DBM :: Diep is een Pure Perl Multi-Level / Array DBM. ...
Bibliotheek Optimizer
De bibliotheek Optimizer is een hulpmiddel dat wordt gebruikt om de grootte van gedeelde bibliotheken voor een ingebed systeem te verminderen. ...
bibliotheek Bouwgereedschap maat Bibliotheek Optimizer maatverkleiner
RUBY-UDBM
RUBY-UDBM is een robijnbinding voor de Uppaal DBM-bibliotheek. ...
Robijn robijnbibliotheek UDBM bibliotheek Uppaal DBM-bibliotheek Ruby-UDBM
mfgraph-bibliotheek
MFGRAPH is een grafiek weergave-bibliotheek voor interactieve toepassingen. ...
bibliotheek grafiek Grafiek weergave bibliotheek interactieve toepassingen grafiek weergave
Uppaal Timed Automata Parser Library
De Uppaal Timed Automata Parser-bibliotheek (Libutap) is de Parser-bibliotheek die door Uppaal wordt gebruikt. ...
Libided C-bibliotheek
Libident is een kleine C-bibliotheek voor het interfacing met RFC 1413-identificatieprotocolservers, die worden gebruikt voor het identificeren van de gebruiker ...
bibliotheek RFC 1413-bibliotheek Ident protocol-servers LibIdent
Bibliotheek boekhoudsysteem
Bibliotheek Accounting System is een webbibliotheeksysteem voor catalogusboeken, tijdschriften, tijdschriften en kranten. ...
bibliotheek systeem Web-gebaseerde bibliotheek boekhouding Boekhoudbibliotheek
Dbm ::
DBM :: Any is een objectgeoriënteerde interface, La BerkeleyDB, bovenop Perl's algemene DBM-indelingen. ...
database Perl-module Object-georiënteerd Berkeleydb Perl-interface
Dbd :: dbm
DBD :: DBM is een DBI-stuurprogramma voor DBM- en MLDBM-bestanden. ...
Number :: Telefoon :: UK: DBM :: Diep
Number :: TELEFOON :: UK :: DBM :: Diep is een Pure Perl Multi-Level / Array DBM. ...
Perl-module hash multi-level hash-DBM op meerdere niveaus Multi-Level Aay DBM
Uppaal
Uppaal is een geïntegreerde gereedschapsomgeving voor modellering, validatie en verificatie van real-time systemen. ...
omgeving geïntegreerd Uppaal Geïntegreerde gereedschapsomgeving modelleren van real-time systemen
Uppaal tiga
UPPAAL TIGA is een uitbreiding van Uppaal en het implementeert het eerste efficiënte algoritme voor on-the-fly voor het oplossen van spellen. ...
Uppaal oplossen Solving games opdrachtregelverificatie on-the-fly algoritme
Uppaal DBM-bibliotheek
Verschil Bound Matrices (DBMS) zijn efficiënte gegevensstructuren om klokbeperkingen in timed automata te vertegenwoordigen. ...