www.carstensinz.de Gehe zur Webseite
Carsten Sinz
Eingehende Links: | 11 |
Sprache/Land: | EN |
Webseiten Geschwindigkeit: | 0.029 Sekunden |
Kein Besucheraufkommen zu dieser Domain gefunden.
Wichtigste Keywords
software verification University Tübingen computer science
Serverdaten
Serverstandort: Deutschland
Die IP-Adresse lautet 80.237.132.53.
DNS-Daten
Host | Klasse | Typ | Ziel |
---|---|---|---|
carstensinz.de | IN | NS | b1.wpns.hosteurope.de |
carstensinz.de | IN | NS | b1.wsns.hosteurope.de |
carstensinz.de | IN | MX | cseg.no-ip.org |
carstensinz.de | IN | SOA | b1.wpns.hosteurope.de |
carstensinz.de | IN | A | 80.237.133.54 |
carstensinz.de | IN | AAAA |
Server-Ping
PING carstensinz.de (80.237.133.54) 56(84) bytes of data. 64 bytes from wp285.webpack.hosteurope.de (80.237.133.54): icmp_req=1 ttl=56 time=8.99 ms 64 bytes from wp285.webpack.hosteurope.de (80.237.133.54): icmp_req=2 ttl=56 time=8.97 ms 64 bytes from wp285.webpack.hosteurope.de (80.237.133.54): icmp_req=3 ttl=56 time=9.03 ms 64 bytes from wp285.webpack.hosteurope.de (80.237.133.54): icmp_req=4 ttl=56 time=9.07 ms --- carstensinz.de ping statistics --- 4 packets transmitted, 4 received, 0% packet loss, time 601ms rtt min/avg/max/mdev = 8.976/9.018/9.076/0.122 ms
Die Seite hat eine Ladezeit von 0.029 Sekunden.
Die Verbinungszeit zum Server beträgt 8.99ms.
HTTP-Header
HTTP-Tag | Wert |
---|---|
http_version | HTTP/1.1 |
statuscode | 200 |
date | Thu, 31 Jul 2014 00:10:56 GMT |
content-type | text/html |
transfer-encoding | chunked |
connection | keep-alive |
server | Apache |
last-modified | Fri, 30 Jul 2010 13:53:38 GMT |
etag | "81b664fd-d58-48c9b2d7f9c80" |
content-encoding | gzip |
Meta Tags
Meta-Tag | Wert |
---|---|
Content-Type | text/html; charset=iso-8859-1 |
Interne Links
Anchor | URL |
---|---|
Carsten Sinz | http://carstensinz.de/index.html |
Projects | http://carstensinz.de/projects.html |
Publications | http://carstensinz.de/publications.html |
Activities | http://carstensinz.de/activities.html |
Talks | http://carstensinz.de/talks.html |
Software | http://carstensinz.de/software.html |
CV | http://carstensinz.de/CV.html |
Links | http://carstensinz.de/links.html |
Externe Links
Anchor | URL |
---|---|
"Verification meets Algorithm Engineering" | http://verialg.iti.kit.edu |
Karlsruhe Institute of Technology | http://www.kit.edu |
Institute for Formal Models and Verification | http://fmv.jku.at |
Johannes Kepler University Linz | http://www.jku.at |
Ähnliche Domains
Letzte Aktualisierung: 31.07.2014 2:17