Achim D. Brucker is specified as the websites creator.
Important pages are Publications, Print This Page and Research Talks. In the following table you'll find the 10 most important pages of Brucker.ch:
# | Description | URL of the website |
---|---|---|
1. | Publications | /research/publications.en.html |
2. | Print this page | /index.print.en.html |
3. | Research Talks | /research/talks.en.html |
4. | Higher-order Logic | /projects/hol-ocl/index.en.html |
5. | IsaMorph | /projects/isamorph/index.en.html |
6. | Higher-order Logic | /projects/hol-testgen/index.en.html |
7. | HOL-OCL | /projects/hol-ocl/ |
8. | HOL-TestGen | /projects/hol-testgen/ |
9. | JavaScript License Information | /about/javascript.en.html |
10. | 0x580E02C0 | /0x580E02C0.asc |
Worth knowing about Brucker.ch: Achim is a municipality and the largest town in the district of Verden, in Lower Saxony, Germany. read more
The websites of Brucker.ch are served by a Apache server. The HTML pages were created with the latest standard HTML 5. Both the inclusion of the website in search engines and follwoing of its hyperlinks is explicitly allowed.
IP address: | 45.132.245.207 |
Webserver software: | Apache |
Generator: | WML 2.32.0 |
Load time: | 0.06 seconds (faster than 99 % of all websites) |
HTML version: | HTML 5 |
Robot information: | index, follow |
Filesize: | 9.17 KB (381 recognized words in text) |
The website doesn't contain questionable content. It can be used by kids and is safe for work.
Attribute | Classification | |
---|---|---|
Google Safebrowsing |
Safe | |
Safe for children |
||
Safe for work |
||
Webwiki rating |
No ratings | |
Server location |
Germany | |
Trustworthy 85% |