www.guerillacode.de Gehe zur Webseite
BoldSolutions.de
Sprache/Land: | EN |
Webseiten Geschwindigkeit: | 0.018 Sekunden |
Kein Besucheraufkommen zu dieser Domain gefunden.
Wichtigste Keywords
Frank Theiß on Automated Conference on Workshop on Conference on Automated on Automated Reasoning BoldSolutions.de Development of ROTERFADEN TASCHENBEGLEITER Joint Conference on Automated Conference on Automated Reasoning LEO-II is International Joint Conference on to perform Java EE Theorem Prover Theorem Proving winner of Computer Algebra Term Indexing Higher-Order Logic Saarländischer Website Award My current Automated Theorem Proving Automatic Theorem Prover Erdös number THF division Progress
Die IP-Adresse lautet 82.165.98.16.
DNS-Daten
Host | Klasse | Typ | Ziel |
---|---|---|---|
guerillacode.de | IN | A | 82.165.98.16 |
guerillacode.de | IN | NS | ns66.1und1.de |
guerillacode.de | IN | NS | ns65.1und1.de |
guerillacode.de | IN | SOA | ns65.1und1.de |
guerillacode.de | IN | MX | mx01.kundenserver.de |
guerillacode.de | IN | MX | mx00.kundenserver.de |
Server-Ping
PING guerillacode.de (82.165.98.16) 56(84) bytes of data. 64 bytes from kundenserver.de (82.165.98.16): icmp_req=1 ttl=55 time=7.34 ms 64 bytes from kundenserver.de (82.165.98.16): icmp_req=2 ttl=55 time=7.30 ms 64 bytes from kundenserver.de (82.165.98.16): icmp_req=3 ttl=55 time=7.34 ms 64 bytes from kundenserver.de (82.165.98.16): icmp_req=4 ttl=55 time=7.42 ms --- guerillacode.de ping statistics --- 4 packets transmitted, 4 received, 0% packet loss, time 601ms rtt min/avg/max/mdev = 7.307/7.354/7.423/0.042 ms
Die Seite hat eine Ladezeit von 0.018 Sekunden.
Die Verbinungszeit zum Server beträgt 7.34ms.
HTTP-Header
HTTP-Tag | Wert |
---|---|
http_version | HTTP/1.1 |
statuscode | 200 |
date | Thu, 09 Oct 2014 14:20:30 GMT |
server | Apache |
last-modified | Sat, 17 May 2014 12:11:22 GMT |
etag | "989ae65a-37b5-4f9976daa4384" |
accept-ranges | bytes |
content-length | 14261 |
content-type | text/html |
Meta Tags
Meta-Tag | Wert |
---|
Interne Links
Externe Links
Anchor | URL |
---|---|
ROTERFADEN | http://www.roterfaden.de |
TASCHENBEGLEITER KONFIGURATOR | http://www.roterfaden.de/Taschenbegleiter/TASCHENBEGLEITER-KONFIGURATOR.html |
more elegant languages than Java | http://www.paulgraham.com/icad.html |
jQuery | http://jquery.com/ |
LEO-II | http://www.leoprover.org |
Satallax | http://www.satallax.com |
TPTP | http://www.tptp.org |
Ontology Engineering | http://www.ontologyportal.org |
eLearning | http://www.activemath.org/ |
Untn | http://www.untn.de |
Ähnliche Domains
Letzte Aktualisierung: 09.10.2014 16:02