Erfahrungen und Bewertungen zu Haselwarter.org
Keine Kommentare und Bewertungen gefunden!
Bewertung schreiben
Inhalte und Keywords
Wichtige und beliebte Webseiten
Die Inhalte der Website verteilen sich unter anderem auf den Seiten Philipp G. Haselwarter, Teaching und Distinguished Paper Award. Nachfolgend werden die wichtigsten 10 Unterseiten von Haselwarter.org aufgelistet:
| # | Beschreibung | URL der Webseite |
|---|---|---|
| 1. | Philipp G. Haselwarter | /-philipp/ |
| 2. | Teaching | /-philipp/teaching.html |
| 3. | distinguished paper award | /-philipp/-philipp/assets/pdfs/Paper-A-SSProve_2021.pdf |
| 4. | A general definition of dependent type theories | /-philipp/-philipp/assets/pdfs/gdtt.pdf |
| 5. | SSProve A Foundational Framework for Modular Cryptographic Proofs in Coq | /-philipp/-philipp/assets/pdfs/ssprove-logsem-talk.pdf |
| 6. | Type theories without contexts | /-philipp/-philipp/assets/pdfs/ftt-types21-slides.pdf |
| 7. | Effective Metatheory for Type Theory | /-philipp/-philipp/assets/pdfs/effective-metatheory-for-typ.. |
| 8. | Computer Formalisation of Mathematics | /-philipp/-philipp/assets/pdfs/bled-formal-maths.pdf |
| 9. | Andromeda 2.0 | /-philipp/-philipp/assets/pdfs/seminar-andromeda_2.0.pdf |
| 10. | Effective Metatheory for Type Theory slides | /-philipp/-philipp/assets/pdfs/effective-metatheory-for-typ.. |
Technische Informationen
Der Webserver von Haselwarter.org wird von OVH SAS betrieben und befindet sich in Frankreich. Die Website Haselwarter.org hat einen eigenen Webserver, welcher keine anderen Websites betreibt.Die Webseiten von Haselwarter.org werden von einem Apache Webserver betrieben. Die HTML Seiten wurden im neuesten Standard HTML 5 erstellt. Aufgrund keiner Angaben zur Steuerung von Webcrwalern in den Meta Daten, werden die Inhalte der Website in Suchmaschinen erfasst. Die Startseite der Website ist "/~philipp/~philipp/".
Informationen zum Server der Website
| IP-Adresse: | 37.187.97.241 |
| Server Betreiber: | OVH SAS |
Technische Informationen zur Technologie der Website
| Webserver Software: | Apache, Version 2.4.58 |
| Betriebssystem: | Unix/Linux (Unix) |
| Generator: | Jekyll v4.2.1 |
| Ladezeit: | 0.23 Sekunden (schneller als 87 % aller Websites) |
| HTML Version: | HTML 5 |
| Startseite: | /~philipp/~philipp/ |
| Dateigröße: | 11.96 KB (607 im Fließtext erkannte Wörter) |
Sicherheit und Einstufung
Die Website enthält keine bedenklichen Inhalte und kann sowohl von Minderjährigen als auch in der Arbeit genutzt werden.
| Kriterium | Einschätzung | |
|---|---|---|
Google Safebrowsing |
Sicher | |
Jugendfrei |
||
Safe for Work |
||
Webwiki Bewertungen |
Keine Bewertung | |
Server Standort |
Frankreich | |
| Vertrauenswürdig 85% | ||
Für Webseitenbetreiber:
Buttons und aktuelle Bewertung auf eigener Homepage einbinden!
Buttons und aktuelle Bewertung auf eigener Homepage einbinden!
Ähnliche Domains
- Haselweg-suhl.de
- Haselweg.de
- Haselwies.ch
- Haselwies.de
- Haselünne.de
- Haselzauber.de
- Hasemail.de
- Hasemann-brennstoffe.de
- Hasemann-coaching.de
- Hasemann-dach.de
- Hasemann-hochzeit.de
- Hasemann-maschinen.de
- Hasemann.al-h.de
- Hasemann.de
- Hasemannstoechter.de
- Hasemaria.de
- Hasemaus.de
- Hasemed.de