www.effectiveanalysis.de Gehe zur Webseite
CCA 2014: Local Information
Wichtigste Keywords
Local Information On computability Analysis CCA 2014: Local Information Conference Victor Selivanov On Effective of Effective computability of Le Roux Vegan Exact real arithmetic Darmstadt central station Johanna Franklin Yasuyuki Tsukamoto Vasco Brattka Hideki Tsuiki Akitoshi Kawamura Open Problems Guido Gherardi Arno Pauly Mensa Vital Takayuki Kihara Zvonko Iljazovi Alexey Ostrovsky Matthias Schröder Cameron Freer Robert Lubarsky dynamical systems Holger Thies Florian Steinberg Margarita Korovina Christoph Spandl Pieter Collins Alexander Melnikov Timothy McNicholl Svetlana Selivanova Franz Brauße Jan Duracz Martin Pape Tahina Rakotoniaina Kazuto Yoshimura Martin Escardo Keith Briggs Michal Kone Miguel Casado building lunch functions Weihrauch
DNS-Daten
| Host | Klasse | Typ | Ziel |
|---|---|---|---|
| effectiveanalysis.de | IN | NS | docks03.rzone.de |
| effectiveanalysis.de | IN | NS | shades08.rzone.de |
| effectiveanalysis.de | IN | MX | smtp.rzone.de |
| effectiveanalysis.de | IN | A | 81.169.145.157 |
| effectiveanalysis.de | IN | AAAA | |
| effectiveanalysis.de | IN | SOA | docks03.rzone.de |
Server-Ping
PING effectiveanalysis.de (81.169.145.157) 56(84) bytes of data. 64 bytes from w9d.rzone.de (81.169.145.157): icmp_req=1 ttl=248 time=7.58 ms 64 bytes from w9d.rzone.de (81.169.145.157): icmp_req=2 ttl=248 time=7.36 ms 64 bytes from w9d.rzone.de (81.169.145.157): icmp_req=3 ttl=248 time=7.68 ms 64 bytes from w9d.rzone.de (81.169.145.157): icmp_req=4 ttl=248 time=8.23 ms --- effectiveanalysis.de ping statistics --- 4 packets transmitted, 4 received, 0% packet loss, time 601ms rtt min/avg/max/mdev = 7.366/7.719/8.239/0.327 ms
HTTP-Header
| HTTP-Tag | Wert |
|---|---|
| http_version | HTTP/1.1 |
| statuscode | 200 |
| date | Fri, 22 Aug 2014 10:13:40 GMT |
| server | Apache/2.2.27 (Unix) |
| last-modified | Fri, 25 Jul 2014 17:49:41 GMT |
| etag | "5f15403-4b41-4ff0832a0b13a" |
| accept-ranges | bytes |
| content-length | 19265 |
| content-type | text/html |
Meta Tags
| Meta-Tag | Wert |
|---|
Interne Links
| Anchor | URL |
|---|---|
| list of things to do in Darmstadt | http://effectiveanalysis.de/thingsToDo2.pdf |
| proceedings to CCA2014 | http://effectiveanalysis.de/cca2014proceedings.pdf |
Externe Links
| Anchor | URL |
|---|---|
| Eleventh International Conference on Computability and Complexity in Analysis | http://cca-net.de/cca2014/ |
| building S2/07 | http://www.tu-darmstadt.de/universitaet/orientierung/lageplaene/lageplaene_stadtmitte/inde... |
| Technische Universität Darmstadt | http://www.tu-darmstadt.de/index.en.jsp |
| Subway line S3 | http://www.rmv.de/en/ |
| Frankfurt Airport | http://www.frankfurt-airport.com/content/frankfurt_airport/en.html |
| Airliner Shuttle Bus | https://www.heagmobibus.de/sites/default/files/media/Airliner_Faltblatt_2014_2013_11_09web... |
| bus and/or tram | http://www.rmv.de/auskunft/bin/jp/query.exe/en |
| Welcome Hotel | http://www.welcome-hotels.com/welcomehotel-darmstadt/info/ |
| Bockshaut | http://www.bockshaut.de/EN/ |
| Best Western | http://www.bestwestern.de/hotels/Darmstadt/BEST-WESTERN-PLUS-Hotel-Darmstadt |
