Turing's revolution
the impact of his ideas about computability
| LEADER | cam a22 4 4500 | ||
|---|---|---|---|
| 001 | 439163358 | ||
| 003 | CHVBK | ||
| 005 | 20200930104036.0 | ||
| 008 | 170304s2015 sz 00 eng|d | ||
| 020 | |a 978-3-319-22155-7 | ||
| 020 | |a 3-319-22155-8 | ||
| 020 | |a 978-3-319-22156-4 |q eBook | ||
| 035 | |a (IDSBB)006669291 | ||
| 035 | |a (NEBIS)010526435 | ||
| 035 | |a (OCoLC)913557007 | ||
| 040 | |a YDXCP |b ger |d SzZuIDS NEBIS ETH-BIB |d SzZuIDS BS/BE A216 |e rda | ||
| 082 | 0 | |a 510.71 |2 23 | |
| 082 | 0 | 4 | |a 510.9/2 |2 23 |
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 082 | 1 | |a 100 |2 15 | |
| 082 | 1 | |a 510 |2 15 | |
| 084 | |a SR 800 |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a SF 8465 |2 rvk | ||
| 245 | 0 | 0 | |a Turing's revolution |b the impact of his ideas about computability |c Giovanni Sommaruga, Thomas Strahm, editors |
| 264 | 1 | |a Cham |b Birkhäuser |c [2015] | |
| 300 | |a xxiv, 329 Seiten |b Illustrationen | ||
| 600 | 1 | 0 | |a Turing, Alan Mathison |d 1912-1954 |
| 600 | 1 | 7 | |a Turing, Alan Mathison |d 1912-1954 |0 (DE-588)118802976 |2 gnd |
| 650 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd | |
| 650 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd | |
| 650 | 0 | |a Computable functions | |
| 650 | 0 | |a Computer science |x Mathematics | |
| 650 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd | |
| 650 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd | |
| 650 | 7 | |a Entwicklung |0 (DE-588)4113450-3 |2 gnd | |
| 650 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd | |
| 650 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd | |
| 650 | 7 | |a Turing-Maschine |0 (DE-588)4203525-9 |2 gnd | |
| 650 | 7 | |a ABSTRAKTE MASCHINEN + UNIVERSELLE MASCHINEN (THEORETISCHE INFORMATIK) |x ger |0 (ETHUDK)000061632 |2 ethudk | |
| 650 | 7 | |a ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK) |x ger |0 (ETHUDK)000012493 |2 ethudk | |
| 650 | 7 | |a ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) |x ger |0 (ETHUDK)000012524 |2 ethudk | |
| 650 | 7 | |a PHILOSOPHIE DER MATHEMATIK |x ger |0 (ETHUDK)000012477 |2 ethudk | |
| 650 | 7 | |a REKURSIONSTHEORIE (MATHEMATIK) |x ger |0 (ETHUDK)000012501 |2 ethudk | |
| 650 | 7 | |a TURINGMASCHINEN (UNIVERSELLE MASCHINEN) |x ger |0 (ETHUDK)000013785 |2 ethudk | |
| 655 | 7 | |a Aufsatzsammlung |2 gnd-content | |
| 690 | 7 | |B u |a 51 :92 |d Mathematiker-Biographien |2 idsuzh UK | |
| 690 | 7 | |B u |a 519 :92 |d Informatiker-, Statistiker-Biographien |2 idsuzh UK | |
| 690 | 7 | |B u |a Turing, Alan Mathison |d 1912-1954 |2 nebis E2 | |
| 691 | 7 | |B u |a ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK) |z ger |u 510.5 |2 nebis E1 | |
| 691 | 7 | |B u |a ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) |z ger |u 510.665 |2 nebis E1 | |
| 691 | 7 | |B u |a TURINGMASCHINEN (UNIVERSELLE MASCHINEN) |z ger |u 519.712.5,1 |2 nebis E1 | |
| 691 | 7 | |B u |a REKURSIONSTHEORIE (MATHEMATIK) |z ger |u 510.57 |2 nebis E1 | |
| 691 | 7 | |B u |a ABSTRAKTE MASCHINEN + UNIVERSELLE MASCHINEN (THEORETISCHE INFORMATIK) |z ger |u 004*06*01 |2 nebis E1 | |
| 691 | 7 | |B u |a PHILOSOPHIE DER MATHEMATIK |z ger |u 510.21 |2 nebis E1 | |
| 691 | 7 | |B u |a ALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS) |z eng |u 510.5 |2 nebis E1 | |
| 691 | 7 | |B u |a ALGORITHMES ET FONCTIONS CALCULABLES (MATHÉMATIQUES) |z fre |u 510.5 |2 nebis E1 | |
| 691 | 7 | |B u |a DECISION PROBLEMS (MATHEMATICAL LOGIC) |z eng |u 510.665 |2 nebis E1 | |
| 691 | 7 | |B u |a PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE) |z fre |u 510.665 |2 nebis E1 | |
| 691 | 7 | |B u |a TURING MACHINES (UNIVERSAL MACHINES) |z eng |u 519.712.5,1 |2 nebis E1 | |
| 691 | 7 | |B u |a MACHINES DE TURING (MACHINES UNIVERSELLES) |z fre |u 519.712.5,1 |2 nebis E1 | |
| 691 | 7 | |B u |a RECURSION THEORY (MATHEMATICS) |z eng |u 510.57 |2 nebis E1 | |
| 691 | 7 | |B u |a THÉORIE DE LA RÉCURSIVITÉ (MATHÉMATIQUES) |z fre |u 510.57 |2 nebis E1 | |
| 691 | 7 | |B u |a ABSTRACT DEVICES + UNIVERSAL MACHINES (THEORETICAL COMPUTER SCIENCE) |z eng |u 004*06*01 |2 nebis E1 | |
| 691 | 7 | |B u |a MODULES ABSTRAITS + MACHINES UNIVERSELLES (INFORMATIQUE THÉORIQUE) |z fre |u 004*06*01 |2 nebis E1 | |
| 691 | 7 | |B u |a PHILOSOPHY OF MATHEMATICS |z eng |u 510.21 |2 nebis E1 | |
| 691 | 7 | |B u |a PHILOSOPHIE DES MATHÉMATIQUES |z fre |u 510.21 |2 nebis E1 | |
| 700 | 1 | |a Sommaruga |D Giovanni |0 (DE-588)1085141594 |e Herausgeber |4 edt | |
| 700 | 1 | |a Strahm |D Thomas |0 (DE-588)1103057448 |e Herausgeber |4 edt | |
| 898 | |a BK020000 |b XK020000 |c XK020000 | ||
| 909 | 7 | |a E64-20170925 |2 nebis EN | |
| 909 | 7 | |a zbzmon201606l |c wyse |d zbzswk201606b |e somm |2 idszbz Z2 | |
| 912 | 7 | |a mt |2 SzZuIDS BS/BE | |
| 912 | 7 | |a 121 |2 E01-20160229 | |
| 912 | 7 | |a E30INFO |2 E30-20160512 | |
| 912 | 7 | |a 096 |2 E01-20160229 | |
| 912 | 7 | |a UFBIINFO |2 UFBI-20160404 | |
| 912 | 7 | |a UFBIMATH |2 UFBI-20160404 | |
| 912 | 7 | |a E64A |2 E64-20170925 | |
| 949 | |B NEBIS |F E30 |b E30 |c E30BI |j EDF 217 | ||
| 949 | |B IDSBB |F A216 |b A216 |c MAG |j MAT 00L TU TURING |x NELA2161703 | ||
| 950 | |B IDSBB |P 700 |E 1- |a Sommaruga |D Giovanni |0 (DE-588)1085141594 |e Herausgeber |4 edt | ||
| 950 | |B IDSBB |P 700 |E 1- |a Strahm |D Thomas |0 (DE-588)1103057448 |e Herausgeber |4 edt | ||
| 950 | |B NEBIS |P 700 |E 1- |a Sommaruga |D Giovanni |e Herausgeber |4 edt | ||
| 950 | |B NEBIS |P 700 |E 1- |a Strahm |D Thomas |e Herausgeber |4 edt | ||
| 956 | 4 | |B NEBIS |C EAD50 |u https://opac.nebis.ch/objects/pdf03/e01_978-3-319-22155-7_01.pdf |y Titelblatt und Inhaltsverzeichnis |x VIEW |q pdf | |
| 956 | 4 | |B NEBIS |C EAD50 |u https://opac.nebis.ch/objects/pdf03/e01_978-3-319-22155-7_02.pdf |y Abstract / Autoreninformation |x VIEW |q pdf | |
| 986 | |a SWISSBIB |b 357748751 | ||
| 986 | |a ORANGE |b 439163358 | ||