Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  windowsZones.txt   Sprache: Text

 
// Copyright (C) 2016 and later: Unicode, Inc. and others.
// License & terms of use: http://www.unicode.org/copyright.html
// ***************************************************************************
// *
// * Copyright (C) 2014 International Business Machines
// * Corporation and others. All Rights Reserved.
// * Tool: org.unicode.cldr.icu.NewLdml2IcuConverter
// * Source File: <path>/windowsZones.xml
// *
// ***************************************************************************
windowsZones:table(nofallback){
    mapTimezones{
        "AUS Central Standard Time"{
            001{"Australia/Darwin"}
            AU{"Australia/Darwin"}
        }
        "AUS Eastern Standard Time"{
            001{"Australia/Sydney"}
            AU{"Australia/Sydney Australia/Melbourne"}
        }
        "Afghanistan Standard Time"{
            001{"Asia/Kabul"}
            AF{"Asia/Kabul"}
        }
        "Alaskan Standard Time"{
            001{"America/Anchorage"}
            US{
                "America/Anchorage America/Juneau America/Nome America/Sitka America/"
                "Yakutat"
            }
        }
        "Arab Standard Time"{
            001{"Asia/Riyadh"}
            BH{"Asia/Bahrain"}
            KW{"Asia/Kuwait"}
            QA{"Asia/Qatar"}
            SA{"Asia/Riyadh"}
            YE{"Asia/Aden"}
        }
        "Arabian Standard Time"{
            001{"Asia/Dubai"}
            AE{"Asia/Dubai"}
            OM{"Asia/Muscat"}
            ZZ{"Etc/GMT-4"}
        }
        "Arabic Standard Time"{
            001{"Asia/Baghdad"}
            IQ{"Asia/Baghdad"}
        }
        "Argentina Standard Time"{
            001{"America/Buenos_Aires"}
            AR{
                "America/Buenos_Aires America/Argentina/La_Rioja America/Argentina/Ri"
                "o_Gallegos America/Argentina/Salta America/Argentina/San_Juan Americ"
                "a/Argentina/San_Luis America/Argentina/Tucuman America/Argentina/Ush"
                "uaia America/Catamarca America/Cordoba America/Jujuy America/Mendoza"
            }
        }
        "Atlantic Standard Time"{
            001{"America/Halifax"}
            BM{"Atlantic/Bermuda"}
            CA{"America/Halifax America/Glace_Bay America/Goose_Bay America/Moncton"}
            GL{"America/Thule"}
        }
        "Azerbaijan Standard Time"{
            001{"Asia/Baku"}
            AZ{"Asia/Baku"}
        }
        "Azores Standard Time"{
            001{"Atlantic/Azores"}
            GL{"America/Scoresbysund"}
            PT{"Atlantic/Azores"}
        }
        "Bahia Standard Time"{
            001{"America/Bahia"}
            BR{"America/Bahia"}
        }
        "Bangladesh Standard Time"{
            001{"Asia/Dhaka"}
            BD{"Asia/Dhaka"}
            BT{"Asia/Thimphu"}
        }
        "Canada Central Standard Time"{
            001{"America/Regina"}
            CA{"America/Regina America/Swift_Current"}
        }
        "Cape Verde Standard Time"{
            001{"Atlantic/Cape_Verde"}
            CV{"Atlantic/Cape_Verde"}
            ZZ{"Etc/GMT+1"}
        }
        "Caucasus Standard Time"{
            001{"Asia/Yerevan"}
            AM{"Asia/Yerevan"}
        }
        "Cen. Australia Standard Time"{
            001{"Australia/Adelaide"}
            AU{"Australia/Adelaide Australia/Broken_Hill"}
        }
        "Central America Standard Time"{
            001{"America/Guatemala"}
            BZ{"America/Belize"}
            CR{"America/Costa_Rica"}
            EC{"Pacific/Galapagos"}
            GT{"America/Guatemala"}
            HN{"America/Tegucigalpa"}
            NI{"America/Managua"}
            SV{"America/El_Salvador"}
            ZZ{"Etc/GMT+6"}
        }
        "Central Asia Standard Time"{
            001{"Asia/Almaty"}
            AQ{"Antarctica/Vostok"}
            IO{"Indian/Chagos"}
            KG{"Asia/Bishkek"}
            KZ{"Asia/Almaty Asia/Qyzylorda"}
            ZZ{"Etc/GMT-6"}
        }
        "Central Brazilian Standard Time"{
            001{"America/Cuiaba"}
            BR{"America/Cuiaba America/Campo_Grande"}
        }
        "Central Europe Standard Time"{
            001{"Europe/Budapest"}
            AL{"Europe/Tirane"}
            CZ{"Europe/Prague"}
            HU{"Europe/Budapest"}
            ME{"Europe/Podgorica"}
            RS{"Europe/Belgrade"}
            SI{"Europe/Ljubljana"}
            SK{"Europe/Bratislava"}
        }
        "Central European Standard Time"{
            001{"Europe/Warsaw"}
            BA{"Europe/Sarajevo"}
            HR{"Europe/Zagreb"}
            MK{"Europe/Skopje"}
            PL{"Europe/Warsaw"}
        }
        "Central Pacific Standard Time"{
            001{"Pacific/Guadalcanal"}
            AU{"Antarctica/Macquarie"}
            FM{"Pacific/Ponape Pacific/Kosrae"}
            NC{"Pacific/Noumea"}
            SB{"Pacific/Guadalcanal"}
            VU{"Pacific/Efate"}
            ZZ{"Etc/GMT-11"}
        }
        "Central Standard Time (Mexico)"{
            001{"America/Mexico_City"}
            MX{
                "America/Mexico_City America/Bahia_Banderas America/Cancun America/Me"
                "rida America/Monterrey"
            }
        }
        "Central Standard Time"{
            001{"America/Chicago"}
            CA{
                "America/Winnipeg America/Rainy_River America/Rankin_Inlet America/Re"
                "solute"
            }
            MX{"America/Matamoros"}
            US{
                "America/Chicago America/Indiana/Knox America/Indiana/Tell_City Ameri"
                "ca/Menominee America/North_Dakota/Beulah America/North_Dakota/Center"
                " America/North_Dakota/New_Salem"
            }
            ZZ{"CST6CDT"}
        }
        "China Standard Time"{
            001{"Asia/Shanghai"}
            CN{"Asia/Shanghai Asia/Chongqing Asia/Harbin Asia/Kashgar Asia/Urumqi"}
            HK{"Asia/Hong_Kong"}
            MO{"Asia/Macau"}
        }
        "Dateline Standard Time"{
            001{"Etc/GMT+12"}
            ZZ{"Etc/GMT+12"}
        }
        "E. Africa Standard Time"{
            001{"Africa/Nairobi"}
            AQ{"Antarctica/Syowa"}
            DJ{"Africa/Djibouti"}
            ER{"Africa/Asmera"}
            ET{"Africa/Addis_Ababa"}
            KE{"Africa/Nairobi"}
            KM{"Indian/Comoro"}
            MG{"Indian/Antananarivo"}
            SD{"Africa/Khartoum"}
            SO{"Africa/Mogadishu"}
            SS{"Africa/Juba"}
            TZ{"Africa/Dar_es_Salaam"}
            UG{"Africa/Kampala"}
            YT{"Indian/Mayotte"}
            ZZ{"Etc/GMT-3"}
        }
        "E. Australia Standard Time"{
            001{"Australia/Brisbane"}
            AU{"Australia/Brisbane Australia/Lindeman"}
        }
        "E. South America Standard Time"{
            001{"America/Sao_Paulo"}
            BR{"America/Sao_Paulo"}
        }
        "Eastern Standard Time"{
            001{"America/New_York"}
            BS{"America/Nassau"}
            CA{
                "America/Toronto America/Iqaluit America/Montreal America/Nipigon Ame"
                "rica/Pangnirtung America/Thunder_Bay"
            }
            CU{"America/Havana"}
            HT{"America/Port-au-Prince"}
            TC{"America/Grand_Turk"}
            US{
                "America/New_York America/Detroit America/Indiana/Petersburg America/"
                "Indiana/Vincennes America/Indiana/Winamac America/Kentucky/Monticell"
                "o America/Louisville"
            }
            ZZ{"EST5EDT"}
        }
        "Egypt Standard Time"{
            001{"Africa/Cairo"}
            EG{"Africa/Cairo"}
        }
        "Ekaterinburg Standard Time"{
            001{"Asia/Yekaterinburg"}
            RU{"Asia/Yekaterinburg"}
        }
        "FLE Standard Time"{
            001{"Europe/Kiev"}
            AX{"Europe/Mariehamn"}
            BG{"Europe/Sofia"}
            EE{"Europe/Tallinn"}
            FI{"Europe/Helsinki"}
            LT{"Europe/Vilnius"}
            LV{"Europe/Riga"}
            UA{"Europe/Kiev Europe/Simferopol Europe/Uzhgorod Europe/Zaporozhye"}
        }
        "Fiji Standard Time"{
            001{"Pacific/Fiji"}
            FJ{"Pacific/Fiji"}
        }
        "GMT Standard Time"{
            001{"Europe/London"}
            ES{"Atlantic/Canary"}
            FO{"Atlantic/Faeroe"}
            GB{"Europe/London"}
            GG{"Europe/Guernsey"}
            IE{"Europe/Dublin"}
            IM{"Europe/Isle_of_Man"}
            JE{"Europe/Jersey"}
            PT{"Europe/Lisbon Atlantic/Madeira"}
        }
        "GTB Standard Time"{
            001{"Europe/Bucharest"}
            CY{"Asia/Nicosia"}
            GR{"Europe/Athens"}
            MD{"Europe/Chisinau"}
            RO{"Europe/Bucharest"}
        }
        "Georgian Standard Time"{
            001{"Asia/Tbilisi"}
            GE{"Asia/Tbilisi"}
        }
        "Greenland Standard Time"{
            001{"America/Godthab"}
            GL{"America/Godthab"}
        }
        "Greenwich Standard Time"{
            001{"Atlantic/Reykjavik"}
            BF{"Africa/Ouagadougou"}
            CI{"Africa/Abidjan"}
            GH{"Africa/Accra"}
            GM{"Africa/Banjul"}
            GN{"Africa/Conakry"}
            GW{"Africa/Bissau"}
            IS{"Atlantic/Reykjavik"}
            LR{"Africa/Monrovia"}
            ML{"Africa/Bamako"}
            MR{"Africa/Nouakchott"}
            SH{"Atlantic/St_Helena"}
            SL{"Africa/Freetown"}
            SN{"Africa/Dakar"}
            ST{"Africa/Sao_Tome"}
            TG{"Africa/Lome"}
        }
        "Hawaiian Standard Time"{
            001{"Pacific/Honolulu"}
            CK{"Pacific/Rarotonga"}
            PF{"Pacific/Tahiti"}
            UM{"Pacific/Johnston"}
            US{"Pacific/Honolulu"}
            ZZ{"Etc/GMT+10"}
        }
        "India Standard Time"{
            001{"Asia/Calcutta"}
            IN{"Asia/Calcutta"}
        }
        "Iran Standard Time"{
            001{"Asia/Tehran"}
            IR{"Asia/Tehran"}
        }
        "Israel Standard Time"{
            001{"Asia/Jerusalem"}
            IL{"Asia/Jerusalem"}
        }
        "Jordan Standard Time"{
            001{"Asia/Amman"}
            JO{"Asia/Amman"}
        }
        "Kaliningrad Standard Time"{
            001{"Europe/Kaliningrad"}
            BY{"Europe/Minsk"}
            RU{"Europe/Kaliningrad"}
        }
        "Korea Standard Time"{
            001{"Asia/Seoul"}
            KP{"Asia/Pyongyang"}
            KR{"Asia/Seoul"}
        }
        "Libya Standard Time"{
            001{"Africa/Tripoli"}
            LY{"Africa/Tripoli"}
        }
        "Magadan Standard Time"{
            001{"Asia/Magadan"}
            RU{"Asia/Magadan Asia/Anadyr Asia/Kamchatka"}
        }
        "Mauritius Standard Time"{
            001{"Indian/Mauritius"}
            MU{"Indian/Mauritius"}
            RE{"Indian/Reunion"}
            SC{"Indian/Mahe"}
        }
        "Middle East Standard Time"{
            001{"Asia/Beirut"}
            LB{"Asia/Beirut"}
        }
        "Montevideo Standard Time"{
            001{"America/Montevideo"}
            UY{"America/Montevideo"}
        }
        "Morocco Standard Time"{
            001{"Africa/Casablanca"}
            EH{"Africa/El_Aaiun"}
            MA{"Africa/Casablanca"}
        }
        "Mountain Standard Time (Mexico)"{
            001{"America/Chihuahua"}
            MX{"America/Chihuahua America/Mazatlan"}
        }
        "Mountain Standard Time"{
            001{"America/Denver"}
            CA{
                "America/Edmonton America/Cambridge_Bay America/Inuvik America/Yellow"
                "knife"
            }
            MX{"America/Ojinaga"}
            US{"America/Denver America/Boise America/Shiprock"}
            ZZ{"MST7MDT"}
        }
        "Myanmar Standard Time"{
            001{"Asia/Rangoon"}
            CC{"Indian/Cocos"}
            MM{"Asia/Rangoon"}
        }
        "N. Central Asia Standard Time"{
            001{"Asia/Novosibirsk"}
            RU{"Asia/Novosibirsk Asia/Novokuznetsk Asia/Omsk"}
        }
        "Namibia Standard Time"{
            001{"Africa/Windhoek"}
            NA{"Africa/Windhoek"}
        }
        "Nepal Standard Time"{
            001{"Asia/Katmandu"}
            NP{"Asia/Katmandu"}
        }
        "New Zealand Standard Time"{
            001{"Pacific/Auckland"}
            AQ{"Antarctica/McMurdo"}
            NZ{"Pacific/Auckland Antarctica/South_Pole"}
        }
        "Newfoundland Standard Time"{
            001{"America/St_Johns"}
            CA{"America/St_Johns"}
        }
        "North Asia East Standard Time"{
            001{"Asia/Irkutsk"}
            RU{"Asia/Irkutsk"}
        }
        "North Asia Standard Time"{
            001{"Asia/Krasnoyarsk"}
            RU{"Asia/Krasnoyarsk"}
        }
        "Pacific SA Standard Time"{
            001{"America/Santiago"}
            AQ{"Antarctica/Palmer"}
            CL{"America/Santiago"}
        }
        "Pacific Standard Time (Mexico)"{
            001{"America/Santa_Isabel"}
            MX{"America/Santa_Isabel"}
        }
        "Pacific Standard Time"{
            001{"America/Los_Angeles"}
            CA{"America/Vancouver America/Dawson America/Whitehorse"}
            MX{"America/Tijuana"}
            US{"America/Los_Angeles"}
            ZZ{"PST8PDT"}
        }
        "Pakistan Standard Time"{
            001{"Asia/Karachi"}
            PK{"Asia/Karachi"}
        }
        "Paraguay Standard Time"{
            001{"America/Asuncion"}
            PY{"America/Asuncion"}
        }
        "Romance Standard Time"{
            001{"Europe/Paris"}
            BE{"Europe/Brussels"}
            DK{"Europe/Copenhagen"}
            ES{"Europe/Madrid Africa/Ceuta"}
            FR{"Europe/Paris"}
        }
        "Russian Standard Time"{
            001{"Europe/Moscow"}
            RU{"Europe/Moscow Europe/Samara Europe/Volgograd"}
        }
        "SA Eastern Standard Time"{
            001{"America/Cayenne"}
            AQ{"Antarctica/Rothera"}
            BR{
                "America/Fortaleza America/Araguaina America/Belem America/Maceio Ame"
                "rica/Recife America/Santarem"
            }
            FK{"Atlantic/Stanley"}
            GF{"America/Cayenne"}
            SR{"America/Paramaribo"}
            ZZ{"Etc/GMT+3"}
        }
        "SA Pacific Standard Time"{
            001{"America/Bogota"}
            BR{"America/Rio_Branco America/Eirunepe"}
            CA{"America/Coral_Harbour"}
            CO{"America/Bogota"}
            EC{"America/Guayaquil"}
            JM{"America/Jamaica"}
            KY{"America/Cayman"}
            PA{"America/Panama"}
            PE{"America/Lima"}
            ZZ{"Etc/GMT+5"}
        }
        "SA Western Standard Time"{
            001{"America/La_Paz"}
            AG{"America/Antigua"}
            AI{"America/Anguilla"}
            AW{"America/Aruba"}
            BB{"America/Barbados"}
            BL{"America/St_Barthelemy"}
            BO{"America/La_Paz"}
            BQ{"America/Kralendijk"}
            BR{"America/Manaus America/Boa_Vista America/Porto_Velho"}
            CA{"America/Blanc-Sablon"}
            CW{"America/Curacao"}
            DM{"America/Dominica"}
            DO{"America/Santo_Domingo"}
            GD{"America/Grenada"}
            GP{"America/Guadeloupe"}
            GY{"America/Guyana"}
            KN{"America/St_Kitts"}
            LC{"America/St_Lucia"}
            MF{"America/Marigot"}
            MQ{"America/Martinique"}
            MS{"America/Montserrat"}
            PR{"America/Puerto_Rico"}
            SX{"America/Lower_Princes"}
            TT{"America/Port_of_Spain"}
            VC{"America/St_Vincent"}
            VG{"America/Tortola"}
            VI{"America/St_Thomas"}
            ZZ{"Etc/GMT+4"}
        }
        "SE Asia Standard Time"{
            001{"Asia/Bangkok"}
            AQ{"Antarctica/Davis"}
            CX{"Indian/Christmas"}
            ID{"Asia/Jakarta Asia/Pontianak"}
            KH{"Asia/Phnom_Penh"}
            LA{"Asia/Vientiane"}
            MN{"Asia/Hovd"}
            TH{"Asia/Bangkok"}
            VN{"Asia/Saigon"}
            ZZ{"Etc/GMT-7"}
        }
        "Samoa Standard Time"{
            001{"Pacific/Apia"}
            WS{"Pacific/Apia"}
        }
        "Singapore Standard Time"{
            001{"Asia/Singapore"}
            BN{"Asia/Brunei"}
            ID{"Asia/Makassar"}
            MY{"Asia/Kuala_Lumpur Asia/Kuching"}
            PH{"Asia/Manila"}
            SG{"Asia/Singapore"}
            ZZ{"Etc/GMT-8"}
        }
        "South Africa Standard Time"{
            001{"Africa/Johannesburg"}
            BI{"Africa/Bujumbura"}
            BW{"Africa/Gaborone"}
            CD{"Africa/Lubumbashi"}
            LS{"Africa/Maseru"}
            MW{"Africa/Blantyre"}
            MZ{"Africa/Maputo"}
            RW{"Africa/Kigali"}
            SZ{"Africa/Mbabane"}
            ZA{"Africa/Johannesburg"}
            ZM{"Africa/Lusaka"}
            ZW{"Africa/Harare"}
            ZZ{"Etc/GMT-2"}
        }
        "Sri Lanka Standard Time"{
            001{"Asia/Colombo"}
            LK{"Asia/Colombo"}
        }
        "Syria Standard Time"{
            001{"Asia/Damascus"}
            SY{"Asia/Damascus"}
        }
        "Taipei Standard Time"{
            001{"Asia/Taipei"}
            TW{"Asia/Taipei"}
        }
        "Tasmania Standard Time"{
            001{"Australia/Hobart"}
            AU{"Australia/Hobart Australia/Currie"}
        }
        "Tokyo Standard Time"{
            001{"Asia/Tokyo"}
            ID{"Asia/Jayapura"}
            JP{"Asia/Tokyo"}
            PW{"Pacific/Palau"}
            TL{"Asia/Dili"}
            ZZ{"Etc/GMT-9"}
        }
        "Tonga Standard Time"{
            001{"Pacific/Tongatapu"}
            KI{"Pacific/Enderbury"}
            TK{"Pacific/Fakaofo"}
            TO{"Pacific/Tongatapu"}
            ZZ{"Etc/GMT-13"}
        }
        "Turkey Standard Time"{
            001{"Europe/Istanbul"}
            TR{"Europe/Istanbul"}
        }
        "US Eastern Standard Time"{
            001{"America/Indianapolis"}
            US{"America/Indianapolis America/Indiana/Marengo America/Indiana/Vevay"}
        }
        "US Mountain Standard Time"{
            001{"America/Phoenix"}
            CA{"America/Dawson_Creek America/Creston"}
            MX{"America/Hermosillo"}
            US{"America/Phoenix"}
            ZZ{"Etc/GMT+7"}
        }
        "UTC"{
            001{"Etc/GMT"}
            GL{"America/Danmarkshavn"}
            ZZ{"Etc/GMT"}
        }
        "UTC+12"{
            001{"Etc/GMT-12"}
            KI{"Pacific/Tarawa"}
            MH{"Pacific/Majuro Pacific/Kwajalein"}
            NR{"Pacific/Nauru"}
            TV{"Pacific/Funafuti"}
            UM{"Pacific/Wake"}
            WF{"Pacific/Wallis"}
            ZZ{"Etc/GMT-12"}
        }
        "UTC-02"{
            001{"Etc/GMT+2"}
            BR{"America/Noronha"}
            GS{"Atlantic/South_Georgia"}
            ZZ{"Etc/GMT+2"}
        }
        "UTC-11"{
            001{"Etc/GMT+11"}
            AS{"Pacific/Pago_Pago"}
            NU{"Pacific/Niue"}
            UM{"Pacific/Midway"}
            ZZ{"Etc/GMT+11"}
        }
        "Ulaanbaatar Standard Time"{
            001{"Asia/Ulaanbaatar"}
            MN{"Asia/Ulaanbaatar Asia/Choibalsan"}
        }
        "Venezuela Standard Time"{
            001{"America/Caracas"}
            VE{"America/Caracas"}
        }
        "Vladivostok Standard Time"{
            001{"Asia/Vladivostok"}
            RU{"Asia/Vladivostok Asia/Sakhalin Asia/Ust-Nera"}
        }
        "W. Australia Standard Time"{
            001{"Australia/Perth"}
            AQ{"Antarctica/Casey"}
            AU{"Australia/Perth"}
        }
        "W. Central Africa Standard Time"{
            001{"Africa/Lagos"}
            AO{"Africa/Luanda"}
            BJ{"Africa/Porto-Novo"}
            CD{"Africa/Kinshasa"}
            CF{"Africa/Bangui"}
            CG{"Africa/Brazzaville"}
            CM{"Africa/Douala"}
            DZ{"Africa/Algiers"}
            GA{"Africa/Libreville"}
            GQ{"Africa/Malabo"}
            NE{"Africa/Niamey"}
            NG{"Africa/Lagos"}
            TD{"Africa/Ndjamena"}
            TN{"Africa/Tunis"}
            ZZ{"Etc/GMT-1"}
        }
        "W. Europe Standard Time"{
            001{"Europe/Berlin"}
            AD{"Europe/Andorra"}
            AT{"Europe/Vienna"}
            CH{"Europe/Zurich"}
            DE{"Europe/Berlin Europe/Busingen"}
            GI{"Europe/Gibraltar"}
            IT{"Europe/Rome"}
            LI{"Europe/Vaduz"}
            LU{"Europe/Luxembourg"}
            MC{"Europe/Monaco"}
            MT{"Europe/Malta"}
            NL{"Europe/Amsterdam"}
            NO{"Europe/Oslo"}
            SE{"Europe/Stockholm"}
            SJ{"Arctic/Longyearbyen"}
            SM{"Europe/San_Marino"}
            VA{"Europe/Vatican"}
        }
        "West Asia Standard Time"{
            001{"Asia/Tashkent"}
            AQ{"Antarctica/Mawson"}
            KZ{"Asia/Oral Asia/Aqtau Asia/Aqtobe"}
            MV{"Indian/Maldives"}
            TF{"Indian/Kerguelen"}
            TJ{"Asia/Dushanbe"}
            TM{"Asia/Ashgabat"}
            UZ{"Asia/Tashkent Asia/Samarkand"}
            ZZ{"Etc/GMT-5"}
        }
        "West Pacific Standard Time"{
            001{"Pacific/Port_Moresby"}
            AQ{"Antarctica/DumontDUrville"}
            FM{"Pacific/Truk"}
            GU{"Pacific/Guam"}
            MP{"Pacific/Saipan"}
            PG{"Pacific/Port_Moresby"}
            ZZ{"Etc/GMT-10"}
        }
        "Yakutsk Standard Time"{
            001{"Asia/Yakutsk"}
            RU{"Asia/Yakutsk Asia/Khandyga"}
        }
    }
}

¤ Dauer der Verarbeitung: 0.29 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge