Leancop.de
Leancop rangiert auf Platz 10.531.602 in Deutschland. 'leanCoP: Lean Connection-Based Theorem Proving.'
10.531.602Platzierung in Deutschland
--Weltweit Rang
| Monatliche Seitenimpressionen | < 300 | |
| Monatliche Besuche | < 300 | |
| Wert pro Besucher | -- | |
| Geschätzter Wert | € 417,84 | |
| Externe Verweise | -- | |
| Anzahl der Seiten | -- |
Schlagwörter
| Nicht verfügbar |
Letzte Aktualisierung: 19.05.2018 . Geschätzte Werte, lesen Sie den Haftungsausschluss.
Inhalt
www.Leancop.de
Themen: Download, ileanCoP, und Documentation.
Verweise- Verweise von
- jens-otten.de Jens Otten - University of Potsdam
- jens-otten.de Jens Otten - University of Potsdam
- Verweise auf
- uni-potsdam.de Universität Potsdam
- potsdam.de Potsdam.de
- cs.uni-potsdam.de Universität Potsdam, Professur Theoretische Informatik
- python.org Python Programming Language – Official Website
| Serverort | |
| Strato Rechenzentrum Berlin Berlin Berlin Deutschland 52.52, 13.4 | |
Ihre 2 Nameserver lauten shades01.rzone.de, und docks02.rzone.de. Mittels des Apache/2 Web-Servers wird sie von Strato Rechenzentrum Berlin (Berlin, Berlin) gehostet. Ihre lokale IP-Adresse lautet 81.169.145.75.
IP: 81.169.145.75
Web Server: Apache/2
Charset: iso-8859-1
| PING www. (81.169.145.75) 56(84) bytes of data. | |
| 64 bytes from w0b.rzone.de (81.169.145.75): icmp_req=1 ttl=243 | 134 ms |
| 64 bytes from w0b.rzone.de (81.169.145.75): icmp_req=2 ttl=243 | 134 ms |
| 64 bytes from w0b.rzone.de (81.169.145.75): icmp_req=3 ttl=243 | 134 ms |
| --- www. ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2000ms | |
| rtt min/avg/max/mdev = 134.281/134.443/134.639/0.148 ms | |
| rtt min/avg/max/mdev = 134.281/134.443/134.639/0.148 ms |
Die Verbindungsgeschwindigkeit ist bei 134 ms festgesetzt.
| Server Setup | |
| Date: | -- |
|---|---|
| Server: | Apache/2.2.19 (Unix) mod_ssl/2.2.19 OpenSSL/0.9.8r |
| Last-Modified: | -- |
| ETag: | "6ac1539-2d33-496fe30c293b5" |
| Accept-Ranges: | bytes |
| Content-Length: | 11571 |
| Content-Type: | text/html |
Ähnliche Domänen
leancrm.de
leancubator.de
leand.de
leandar.de
leande.de
