Housing Watch Web Search

Search results

1. Results From The WOW.Com Content Network

2. List of model checking tools - Wikipedia

   en.wikipedia.org/wiki/List_of_model_checking_tools

   A list of verification tools for probabilistic, stochastic, hybrid, and timed systems. Common benchmarks. MCC (models of the Model Checking Contest): a collection of hundreds of Petri nets originating from many academic and industrial case studies. VLTS (Very Large Transition Systems): a collection of Labelled Transition Systems of increasing ...

3. List of free and open-source software packages - Wikipedia

   en.wikipedia.org/wiki/List_of_free_and_open...

   Moodle – Free and open-source learning management system. OLAT – Web-based Learning Content Management System. Omeka – Content management system for online digital collections. openSIS – Web-based Student Information and School Management system. Sakai Project – Web-based learning management system.

4. List of academic databases and search engines - Wikipedia

   en.wikipedia.org/wiki/List_of_academic_databases...

   The main academic full-text databases are open archives or link-resolution services, although others operate under different models such as mirroring or hybrid publishers. Such services typically provide access to full text and full-text search, but also metadata about items for which no full text is available.

5. Zotero - Wikipedia

   en.wikipedia.org/wiki/Zotero

   Zotero (/ z oʊ ˈ t ɛr oʊ / [7]) is free and open-source reference management software to manage bibliographic data and related research materials, such as PDF and ePUB files. . Features include web browser integration, online syncing, generation of in-text citations, footnotes, and bibliographies, integrated PDF, ePUB and HTML readers with annotation capabilities, and a note editor, as ...

6. Help:Citation tools - Wikipedia

   en.wikipedia.org/wiki/Help:Citation_tools

   Citation Hunt: A tool for browsing snippets of Wikipedia articles that lack citations. Citer: Converts a URL, DOI, ISBN, PMID, PMCID, OCLC, or Google Books URL into a citation and shortened footnote. It also can generate citations for certain major news websites (e.g., The New York Times) and the Wayback Machine.

7. TCPDF - Wikipedia

   en.wikipedia.org/wiki/TCPDF

   TCPDF is a free and open source software PHP class for generating PDF documents. TCPDF is the only PHP-based library that includes complete support for UTF-8 Unicode and right-to-left languages, including the bidirectional algorithm.

8. List of PDF software - Wikipedia

   en.wikipedia.org/wiki/List_of_PDF_software

   PDFVue: a free web application that allows the user to view PDFs, comment and fill PDF forms from a web browser. Generates a watermark. Smallpdf: Free (trial) web-based PDF software for editing, signing, compressing, merging, splitting, rotating, unlocking and protecting PDF files.

9. List of tools for static code analysis - Wikipedia

   en.wikipedia.org/wiki/List_of_tools_for_static...

   Python. PyCharm – Cross-platform Python IDE with code inspections available for analyzing code on-the-fly in the editor and bulk analysis of the whole project. PyDev – Eclipse-based Python IDE with code analysis available on-the-fly in the editor or at save time. Pylint – Static code analyzer.