Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 11238 EDV | Informatik
- 1118 Mathematik
- Medium
-
- 11275
- Erscheinungsjahr
-
- 118
- 813
- 789
- 853
- 620
- 477
- 282
- 296
- 301
- 317
- 293
- 292
- 290
- 292
- 329
- 284
- 271
- 288
- 262
- 237
- 248
- 270
- 240
- 352
- 298
- 250
- 256
- 172
- 177
- 128
- 139
- 137
- 115
- 105
- 95
- 71
- 88
- 58
- 57
- 45
- 45
- 33
- 26
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 6
- 4
- 8
- 13
- 24
- 9
- 8
- 4
- 5
- 4
- 4
- 5
- 7
- 4
- 9
- 9
- 6
- 7
- 16
- 8
- 4
- 21
- 5
- 9
- 5
- 5
- 5
- 5
- 5
- 8
- 9
- 5
- 4
- 4
- 9
- 5
- 8
- 13
- 29
- 36
- 7
- 40
- 7
- 5
- 4
- 5
- 6
- 6
- 7
- 16
- 8
- 21
- 7
- 13
- 4
- 7
- 4
- 4
- 6
- 5
- 6
- 6
- 39
- 13
- 5
- 4
- 5
- 7
- 6
- 6
- 4
- 7
- 6
- 4
- 9
- 4
- 9
- 46
- 6
- 6
- 4
- 4
- 6
- 5
- 8
- 23
- 4
- 6
- 7
- 4
- 10
- 10
- 11
- 9
- 8
- 12
- 5
- 4
- 6
- 16
- 9
- 5
- 5
- 16
- 5
- 7
- 5
- 7
- 11
- 6
- 6
- 6
- 17
- 9
- 6
- 7
- 5
- 6
- 40
- 7
- 6
- 19
- 19
- 5
- 7
- 7
- 6
- 6
- 11
- 7
- 6
- 8
- 5
- 5
- 5
- 6
- 13
- 9
- 8
- 9
- 9
- 6
- 15
- 6
- 5
- 5
- 10
- 39
- 17
- 8
- 5
- 8
- 5
- 6
- 5
- 15
- 7
- 12
- 14
- 5
- 11
- 9
- 7
- 23
- 6
- 14
- 7
- 5
- 10
- 8
- 5
- 8
- 8
- 5
- 5
- 34
- 21
- 41
- 13
- 8
- 14
- 18
- 6
- 9
- 45
- 12
- 37
- 9
- 14
- 5
- 5
- 12
- 6
- 5
- 15
- 10
- 39
- 5
- 5
- 11
- 12
- 7
- 6
- 8
- 12
- 13
- 5
- 7
- 15
- 5
- 6
- 15
- 6
- 5
- 8
- 5
- 5
- 6
- 5
- 26
- 21
- 15
- 28
- 9
- 11
- 5
- 7
- 9
- 5
- 6
- 12
- 9
- 23
- 6
- 7
- 7
- 5
- 6
- 8
- 10
- 5
- 7
- 7
- 22
- 10
- 6
- 13
- 11
- 6
- 5
- 48
- 42
- 7
- 41
- 12
- 9
- 15
- 7
- 10
- 29
- 14
- 6
- 5
- 5
- 18
- 5
- 9
- 6
- 10
- 26
- 17
- 42
- 77
- 6
- 7
- 14
- 7
- 7
- 5
- 7
- 12
- 5
- 16
- 7
- 9
- 7
- 6
- 6
- 6
- 8
- 6
- 6
- 7
- 5
- 5
- 7
- 21
- 17
- 6
- 7
- 7
- 15
- 7
- 5
- 10
- 21
- 67
- 33
- 8
- 19
- 8
- 16
- 22
- 105
- 11
- 16
- 5
- 5
- 6
- 18
- 12
- 5
- 7
- 7
- 5
- 6
- 9
- 17
- 6
- 5
- 6
- 11
- 5
- 5
- 40
- 9
- 8
- 5
- 7
- 9
- 17
- 7
- 5
- 8
- 25
- 39
- 7
- 18
- 5
- 8
- 10
- 5
- 7
- 5
- 6
- 15
- 5
- 6
- 10
- 15
- 7
- 5
- 5
- 7
- 8
- 6
- 95
- 6
- 8
- 5
- 5
- 8
- 6
- 6
- 6
- 15
- 8
- 14
- 5
- 7
- 15
- 17
- 6
- 14
- 5
- 5
- 5
- 6
- 10
- 6
- 16
- 11
- 10
- 10
- 5
- 12
- 6
- 13
- 8
- 7
- 8
- 5
- 13
- 6
- 7
- 7
- 7
- 14
- 7
- 10
- 5
- 15
- 8
- 7
- 9
- 6
- 41
- 10
- 6
- 8
- 5
- 21
- 6
- 18
- 42
- 10
- 15
- 13
- 30
- 6
- 9
- 7
- 12
- 5
- 17
- 6
- 9
- 9
- 18
- 38
- 5
- 7
- 17
- 5
- 17
- 7
- 17
- 5
- 6
- 26
- 5
- 77
- 14
- 27
- 48
- 10
- 6
- 7
- 11
- 6
- 8
- 12
- 5
- 6
- 6
- 7
- 6
- 9
- 7
- 17
- 91
- 13
- 6
- 43
- 9
- 6
- 5
- 15
- 7
- 8
- 5
- 5
- 14
- 15
- 10
- 14
- 5
- 33
- 6
- 6
- 8
- 5
- 7
- 15
- 17
- 19
- 6
- 5
- 28
- 6
- 6
- 79
- 11
- 6
- 12
- 6
- 5
- 11
- 20
- 5
- 10
- 7
- 9
- 6
- 6
- 30
- 6
- 5
- 9
- 22
- 6
- 5
- 5
- 11
- 16
- 13
- 7
- 15
- 18
- 15
- 12
- 22
- 7
- 77
- 11
- 13
- 11
- 6
- 6
- 27
- 6
- 31
- 27
- 6
- 5
- 6
- 10
- 5
- 21
- 9
- 7
- 5
- 5
- 5
- 5
- 9
- 6
- 21
- 6
- 5
- 8
- 11
- 8
- 10
- 8
- 15
- 8
- 5
- 34
- 14
- 10
- 5
- 5
- 6
- 9
- 7
- 5
- 9
- 23
- 7
- 9
- 8
- 7
- 11
- 5
- 97
- 5
- 6
- 5
- 5
- 12
- 10
- 8
- 7
- 5
- 8
- 7
- 5
- 15
- 38
- 5
- 15
- 8
- 5
- 5
- 5
- 11
- 8
- 6
- 10
- 5
- 21
- 24
- 7
- 5
- 5
- 6
- 13
- 6
- 7
- 5
- 6
- 6
- 8
- 10
- 6
- 5
- 49
- 10
- 18
- 5
- 41
- 10
- 5
- 14
- 20
- 13
- 15
- 15
- 5
- 9
- 5
- 9
- 30
- 12
- 7
- 13
- 7
- 5
- 16
- 6
- 7
- 8
- 5
- 12
- 13
- 6
- 6
- 11
- 6
- 18
- 7
- 15
- 7
- 5
- 10
- 7
- 6
- 23
- 5
- 7
- 6
- 8
- 10
- 9
- 8
- 5
- 35
- 11
- 8
- 8
- 7
- 7
- 5
- 14
- 8
- 5
- 5
- 10
- 15
- 29
- 6
- 16
- 7
- 36
- 6
- 6
- 8
- 11
- 89
- 5
- 7
- 6
- 8
- 6
- 32
- 14
- 5
- 7
- 77
- 15
- 8
- 8
- 7
- 12
- 13
- 20
- 18
- 6
- 9
- 94
- 5
- 6
- 45
- 5
- 11
- 11
- 11
- 89
- 22
- 7
- 20
- 8
- 5
- 10
- 6
- 6
- 5
- 9
- 11
- 17
- 6
- 5
- 6
- 5
- 8
- 5
- 90
- 5
- 7
- 21
- 8
- 11
- 80
- 12
- 17
- 13
- 8
- 15
- 8
- 10
- 13
- 5
- 6
- 5
- 22
- 8
- 6
- 7
- 10
- 5
- 7
- 5
- 14
- 10
- 20
- 8
- 6
- 7
- 7
- 6
- 5
- 14
- 9
- 8
- 8
- 6
- 15
- 8
- 10
- 22
- 31
- 7
- 6
- 5
- 17
- 11
- 7
- 6
- 5
- 13
- 8
- 34
- 15
- 5
- 10
- 11
- 5
- 11
- 37
- 8
- 48
- 6
- 6
- 10
- 6
- 8
- 12
- 7
- 12
- 24
- 7
- 6
- 11
- 8
- 16
- 5
- 18
- 25
- 5
- 8
- 7
- 6
- 25
- 14
- 20
- 64
- 10
- 13
- 19
- 8
- 9
- 5
- 5
- 22
- 6
- 20
- 17
- 5
- 7
- 6
- 5
- 21
- 9
- 62
- 80
- 23
- 12
- 6
- 7
- 18
- 6
- 7
- 12
- 12
- 5
- 10
- 7
- 6
- 15
- 10
- 6
- 14
- 11
- 7
- 5
- 89
- 11
- 7
- 17
- 6
- 15
- 8
- 6
- 8
- 10
- 16
- 7
- 5
- 10
- 5
- 28
- 5
- 11
- 9
- 6
- 8
- 5
- 7
- 13
- 18
- 36
- 6
- 5
- 8
- 15
- 22
- 15
- 6
- 11
- 7
- 10
- 7
- 9
- 9
- 23
- 10
- 13
- 10
- 6
- 6
- 10
- 5
- 6
- 8
- 7
- 8
- 14
- 9
- 7
- 17
- 7
- 15
- 17
- 5
- 8
- 19
- 26
- 12
- 14
- 6
- 23
- 6
- 17
- 5
- 7
- 5
- 12
- 10
- 5
- 17
- 8
- 6
- 6
- 6
- 57
- 6
- 10
- 5
- 35
- 5
- 5
- 22
- 6
- 6
- 5
- 5
- 5
- 47
- 38
- 64
- 40
- 5
- 8
- 10
- 7
- 10
- 6
- 22
- 30
- 7
- 6
- 26
- 17
- 20
- 5
- 9
- 5
- 10
- 5
- 9
- 5
- 20
- Verlag
-
- 8
- 11149
- 3
- 9
- 2
- 18
- 35
- 5
- 1
- 13
- 32
- Preis
-
- 47
- 408
- 8525
- 2295
- Sprachen
-
- 11269
- 18
- 13
- Verfügbarkeit
-
- 11025
- 250
- Eigenschaften
-
- 6
- Katalog
-
- 11275
- 600
-
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 -
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 -
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 -
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 -
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 -
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 -
Bonsangue Coalgebraic Methods in Computer Science
12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44123-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (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 -
Basold / Kupke Coalgebraic Methods in Computer Science
18th IFIP WG 1.3 International Workshop, CMCS 2026, Turin, Italy, April 11-12, 2026, ProceedingsErscheinungsjahr 2027Verlag: Springer Nature Switzerland AGISBN: 978-3-032-40443-5Medium: Buch62,05 € (inkl. MwSt.)
vorbestellbar62,05 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Februar 2027 -
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 -
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 -
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 -
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 -
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 -
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 -
Grädel / Kahle Computer Science Logic
23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04026-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort