Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 69 Berechenbarkeitstheorie, Komplexitätstheorie
- 1143 Bildsignalverarbeitung
- 4655 Künstliche Intelligenz
- 2177 Logik, formale Sprachen, Automaten
- 999 Mathematik für Informatiker
- 1183 Mensch-Maschine-Interaktion
- 164 Natürliche Sprachen & Maschinelle Übersetzung
- 331 Rechnerarchitektur
- 396 Theoretische Informatik
- 25 Tonsignalverarbeitung
- 59 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7867
- Erscheinungsjahr
-
- 244
- 693
- 728
- 434
- 290
- 173
- 189
- 199
- 212
- 192
- 210
- 198
- 187
- 203
- 188
- 177
- 171
- 188
- 180
- 221
- 222
- 191
- 280
- 235
- 203
- 193
- 130
- 125
- 112
- 113
- 103
- 93
- 89
- 73
- 60
- 70
- 46
- 48
- 31
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 3
- 5
- 4
- 6
- 3
- 3
- 5
- 4
- 4
- 3
- 9
- 7
- 4
- 12
- 8
- 11
- 7
- 3
- 4
- 4
- 3
- 9
- 3
- 5
- 3
- 4
- 6
- 3
- 17
- 14
- 4
- 7
- 5
- 3
- 3
- 4
- 4
- 6
- 8
- 3
- 3
- 3
- 5
- 4
- 3
- 5
- 3
- 4
- 3
- 14
- 3
- 27
- 36
- 7
- 3
- 4
- 3
- 24
- 4
- 5
- 4
- 3
- 4
- 5
- 4
- 5
- 11
- 4
- 5
- 15
- 3
- 11
- 3
- 3
- 3
- 3
- 3
- 4
- 39
- 4
- 6
- 4
- 4
- 5
- 4
- 4
- 3
- 7
- 3
- 4
- 3
- 4
- 4
- 3
- 4
- 10
- 6
- 4
- 16
- 3
- 3
- 3
- 7
- 3
- 4
- 5
- 3
- 6
- 5
- 4
- 8
- 6
- 11
- 8
- 5
- 4
- 7
- 4
- 4
- 4
- 19
- 7
- 6
- 4
- 5
- 4
- 8
- 5
- 5
- 7
- 4
- 9
- 12
- 6
- 5
- 6
- 40
- 4
- 4
- 7
- 4
- 22
- 9
- 5
- 5
- 8
- 8
- 4
- 4
- 6
- 5
- 4
- 10
- 4
- 4
- 5
- 5
- 11
- 4
- 10
- 5
- 4
- 14
- 14
- 6
- 4
- 5
- 4
- 7
- 10
- 4
- 5
- 39
- 19
- 7
- 7
- 4
- 7
- 5
- 4
- 16
- 5
- 11
- 8
- 4
- 5
- 12
- 5
- 5
- 8
- 9
- 4
- 4
- 11
- 4
- 24
- 4
- 14
- 4
- 5
- 10
- 10
- 5
- 9
- 8
- 6
- 6
- 4
- 4
- 6
- 5
- 34
- 4
- 5
- 12
- 41
- 4
- 13
- 9
- 6
- 16
- 4
- 4
- 4
- 18
- 38
- 5
- 4
- 5
- 9
- 15
- 14
- 4
- 5
- 7
- 12
- 5
- 4
- 4
- 4
- 5
- 8
- 4
- 4
- 4
- 39
- 6
- 7
- 6
- 4
- 10
- 4
- 4
- 4
- 4
- 11
- 5
- 4
- 4
- 4
- 4
- 5
- 6
- 6
- 10
- 6
- 5
- 4
- 7
- 6
- 6
- 4
- 10
- 5
- 4
- 4
- 5
- 7
- 4
- 7
- 7
- 14
- 21
- 7
- 5
- 10
- 5
- 7
- 5
- 11
- 9
- 5
- 24
- 6
- 4
- 5
- 4
- 4
- 4
- 4
- 7
- 6
- 4
- 4
- 4
- 4
- 4
- 7
- 4
- 4
- 6
- 4
- 6
- 4
- 5
- 4
- 6
- 7
- 8
- 16
- 11
- 5
- 5
- 8
- 40
- 39
- 5
- 8
- 23
- 4
- 6
- 10
- 13
- 4
- 5
- 26
- 11
- 4
- 6
- 16
- 4
- 4
- 4
- 4
- 5
- 5
- 10
- 5
- 8
- 6
- 8
- 5
- 27
- 4
- 4
- 10
- 44
- 4
- 8
- 4
- 4
- 4
- 14
- 7
- 8
- 6
- 8
- 5
- 7
- 4
- 13
- 5
- 4
- 4
- 6
- 8
- 4
- 6
- 5
- 4
- 4
- 15
- 16
- 5
- 4
- 9
- 6
- 4
- 9
- 11
- 5
- 6
- 4
- 14
- 34
- 4
- 5
- 22
- 10
- 15
- 25
- 63
- 4
- 11
- 4
- 5
- 15
- 4
- 4
- 4
- 18
- 4
- 10
- 9
- 5
- 12
- 4
- 4
- 5
- 4
- 7
- 23
- 4
- 6
- 10
- 5
- 4
- 15
- 6
- 4
- 7
- 19
- 39
- 9
- 18
- 5
- 8
- 4
- 4
- 4
- 6
- 5
- 14
- 15
- 8
- 4
- 4
- 73
- 4
- 4
- 5
- 10
- 4
- 4
- 6
- 4
- 4
- 15
- 12
- 4
- 18
- 6
- 7
- 4
- 6
- 6
- 4
- 4
- 16
- 4
- 9
- 5
- 4
- 13
- 13
- 4
- 5
- 5
- 4
- 4
- 14
- 6
- 6
- 7
- 8
- 5
- 4
- 10
- 4
- 21
- 4
- 4
- 5
- 5
- 8
- 8
- 4
- 4
- 11
- 21
- 4
- 4
- 6
- 10
- 15
- 5
- 33
- 6
- 8
- 11
- 4
- 8
- 6
- 5
- 14
- 4
- 17
- 16
- 5
- 8
- 5
- 7
- 13
- 5
- 4
- 12
- 4
- 25
- 5
- 13
- 16
- 39
- 4
- 4
- 5
- 7
- 4
- 5
- 12
- 5
- 4
- 6
- 5
- 7
- 11
- 7
- 8
- 14
- 13
- 78
- 12
- 16
- 4
- 4
- 10
- 7
- 7
- 4
- 16
- 8
- 4
- 4
- 4
- 4
- 6
- 6
- 18
- 19
- 5
- 25
- 8
- 4
- 63
- 14
- 6
- 7
- 10
- 20
- 5
- 4
- 5
- 5
- 4
- 4
- 13
- 7
- 25
- 6
- 4
- 4
- 11
- 11
- 13
- 14
- 12
- 11
- 12
- 17
- 6
- 11
- 8
- 4
- 4
- 19
- 4
- 37
- 20
- 7
- 4
- 7
- 7
- 9
- 5
- 15
- 10
- 4
- 4
- 7
- 5
- 6
- 8
- 4
- 4
- 5
- 4
- 5
- 7
- 4
- 8
- 11
- 4
- 7
- 4
- 5
- 16
- 5
- 11
- 4
- 7
- 4
- 4
- 16
- 5
- 6
- 9
- 5
- 9
- 7
- 4
- 56
- 4
- 5
- 6
- 4
- 4
- 6
- 7
- 5
- 40
- 7
- 5
- 11
- 7
- 4
- 4
- 5
- 10
- 4
- 4
- 8
- 6
- 4
- 4
- 8
- 11
- 6
- 5
- 4
- 7
- 4
- 4
- 7
- 4
- 4
- 10
- 44
- 6
- 6
- 21
- 8
- 20
- 15
- 4
- 13
- 4
- 7
- 13
- 15
- 6
- 14
- 5
- 21
- 12
- 5
- 13
- 8
- 4
- 4
- 13
- 5
- 19
- 4
- 12
- 6
- 4
- 4
- 6
- 10
- 6
- 4
- 4
- 7
- 4
- 24
- 4
- 4
- 6
- 4
- 13
- 5
- 11
- 4
- 7
- 4
- 6
- 4
- 6
- 4
- 4
- 8
- 26
- 6
- 12
- 5
- 19
- 4
- 5
- 89
- 7
- 7
- 4
- 5
- 5
- 11
- 12
- 8
- 4
- 8
- 21
- 4
- 4
- 90
- 4
- 41
- 11
- 11
- 10
- 89
- 19
- 14
- 4
- 6
- 4
- 6
- 9
- 16
- 10
- 10
- 4
- 4
- 5
- 12
- 89
- 5
- 19
- 4
- 9
- 8
- 12
- 4
- 12
- 15
- 12
- 4
- 5
- 4
- 9
- 4
- 9
- 8
- 15
- 14
- 4
- 4
- 4
- 9
- 4
- 4
- 4
- 6
- 13
- 22
- 4
- 4
- 4
- 5
- 5
- 14
- 6
- 7
- 18
- 14
- 20
- 27
- 4
- 4
- 6
- 18
- 11
- 4
- 9
- 9
- 12
- 7
- 4
- 4
- 6
- 29
- 41
- 9
- 7
- 7
- 4
- 22
- 4
- 8
- 4
- 8
- 13
- 21
- 24
- 9
- 22
- 41
- 10
- 15
- 9
- 5
- 4
- 16
- 16
- 15
- 8
- 29
- 4
- 4
- 24
- 12
- 6
- 8
- 6
- 7
- 5
- 12
- 5
- 11
- 4
- 8
- 7
- 4
- 15
- 7
- 6
- 5
- 7
- 8
- 4
- 89
- 10
- 16
- 15
- 4
- 4
- 4
- 16
- 8
- 5
- 20
- 5
- 11
- 5
- 5
- 7
- 13
- 7
- 6
- 19
- 6
- 5
- 4
- 4
- 5
- 4
- 4
- 17
- 9
- 6
- 6
- 6
- 7
- 8
- 8
- 5
- 26
- 6
- 8
- 10
- 6
- 4
- 6
- 6
- 5
- 4
- 4
- 5
- 7
- 6
- 5
- 4
- 5
- 18
- 5
- 4
- 8
- 4
- 11
- 6
- 4
- 28
- 12
- 14
- 5
- 4
- 4
- 10
- 4
- 8
- 9
- 4
- 18
- 6
- 6
- 5
- 15
- 4
- 6
- 7
- 6
- 5
- 5
- 18
- 4
- 4
- 4
- 7
- 47
- 4
- 16
- 22
- 4
- 4
- 17
- 5
- 4
- 5
- 5
- 32
- 7
- 8
- 20
- 4
- 20
- 5
- 5
- 5
- 10
- 4
- 5
- 7
- 21
- Verlag
-
- 1
- 7830
- 3
- 3
- 2
- 2
- 1
- 25
- Preis
-
- 27
- 248
- 5904
- 1688
- Sprachen
-
- 7862
- 15
- 12
- Verfügbarkeit
-
- 7860
- 7
- Eigenschaften
-
- 9
- Katalog
-
- 7867
- 348
-
Bradfield Computer Science Logic
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, SeptemberErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44240-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dalen / Bezem Computer Science Logic
10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63172-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Coppo / Lodi / Pinna Theoretical Computer Science
9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29106-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blundo / Laneve Theoretical Computer Science
8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20216-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hansen / Zanasi Coalgebraic Methods in Computer Science
16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-10735-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Herrlich / Kreowski Categorical Methods in Computer Science
With Aspects from Topology1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51722-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
S. Barbosa / Ali Abam Topics in Theoretical Computer Science
Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57851-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Noltemeier Graphtheoretic Concepts in Computer Science
Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 19801. Auflage 1981Verlag: SpringerISBN: 978-3-540-10291-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kahle / Schroeder-Heister / Stärk Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42752-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baaz / Makowsky Computer Science Logic
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40801-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Flum / Rodriguez-Artalejo Computer Science Logic
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66536-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ong Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28231-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cremers / Kriegel Theoretical Computer Science
6th GI-Conference Dortmund, January 5-7, 19831. Auflage 1982Verlag: SpringerISBN: 978-3-540-11973-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Börger / Jäger / Kleine Büning Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55789-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weihrauch Theoretical Computer Science
4th GI Conference Aachen, March 26-28, 19791. Auflage 1979Verlag: SpringerISBN: 978-3-540-09118-9Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dawar / Veith Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-15204-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ésik Computer Science Logic
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45458-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Restivo / Ronchi Della Rocca / Roversi Theoretical Computer Science
7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42672-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Petrisan / Rot Coalgebraic Methods in Computer Science
15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57200-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pattinson / Schröder Coalgebraic Methods in Computer Science
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32783-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kleine Buening Computer Science Logic
9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61377-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diaz / Lanese / Sangiorgi Theoretical Computer Science
8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44601-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gottlob / Grandjean / Seyr Computer Science Logic
12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65922-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Duparc / Henzinger Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74914-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marcinkowski Computer Science Logic
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23024-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort