Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10632
- 2739
- Erscheinungsjahr
-
- 151
- 1016
- 1070
- 807
- 663
- 405
- 419
- 468
- 435
- 399
- 454
- 432
- 421
- 428
- 421
- 429
- 403
- 260
- 234
- 278
- 284
- 218
- 471
- 579
- 255
- 254
- 181
- 177
- 146
- 144
- 136
- 120
- 107
- 100
- 75
- 83
- 61
- 59
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 18
- 12
- 8
- 13
- 9
- 15
- 13
- 5
- Autoren
-
- 5
- 7
- 5
- 8
- 9
- 6
- 11
- 13
- 12
- 7
- 12
- 7
- 5
- 9
- 14
- 8
- 5
- 6
- 18
- 7
- 23
- 5
- 11
- 7
- 6
- 6
- 9
- 11
- 5
- 6
- 6
- 13
- 43
- 47
- 5
- 58
- 8
- 8
- 5
- 5
- 6
- 17
- 19
- 10
- 50
- 11
- 6
- 8
- 8
- 7
- 6
- 12
- 8
- 6
- 9
- 6
- 7
- 6
- 7
- 8
- 7
- 13
- 6
- 20
- 20
- 12
- 9
- 12
- 30
- 13
- 10
- 6
- 7
- 53
- 16
- 26
- 19
- 8
- 14
- 6
- 8
- 7
- 14
- 7
- 12
- 7
- 10
- 11
- 14
- 6
- 19
- 9
- 18
- 10
- 6
- 6
- 6
- 8
- 50
- 24
- 8
- 9
- 11
- 10
- 19
- 8
- 15
- 6
- 18
- 6
- 6
- 14
- 8
- 9
- 29
- 18
- 10
- 9
- 10
- 14
- 7
- 7
- 14
- 8
- 44
- 15
- 53
- 15
- 10
- 24
- 7
- 19
- 14
- 10
- 7
- 27
- 10
- 45
- 11
- 17
- 13
- 7
- 7
- 6
- 17
- 6
- 6
- 17
- 9
- 7
- 50
- 8
- 11
- 14
- 15
- 6
- 7
- 7
- 10
- 14
- 10
- 9
- 8
- 7
- 6
- 22
- 11
- 12
- 15
- 6
- 8
- 12
- 7
- 8
- 9
- 22
- 25
- 8
- 12
- 12
- 7
- 12
- 7
- 15
- 18
- 29
- 8
- 9
- 7
- 9
- 9
- 14
- 12
- 10
- 9
- 7
- 7
- 10
- 17
- 12
- 9
- 14
- 7
- 53
- 59
- 10
- 31
- 8
- 12
- 6
- 6
- 15
- 35
- 12
- 8
- 7
- 8
- 10
- 22
- 8
- 8
- 8
- 6
- 12
- 7
- 6
- 33
- 6
- 15
- 57
- 8
- 8
- 6
- 6
- 20
- 7
- 11
- 10
- 12
- 11
- 14
- 8
- 8
- 12
- 9
- 6
- 6
- 7
- 6
- 8
- 19
- 24
- 10
- 8
- 11
- 8
- 7
- 16
- 8
- 11
- 9
- 11
- 21
- 7
- 23
- 7
- 74
- 7
- 36
- 7
- 6
- 28
- 6
- 19
- 31
- 122
- 10
- 15
- 7
- 8
- 21
- 12
- 20
- 15
- 6
- 8
- 6
- 12
- 14
- 7
- 10
- 18
- 6
- 13
- 6
- 7
- 7
- 7
- 16
- 6
- 7
- 52
- 8
- 7
- 11
- 6
- 8
- 8
- 8
- 8
- 7
- 9
- 21
- 13
- 11
- 9
- 25
- 50
- 10
- 9
- 10
- 20
- 10
- 15
- 6
- 6
- 8
- 9
- 8
- 6
- 9
- 27
- 17
- 9
- 6
- 7
- 10
- 15
- 6
- 90
- 6
- 10
- 8
- 6
- 15
- 8
- 6
- 8
- 17
- 16
- 7
- 7
- 8
- 31
- 10
- 19
- 11
- 6
- 8
- 13
- 19
- 8
- 24
- 10
- 13
- 13
- 6
- 6
- 10
- 15
- 10
- 12
- 7
- 6
- 18
- 6
- 6
- 11
- 9
- 10
- 9
- 10
- 11
- 16
- 7
- 11
- 9
- 11
- 36
- 6
- 9
- 6
- 8
- 6
- 8
- 25
- 9
- 20
- 46
- 6
- 15
- 17
- 7
- 7
- 11
- 44
- 6
- 13
- 7
- 10
- 6
- 6
- 7
- 21
- 8
- 19
- 10
- 20
- 41
- 6
- 19
- 9
- 29
- 9
- 10
- 17
- 7
- 6
- 40
- 8
- 20
- 40
- 55
- 7
- 6
- 10
- 6
- 18
- 8
- 17
- 7
- 6
- 6
- 12
- 9
- 8
- 6
- 15
- 11
- 7
- 6
- 17
- 6
- 89
- 21
- 21
- 16
- 6
- 6
- 6
- 22
- 7
- 6
- 7
- 9
- 23
- 9
- 9
- 8
- 15
- 18
- 7
- 14
- 13
- 10
- 7
- 11
- 19
- 17
- 9
- 24
- 22
- 12
- 7
- 6
- 28
- 7
- 14
- 76
- 15
- 9
- 24
- 6
- 17
- 24
- 7
- 10
- 7
- 15
- 6
- 7
- 9
- 15
- 10
- 7
- 10
- 32
- 11
- 7
- 7
- 15
- 14
- 7
- 15
- 6
- 21
- 16
- 15
- 14
- 20
- 6
- 8
- 11
- 17
- 12
- 13
- 35
- 8
- 10
- 42
- 34
- 9
- 6
- 6
- 7
- 6
- 7
- 7
- 8
- 9
- 8
- 29
- 9
- 9
- 13
- 7
- 13
- 7
- 12
- 12
- 7
- 20
- 8
- 8
- 7
- 10
- 8
- 7
- 7
- 8
- 16
- 6
- 12
- 8
- 47
- 10
- 8
- 12
- 6
- 6
- 10
- 6
- 10
- 6
- 9
- 27
- 6
- 6
- 11
- 7
- 7
- 12
- 10
- 12
- 111
- 11
- 7
- 7
- 11
- 13
- 6
- 15
- 12
- 8
- 12
- 67
- 21
- 22
- 9
- 7
- 10
- 15
- 8
- 6
- 7
- 10
- 12
- 6
- 9
- 10
- 9
- 9
- 7
- 7
- 8
- 12
- 7
- 11
- 7
- 6
- 8
- 56
- 7
- 10
- 17
- 9
- 9
- 6
- 10
- 23
- 19
- 6
- 7
- 12
- 6
- 13
- 8
- 17
- 21
- 17
- 19
- 10
- 7
- 16
- 10
- 36
- 15
- 7
- 6
- 6
- 15
- 11
- 6
- 8
- 8
- 6
- 23
- 19
- 7
- 18
- 8
- 12
- 7
- 6
- 9
- 11
- 6
- 11
- 16
- 8
- 17
- 6
- 7
- 16
- 7
- 9
- 29
- 6
- 9
- 6
- 12
- 12
- 16
- 17
- 13
- 6
- 10
- 6
- 6
- 11
- 18
- 6
- 10
- 8
- 9
- 6
- 7
- 11
- 23
- 35
- 19
- 8
- 8
- 10
- 22
- 9
- 10
- 16
- 10
- 110
- 8
- 7
- 8
- 8
- 8
- 36
- 14
- 8
- 9
- 25
- 12
- 9
- 7
- 13
- 13
- 28
- 6
- 114
- 6
- 59
- 13
- 10
- 6
- 108
- 25
- 7
- 19
- 15
- 6
- 16
- 6
- 12
- 11
- 17
- 19
- 9
- 7
- 6
- 7
- 8
- 6
- 13
- 109
- 8
- 6
- 8
- 12
- 23
- 10
- 17
- 11
- 15
- 20
- 14
- 10
- 9
- 6
- 7
- 6
- 15
- 9
- 10
- 29
- 16
- 9
- 6
- 7
- 8
- 10
- 7
- 6
- 6
- 18
- 10
- 32
- 10
- 8
- 9
- 12
- 6
- 10
- 17
- 9
- 9
- 9
- 7
- 6
- 17
- 8
- 16
- 56
- 13
- 8
- 12
- 12
- 23
- 7
- 15
- 6
- 16
- 13
- 6
- 7
- 6
- 6
- 13
- 16
- 6
- 47
- 9
- 63
- 6
- 16
- 9
- 18
- 10
- 15
- 14
- 6
- 8
- 7
- 23
- 6
- 7
- 20
- 7
- 16
- 18
- 30
- 9
- 7
- 7
- 18
- 21
- 17
- 14
- 30
- 6
- 78
- 12
- 18
- 24
- 11
- 6
- 11
- 10
- 11
- 21
- 22
- 19
- 6
- 6
- 6
- 10
- 75
- 29
- 16
- 6
- 13
- 12
- 9
- 23
- 14
- 7
- 17
- 7
- 6
- 14
- 17
- 7
- 7
- 15
- 8
- 17
- 16
- 10
- 13
- 18
- 108
- 6
- 11
- 25
- 6
- 17
- 7
- 6
- 12
- 6
- 9
- 17
- 14
- 8
- 6
- 42
- 11
- 8
- 12
- 7
- 13
- 8
- 15
- 22
- 7
- 13
- 24
- 12
- 9
- 7
- 18
- 8
- 23
- 17
- 10
- 12
- 8
- 6
- 12
- 7
- 8
- 11
- 25
- 8
- 15
- 6
- 12
- 7
- 7
- 11
- 9
- 6
- 14
- 7
- 12
- 15
- 10
- 24
- 7
- 9
- 28
- 8
- 6
- 10
- 6
- 34
- 13
- 6
- 19
- 7
- 25
- 13
- 12
- 10
- 24
- 7
- 9
- 8
- 60
- 9
- 7
- 35
- 6
- 10
- 7
- 58
- 18
- 7
- 79
- 17
- 10
- 13
- 6
- 6
- 6
- 9
- 40
- 6
- 28
- 19
- 21
- 9
- 8
- 14
- 14
- 19
- 21
- 7
- 6
- 8
- 7
- 24
- Verlag
-
- 2
- 11587
- 40
- 1573
- 2
- 25
- 104
- 1
- 1
- 36
- Preis
-
- 47
- 469
- 10591
- 2264
- Sprachen
-
- 13363
- 20
- 15
- Verfügbarkeit
-
- 13343
- 28
- Eigenschaften
-
- 8
- Katalog
-
- 13371
- 566
-
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 -
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-44602-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Governatori / Sartor Deontic Logic in Computer Science
10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14182-9Medium: 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 -
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: Springer International PublishingISBN: 978-3-031-10736-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark106,99 € (inkl. MwSt.)
sofort verfügbar106,99 € (inkl. MwSt.)
sofort verfügbar -
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 -
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-44124-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar -
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 -
Gottlob / Grandjean / Seyr Computer Science Logic
12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, ProceedingsErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-48855-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Dawar / Veith Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-15205-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort