Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 67 Berechenbarkeitstheorie, Komplexitätstheorie
- 1088 Bildsignalverarbeitung
- 4506 Künstliche Intelligenz
- 2147 Logik, formale Sprachen, Automaten
- 921 Mathematik für Informatiker
- 1190 Mensch-Maschine-Interaktion
- 146 Natürliche Sprachen & Maschinelle Übersetzung
- 343 Rechnerarchitektur
- 403 Theoretische Informatik
- 26 Tonsignalverarbeitung
- 52 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7691
- Erscheinungsjahr
-
- 122
- 694
- 723
- 439
- 287
- 162
- 192
- 228
- 202
- 180
- 206
- 206
- 191
- 177
- 171
- 205
- 181
- 192
- 149
- 230
- 216
- 170
- 270
- 233
- 201
- 194
- 134
- 127
- 108
- 116
- 102
- 96
- 83
- 78
- 60
- 68
- 49
- 48
- 30
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 6
- 11
- 5
- 12
- 8
- 10
- 10
- 3
- Autoren
-
- 4
- 3
- 5
- 3
- 6
- 3
- 3
- 3
- 3
- 8
- 4
- 3
- 9
- 8
- 9
- 7
- 8
- 7
- 3
- 4
- 3
- 4
- 7
- 3
- 5
- 3
- 3
- 7
- 3
- 3
- 17
- 3
- 16
- 3
- 7
- 5
- 3
- 3
- 3
- 5
- 4
- 6
- 8
- 3
- 4
- 3
- 3
- 5
- 3
- 5
- 3
- 6
- 14
- 33
- 36
- 3
- 4
- 3
- 24
- 3
- 6
- 4
- 4
- 3
- 4
- 3
- 5
- 5
- 5
- 8
- 4
- 15
- 4
- 4
- 10
- 4
- 4
- 38
- 4
- 4
- 4
- 4
- 4
- 4
- 7
- 4
- 7
- 5
- 5
- 4
- 6
- 4
- 10
- 4
- 4
- 7
- 4
- 5
- 6
- 6
- 7
- 4
- 7
- 4
- 6
- 8
- 7
- 4
- 4
- 4
- 16
- 4
- 6
- 7
- 8
- 5
- 4
- 6
- 5
- 4
- 8
- 8
- 12
- 5
- 4
- 6
- 40
- 4
- 10
- 4
- 21
- 8
- 5
- 6
- 4
- 4
- 6
- 8
- 4
- 4
- 10
- 7
- 4
- 10
- 4
- 5
- 4
- 4
- 4
- 9
- 4
- 8
- 5
- 4
- 14
- 14
- 8
- 4
- 5
- 4
- 4
- 5
- 8
- 4
- 4
- 38
- 19
- 7
- 4
- 7
- 5
- 8
- 6
- 4
- 4
- 16
- 5
- 8
- 12
- 4
- 10
- 4
- 5
- 10
- 4
- 5
- 5
- 8
- 24
- 4
- 4
- 5
- 11
- 5
- 7
- 4
- 9
- 5
- 4
- 9
- 4
- 7
- 5
- 9
- 4
- 6
- 4
- 34
- 13
- 41
- 12
- 9
- 7
- 4
- 18
- 4
- 4
- 5
- 19
- 6
- 35
- 4
- 4
- 5
- 9
- 15
- 11
- 4
- 5
- 4
- 7
- 12
- 4
- 4
- 4
- 4
- 6
- 5
- 4
- 7
- 4
- 4
- 38
- 4
- 7
- 10
- 4
- 4
- 5
- 5
- 9
- 4
- 4
- 5
- 6
- 4
- 4
- 9
- 5
- 8
- 5
- 6
- 5
- 7
- 6
- 4
- 10
- 5
- 5
- 4
- 5
- 5
- 7
- 5
- 4
- 4
- 6
- 5
- 6
- 15
- 19
- 8
- 9
- 9
- 5
- 6
- 6
- 5
- 13
- 9
- 4
- 24
- 6
- 4
- 4
- 5
- 4
- 4
- 8
- 5
- 4
- 5
- 6
- 4
- 4
- 10
- 7
- 4
- 6
- 4
- 5
- 6
- 7
- 4
- 9
- 16
- 11
- 5
- 7
- 4
- 8
- 39
- 40
- 4
- 8
- 22
- 8
- 11
- 5
- 11
- 4
- 5
- 29
- 11
- 4
- 6
- 7
- 15
- 4
- 4
- 4
- 4
- 4
- 4
- 5
- 4
- 11
- 4
- 4
- 6
- 4
- 5
- 27
- 4
- 12
- 43
- 4
- 4
- 8
- 4
- 4
- 15
- 6
- 6
- 7
- 9
- 4
- 5
- 7
- 4
- 9
- 4
- 4
- 5
- 4
- 4
- 4
- 7
- 8
- 6
- 4
- 4
- 4
- 16
- 19
- 5
- 7
- 4
- 6
- 7
- 4
- 10
- 8
- 4
- 5
- 14
- 19
- 34
- 5
- 4
- 14
- 5
- 16
- 20
- 65
- 5
- 11
- 5
- 17
- 5
- 4
- 18
- 5
- 8
- 7
- 14
- 6
- 4
- 4
- 9
- 4
- 24
- 4
- 4
- 6
- 6
- 6
- 4
- 4
- 14
- 5
- 19
- 38
- 7
- 17
- 5
- 11
- 4
- 8
- 4
- 4
- 5
- 17
- 15
- 4
- 8
- 4
- 5
- 75
- 4
- 5
- 14
- 4
- 6
- 4
- 15
- 13
- 5
- 5
- 18
- 7
- 9
- 6
- 6
- 4
- 16
- 10
- 7
- 4
- 13
- 13
- 4
- 7
- 6
- 5
- 5
- 4
- 14
- 5
- 6
- 6
- 5
- 8
- 10
- 9
- 4
- 21
- 4
- 4
- 5
- 6
- 8
- 4
- 4
- 6
- 4
- 4
- 7
- 20
- 4
- 7
- 15
- 4
- 4
- 34
- 6
- 7
- 4
- 8
- 4
- 12
- 6
- 13
- 5
- 14
- 16
- 6
- 4
- 5
- 4
- 18
- 4
- 5
- 5
- 15
- 4
- 4
- 4
- 4
- 27
- 16
- 23
- 41
- 4
- 5
- 9
- 4
- 4
- 5
- 12
- 6
- 5
- 4
- 4
- 6
- 5
- 10
- 9
- 4
- 12
- 89
- 13
- 17
- 4
- 4
- 12
- 6
- 4
- 12
- 8
- 4
- 6
- 4
- 4
- 10
- 18
- 19
- 5
- 24
- 5
- 4
- 59
- 9
- 18
- 13
- 20
- 5
- 5
- 8
- 4
- 4
- 4
- 11
- 6
- 7
- 24
- 6
- 4
- 13
- 12
- 13
- 15
- 11
- 13
- 6
- 17
- 7
- 11
- 7
- 4
- 4
- 7
- 21
- 32
- 17
- 7
- 4
- 4
- 4
- 7
- 6
- 8
- 5
- 15
- 4
- 7
- 4
- 8
- 8
- 4
- 9
- 5
- 7
- 5
- 4
- 4
- 8
- 13
- 4
- 4
- 4
- 7
- 6
- 16
- 4
- 10
- 6
- 4
- 4
- 7
- 4
- 20
- 9
- 5
- 7
- 9
- 5
- 55
- 6
- 5
- 4
- 9
- 7
- 11
- 47
- 8
- 5
- 9
- 8
- 4
- 5
- 10
- 4
- 4
- 12
- 4
- 7
- 4
- 4
- 5
- 8
- 4
- 4
- 6
- 5
- 5
- 4
- 4
- 8
- 4
- 4
- 4
- 43
- 7
- 15
- 4
- 6
- 18
- 13
- 4
- 5
- 13
- 4
- 4
- 10
- 15
- 4
- 13
- 6
- 5
- 5
- 24
- 10
- 4
- 10
- 4
- 4
- 6
- 4
- 14
- 4
- 15
- 9
- 6
- 4
- 6
- 8
- 6
- 4
- 4
- 4
- 7
- 24
- 6
- 5
- 4
- 4
- 6
- 4
- 13
- 6
- 9
- 9
- 4
- 6
- 4
- 6
- 6
- 6
- 4
- 4
- 16
- 28
- 16
- 5
- 16
- 4
- 5
- 6
- 90
- 7
- 5
- 4
- 5
- 6
- 13
- 10
- 8
- 6
- 8
- 6
- 21
- 4
- 92
- 4
- 4
- 40
- 11
- 9
- 4
- 89
- 17
- 4
- 14
- 6
- 6
- 4
- 5
- 9
- 11
- 11
- 4
- 4
- 4
- 4
- 4
- 10
- 90
- 5
- 12
- 16
- 7
- 10
- 4
- 11
- 4
- 10
- 14
- 11
- 5
- 4
- 11
- 4
- 6
- 7
- 15
- 8
- 4
- 6
- 4
- 5
- 4
- 4
- 4
- 4
- 4
- 11
- 20
- 5
- 4
- 6
- 4
- 5
- 4
- 4
- 6
- 14
- 8
- 15
- 10
- 45
- 4
- 5
- 8
- 6
- 17
- 5
- 11
- 11
- 10
- 5
- 4
- 9
- 4
- 26
- 50
- 13
- 5
- 7
- 6
- 22
- 4
- 7
- 14
- 19
- 4
- 4
- 15
- 8
- 11
- 19
- 43
- 10
- 17
- 4
- 9
- 4
- 9
- 19
- 13
- 10
- 4
- 4
- 4
- 9
- 27
- 24
- 12
- 6
- 5
- 9
- 12
- 4
- 4
- 14
- 14
- 5
- 4
- 7
- 4
- 4
- 14
- 6
- 7
- 10
- 89
- 10
- 20
- 15
- 5
- 5
- 4
- 14
- 6
- 4
- 4
- 26
- 5
- 11
- 7
- 4
- 13
- 4
- 21
- 6
- 5
- 5
- 6
- 5
- 18
- 4
- 11
- 4
- 4
- 8
- 7
- 5
- 9
- 5
- 20
- 6
- 7
- 10
- 6
- 6
- 6
- 5
- 6
- 4
- 6
- 4
- 7
- 5
- 18
- 5
- 5
- 4
- 19
- 6
- 25
- 9
- 14
- 5
- 6
- 4
- 14
- 4
- 10
- 4
- 4
- 18
- 7
- 6
- 14
- 4
- 7
- 6
- 5
- 20
- 45
- 4
- 13
- 19
- 4
- 15
- 4
- 4
- 5
- 5
- 4
- 6
- 4
- 32
- 4
- 7
- 7
- 22
- 4
- 17
- 7
- 5
- 5
- 4
- 13
- 4
- 8
- 6
- 5
- 6
- 15
- Verlag
-
- 2
- 7650
- 3
- 3
- 3
- 1
- 1
- 28
- Preis
-
- 27
- 216
- 5820
- 1628
- Sprachen
-
- 7686
- 16
- 12
- Verfügbarkeit
-
- 7682
- 9
- Katalog
-
- 7691
- 337
-
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 -
Fribourg Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42554-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pacholski / Tiuryn Computer Science Logic
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60017-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
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 -
Hasuo Coalgebraic Methods in Computer Science
13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40369-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hajiaghayi / Mousavi Topics in Theoretical Computer Science
The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-28677-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schneider / Ehrig Graph Transformations in Computer Science
International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57787-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lomuscio / Nute Deontic Logic in Computer Science
7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22111-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
König / Urbat Coalgebraic Methods in Computer Science
17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-66437-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Börger / Gurevich / Meinke Computer Science Logic
7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected PapersErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58277-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barzdins / Bjørner Baltic Computer Science
Selected PapersErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54131-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tzschach / Waldschmidt / Walter Theoretical Computer Science
3rd GI Conference Darmstadt, March 28-30, 19771. Auflage 1977Verlag: SpringerISBN: 978-3-540-08138-8Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nielsen / Thomas Computer Science Logic
11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64570-2Medium: 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 -
Petrisan / 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 -
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 -
Deussen Theoretical Computer Science
5th GI-Conference Karlsruhe, March 23-25, 19811. Auflage 1981Verlag: SpringerISBN: 978-3-540-10576-3Medium: 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 -
Clote / Schwichtenberg Computer Science Logic
14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67895-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Börger / Kleine Büning / Richter Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Börger / Jäger / Kleine Büning Computer Science Logic
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56992-3Medium: 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort