Ergebnisse filtern
- Fachgebiet
- Medium
-
- 11394
- 2635
- Erscheinungsjahr
-
- 104
- 943
- 1019
- 1056
- 785
- 654
- 394
- 422
- 437
- 422
- 396
- 433
- 445
- 422
- 471
- 410
- 412
- 369
- 254
- 236
- 269
- 272
- 242
- 436
- 483
- 259
- 260
- 180
- 180
- 145
- 145
- 137
- 121
- 114
- 96
- 74
- 86
- 56
- 59
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 6
- 10
- 6
- 10
- 31
- 13
- 9
- 6
- 10
- 8
- 6
- 23
- 9
- 26
- 7
- 9
- 6
- 9
- 7
- 8
- 7
- 15
- 40
- 44
- 59
- 7
- 6
- 8
- 6
- 20
- 8
- 25
- 14
- 7
- 7
- 8
- 58
- 15
- 6
- 6
- 6
- 7
- 6
- 6
- 15
- 8
- 49
- 10
- 31
- 10
- 12
- 11
- 10
- 8
- 6
- 13
- 7
- 9
- 27
- 6
- 6
- 11
- 23
- 13
- 11
- 10
- 31
- 17
- 10
- 6
- 48
- 9
- 28
- 22
- 8
- 10
- 10
- 9
- 8
- 9
- 6
- 8
- 8
- 11
- 18
- 13
- 7
- 15
- 11
- 8
- 15
- 8
- 6
- 7
- 10
- 58
- 25
- 7
- 6
- 6
- 8
- 6
- 19
- 10
- 8
- 7
- 16
- 10
- 6
- 9
- 17
- 10
- 9
- 8
- 31
- 7
- 17
- 6
- 8
- 9
- 6
- 6
- 17
- 6
- 9
- 6
- 8
- 7
- 15
- 6
- 7
- 41
- 6
- 18
- 48
- 15
- 11
- 20
- 24
- 15
- 53
- 15
- 46
- 10
- 17
- 8
- 6
- 8
- 8
- 6
- 13
- 12
- 7
- 16
- 7
- 16
- 6
- 58
- 6
- 10
- 13
- 14
- 13
- 10
- 6
- 9
- 7
- 11
- 11
- 15
- 6
- 7
- 6
- 7
- 9
- 21
- 8
- 8
- 20
- 8
- 10
- 10
- 10
- 7
- 32
- 30
- 19
- 32
- 8
- 13
- 7
- 11
- 9
- 7
- 10
- 7
- 24
- 12
- 31
- 7
- 7
- 6
- 7
- 10
- 12
- 6
- 10
- 10
- 8
- 7
- 6
- 11
- 21
- 15
- 7
- 14
- 12
- 8
- 10
- 47
- 49
- 9
- 53
- 10
- 12
- 12
- 6
- 8
- 42
- 17
- 6
- 7
- 12
- 6
- 6
- 6
- 6
- 7
- 18
- 6
- 6
- 12
- 6
- 10
- 7
- 12
- 29
- 19
- 62
- 97
- 13
- 7
- 6
- 21
- 10
- 13
- 8
- 8
- 14
- 6
- 18
- 6
- 11
- 13
- 9
- 11
- 8
- 7
- 11
- 6
- 10
- 27
- 24
- 8
- 9
- 12
- 6
- 18
- 14
- 6
- 18
- 23
- 77
- 48
- 10
- 11
- 27
- 10
- 25
- 33
- 8
- 132
- 6
- 7
- 16
- 11
- 6
- 10
- 22
- 7
- 15
- 13
- 7
- 6
- 26
- 14
- 6
- 6
- 14
- 7
- 7
- 11
- 22
- 6
- 11
- 7
- 6
- 6
- 7
- 8
- 13
- 6
- 7
- 50
- 6
- 16
- 11
- 7
- 11
- 10
- 20
- 7
- 12
- 9
- 29
- 58
- 8
- 9
- 7
- 12
- 21
- 6
- 11
- 11
- 6
- 8
- 11
- 22
- 14
- 9
- 22
- 7
- 7
- 7
- 8
- 7
- 12
- 9
- 123
- 6
- 6
- 11
- 8
- 18
- 6
- 6
- 9
- 6
- 7
- 6
- 9
- 22
- 7
- 17
- 6
- 15
- 7
- 25
- 13
- 13
- 12
- 8
- 7
- 14
- 26
- 8
- 17
- 9
- 7
- 12
- 15
- 9
- 6
- 6
- 7
- 6
- 14
- 6
- 9
- 9
- 6
- 16
- 7
- 6
- 10
- 7
- 6
- 6
- 18
- 6
- 10
- 17
- 7
- 21
- 9
- 7
- 13
- 8
- 45
- 12
- 8
- 11
- 29
- 8
- 6
- 7
- 22
- 49
- 8
- 7
- 8
- 17
- 22
- 6
- 15
- 41
- 11
- 9
- 10
- 7
- 6
- 8
- 8
- 21
- 7
- 7
- 15
- 6
- 22
- 46
- 7
- 19
- 8
- 8
- 20
- 9
- 9
- 6
- 21
- 9
- 7
- 27
- 6
- 97
- 6
- 15
- 28
- 62
- 13
- 6
- 8
- 7
- 7
- 11
- 7
- 9
- 7
- 13
- 6
- 13
- 12
- 8
- 7
- 10
- 14
- 7
- 8
- 7
- 6
- 21
- 7
- 116
- 6
- 19
- 7
- 55
- 8
- 8
- 8
- 16
- 13
- 15
- 8
- 7
- 12
- 19
- 15
- 13
- 9
- 6
- 36
- 7
- 7
- 13
- 16
- 23
- 6
- 25
- 6
- 6
- 34
- 10
- 7
- 6
- 10
- 6
- 95
- 13
- 23
- 9
- 8
- 7
- 17
- 28
- 10
- 9
- 12
- 9
- 6
- 7
- 12
- 40
- 12
- 12
- 7
- 33
- 7
- 8
- 14
- 17
- 8
- 14
- 10
- 6
- 21
- 22
- 19
- 20
- 23
- 10
- 6
- 97
- 13
- 13
- 12
- 8
- 35
- 13
- 10
- 11
- 38
- 39
- 6
- 7
- 8
- 7
- 9
- 15
- 7
- 31
- 6
- 10
- 7
- 7
- 10
- 9
- 8
- 6
- 8
- 13
- 6
- 15
- 29
- 13
- 14
- 14
- 14
- 13
- 9
- 11
- 17
- 6
- 7
- 8
- 52
- 6
- 16
- 12
- 7
- 6
- 7
- 9
- 8
- 7
- 9
- 7
- 10
- 23
- 7
- 7
- 6
- 13
- 9
- 6
- 8
- 6
- 9
- 8
- 122
- 6
- 9
- 10
- 6
- 7
- 7
- 14
- 19
- 14
- 8
- 7
- 13
- 13
- 7
- 6
- 57
- 11
- 26
- 12
- 13
- 7
- 6
- 6
- 20
- 6
- 26
- 31
- 19
- 6
- 6
- 7
- 12
- 12
- 6
- 7
- 7
- 7
- 18
- 6
- 8
- 11
- 6
- 12
- 6
- 10
- 11
- 57
- 7
- 6
- 21
- 10
- 6
- 49
- 16
- 6
- 6
- 11
- 11
- 18
- 24
- 6
- 21
- 22
- 22
- 9
- 15
- 6
- 7
- 11
- 32
- 10
- 7
- 15
- 7
- 7
- 8
- 6
- 25
- 7
- 12
- 6
- 21
- 15
- 7
- 16
- 8
- 17
- 8
- 17
- 8
- 22
- 7
- 11
- 31
- 10
- 12
- 7
- 12
- 10
- 8
- 8
- 48
- 16
- 11
- 8
- 10
- 19
- 10
- 9
- 8
- 8
- 9
- 12
- 16
- 37
- 9
- 15
- 10
- 8
- 46
- 7
- 7
- 11
- 10
- 12
- 11
- 7
- 114
- 10
- 10
- 7
- 39
- 22
- 7
- 97
- 8
- 30
- 11
- 9
- 7
- 8
- 17
- 25
- 23
- 9
- 10
- 116
- 51
- 13
- 11
- 17
- 113
- 27
- 7
- 23
- 11
- 12
- 7
- 7
- 13
- 18
- 23
- 8
- 7
- 8
- 9
- 7
- 7
- 14
- 8
- 114
- 9
- 8
- 25
- 7
- 13
- 13
- 7
- 100
- 13
- 19
- 21
- 9
- 16
- 12
- 7
- 14
- 17
- 13
- 9
- 22
- 21
- 9
- 10
- 12
- 15
- 9
- 19
- 10
- 34
- 10
- 10
- 8
- 12
- 9
- 17
- 12
- 13
- 7
- 21
- 7
- 17
- 25
- 32
- 7
- 8
- 8
- 11
- 25
- 16
- 7
- 8
- 17
- 7
- 8
- 44
- 18
- 7
- 9
- 8
- 10
- 7
- 19
- 10
- 54
- 9
- 63
- 12
- 9
- 16
- 10
- 13
- 13
- 8
- 15
- 30
- 7
- 23
- 16
- 19
- 23
- 27
- 7
- 12
- 8
- 14
- 31
- 19
- 34
- 84
- 15
- 22
- 29
- 9
- 13
- 27
- 7
- 22
- 19
- 7
- 10
- 7
- 8
- 25
- 13
- 79
- 101
- 31
- 17
- 11
- 8
- 16
- 18
- 11
- 13
- 20
- 7
- 10
- 7
- 18
- 20
- 19
- 12
- 9
- 113
- 13
- 7
- 24
- 11
- 23
- 13
- 11
- 14
- 10
- 12
- 35
- 11
- 8
- 10
- 7
- 12
- 27
- 9
- 10
- 45
- 9
- 18
- 7
- 21
- 18
- 12
- 8
- 12
- 28
- 14
- 15
- 11
- 12
- 9
- 14
- 10
- 9
- 23
- 15
- 8
- 14
- 10
- 21
- 33
- 9
- 15
- 27
- 24
- 10
- 16
- 12
- 23
- 8
- 61
- 10
- 36
- 30
- 52
- 49
- 80
- 56
- 16
- 8
- 9
- 25
- 39
- 8
- 33
- 24
- 28
- 11
- 9
- 12
- 9
- 11
- 24
- Verlag
-
- 7
- 12098
- 23
- 1654
- 3
- 1
- 4
- 36
- 5
- 149
- 1
- 1
- 13
- 34
- Preis
-
- 47
- 523
- 10943
- 2516
- Sprachen
-
- 14021
- 20
- 15
- 1
- Verfügbarkeit
-
- 13733
- 296
- Eigenschaften
-
- 44
- Katalog
-
- 14029
- 595
-
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, ProceedingsErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-57201-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Calmet / Geiselmann / Müller-Quade Mathematical Methods in Computer Science
Essays in Memory of Thomas Beth1. Auflage 2008Verlag: SpringerISBN: 978-3-540-89993-8Medium: 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