MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
MetamathMizar systemFormal specificationFormal methodsKnowledge-based systemsSat solverComputer algebra systemComputerProgram synthesisHoare logicProof assistantRule-based systemQuantum programmingDatabase schemaProgrammable calculatorInformation systemSmart contractOutline of computer scienceBibliographic databaseRelational modelTuple relational calculusDocument-oriented databasePurely functional programmingData dictionaryComputer programmingMathcadType systemSyntaxGlossary of computer scienceFormula editorCoin-orSolverPurely functional data structureProgramming language specificationOntologyComputer-aided quality assuranceAbstract machineUniversal decimal classificationInformation-theoretic securityAcl2Proof of workSoftware verificationEndgame tablebaseKnowledge baseTake-grant protection modelDigital signature algorithmOperational semanticsNominal type systemData modelSpecification languageProject eulerInteractive proof systemConsistency modelTabulating machineInformaticsElectronic health recordComputable document formatCoinductionPhysical schemaHistory of softwareCode auditMathmlGrammar checkerMechanical calculatorComputer scientistTechnical data management systemCommon logicData modelingBlockchain-based databaseIso/iec 7064BlockchainSymbolic programmingDigital electronic computerInformation repositoryRdf query languagePrivacy and blockchainComputational intelligenceSearchable symmetric encryptionManifest typingDatabase applicationCyber-physical systemPersonal knowledge baseInformation technologyProof-carrying codeOnline encyclopediaBiological databaseCompiler-compilerEmbedded sqlIeee 754Data systemProgramming language theoryThe multiprogramming systemReproducible buildsKnowledge engineeringQ sharpFormal equivalence checkingData-driven programmingAcidRelational databaseFrostburg