Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10506
- 8529
- Erscheinungsjahr
-
- 1302
- 1534
- 1095
- 938
- 551
- 538
- 577
- 614
- 577
- 582
- 597
- 587
- 627
- 556
- 594
- 558
- 528
- 517
- 609
- 556
- 534
- 744
- 1425
- 276
- 259
- 188
- 177
- 159
- 149
- 145
- 125
- 108
- 97
- 74
- 86
- 58
- 61
- 46
- 49
- 33
- 27
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 8
- 9
- 8
- 9
- 13
- 15
- 11
- 9
- 16
- 12
- 14
- 13
- 7
- 9
- 15
- 20
- 9
- 13
- 17
- 10
- 29
- 13
- 9
- 15
- 14
- 11
- 12
- 10
- 12
- 17
- 36
- 47
- 72
- 10
- 9
- 11
- 10
- 10
- 9
- 20
- 26
- 20
- 8
- 10
- 78
- 13
- 7
- 7
- 8
- 11
- 12
- 7
- 10
- 8
- 16
- 7
- 11
- 24
- 10
- 10
- 9
- 12
- 7
- 17
- 9
- 10
- 12
- 10
- 11
- 11
- 12
- 13
- 14
- 7
- 10
- 30
- 11
- 12
- 10
- 25
- 17
- 7
- 14
- 11
- 13
- 8
- 36
- 16
- 10
- 16
- 8
- 8
- 53
- 11
- 7
- 37
- 30
- 8
- 16
- 10
- 19
- 7
- 7
- 8
- 7
- 10
- 20
- 17
- 11
- 7
- 7
- 8
- 13
- 22
- 7
- 14
- 12
- 7
- 25
- 15
- 31
- 10
- 8
- 7
- 8
- 9
- 10
- 78
- 32
- 15
- 13
- 9
- 14
- 16
- 15
- 9
- 32
- 8
- 10
- 23
- 9
- 23
- 9
- 11
- 23
- 13
- 8
- 9
- 7
- 18
- 7
- 48
- 12
- 26
- 9
- 19
- 25
- 8
- 10
- 7
- 16
- 10
- 11
- 10
- 9
- 9
- 9
- 43
- 16
- 57
- 22
- 13
- 30
- 26
- 12
- 27
- 8
- 10
- 28
- 14
- 38
- 8
- 19
- 19
- 22
- 12
- 7
- 8
- 14
- 24
- 7
- 8
- 11
- 7
- 16
- 31
- 10
- 18
- 15
- 9
- 78
- 7
- 7
- 11
- 13
- 7
- 24
- 14
- 7
- 8
- 10
- 7
- 11
- 12
- 19
- 19
- 14
- 10
- 9
- 7
- 11
- 7
- 7
- 25
- 13
- 15
- 22
- 8
- 16
- 11
- 9
- 7
- 13
- 11
- 13
- 10
- 10
- 7
- 30
- 10
- 41
- 7
- 23
- 13
- 8
- 12
- 13
- 14
- 15
- 18
- 9
- 48
- 12
- 7
- 10
- 8
- 7
- 9
- 9
- 8
- 11
- 7
- 7
- 11
- 13
- 7
- 16
- 11
- 16
- 18
- 10
- 8
- 13
- 9
- 11
- 16
- 15
- 11
- 19
- 10
- 12
- 81
- 81
- 7
- 10
- 31
- 9
- 14
- 7
- 22
- 15
- 54
- 25
- 7
- 11
- 13
- 9
- 27
- 9
- 11
- 7
- 7
- 11
- 14
- 11
- 8
- 11
- 8
- 11
- 9
- 54
- 9
- 24
- 88
- 7
- 17
- 10
- 10
- 7
- 10
- 22
- 12
- 13
- 13
- 16
- 20
- 12
- 27
- 11
- 8
- 15
- 12
- 9
- 13
- 10
- 11
- 17
- 9
- 26
- 31
- 7
- 9
- 13
- 9
- 15
- 13
- 8
- 10
- 19
- 9
- 14
- 9
- 7
- 12
- 7
- 16
- 9
- 25
- 7
- 7
- 25
- 11
- 104
- 8
- 7
- 52
- 10
- 12
- 39
- 11
- 22
- 43
- 7
- 172
- 8
- 9
- 17
- 15
- 7
- 13
- 7
- 26
- 8
- 19
- 8
- 9
- 8
- 11
- 22
- 22
- 14
- 7
- 10
- 12
- 7
- 18
- 14
- 9
- 19
- 30
- 12
- 7
- 16
- 7
- 8
- 10
- 7
- 11
- 7
- 14
- 7
- 7
- 16
- 8
- 7
- 68
- 8
- 11
- 18
- 13
- 8
- 12
- 10
- 10
- 25
- 16
- 10
- 14
- 36
- 78
- 12
- 10
- 7
- 10
- 11
- 8
- 24
- 15
- 20
- 8
- 14
- 8
- 15
- 11
- 13
- 8
- 27
- 17
- 8
- 15
- 14
- 8
- 12
- 8
- 11
- 8
- 119
- 12
- 9
- 15
- 12
- 19
- 16
- 14
- 17
- 11
- 15
- 9
- 19
- 15
- 36
- 13
- 18
- 8
- 15
- 9
- 11
- 11
- 35
- 24
- 11
- 12
- 17
- 15
- 9
- 26
- 11
- 13
- 8
- 23
- 10
- 8
- 8
- 16
- 10
- 11
- 10
- 17
- 23
- 8
- 9
- 10
- 11
- 15
- 15
- 20
- 9
- 59
- 20
- 10
- 12
- 12
- 48
- 11
- 9
- 28
- 60
- 12
- 13
- 15
- 17
- 12
- 14
- 21
- 18
- 13
- 12
- 21
- 12
- 25
- 34
- 50
- 26
- 16
- 11
- 29
- 8
- 16
- 17
- 8
- 8
- 11
- 53
- 30
- 40
- 73
- 9
- 13
- 8
- 21
- 10
- 22
- 22
- 9
- 12
- 8
- 20
- 20
- 10
- 16
- 88
- 93
- 94
- 16
- 31
- 9
- 9
- 11
- 26
- 13
- 9
- 17
- 20
- 10
- 15
- 20
- 24
- 10
- 8
- 24
- 11
- 14
- 30
- 9
- 17
- 8
- 87
- 20
- 8
- 26
- 13
- 10
- 18
- 39
- 10
- 20
- 15
- 15
- 13
- 9
- 10
- 9
- 22
- 23
- 26
- 29
- 32
- 29
- 15
- 15
- 9
- 20
- 20
- 17
- 51
- 13
- 8
- 9
- 58
- 44
- 8
- 10
- 13
- 20
- 16
- 31
- 17
- 10
- 25
- 8
- 23
- 29
- 14
- 11
- 14
- 15
- 16
- 9
- 12
- 29
- 8
- 8
- 16
- 9
- 56
- 20
- 14
- 8
- 9
- 8
- 37
- 20
- 16
- 11
- 10
- 18
- 153
- 13
- 14
- 12
- 11
- 17
- 25
- 17
- 15
- 11
- 79
- 21
- 30
- 13
- 12
- 10
- 20
- 14
- 13
- 15
- 9
- 20
- 11
- 18
- 9
- 10
- 14
- 11
- 9
- 12
- 8
- 17
- 58
- 10
- 31
- 8
- 9
- 32
- 25
- 11
- 9
- 17
- 19
- 29
- 17
- 25
- 10
- 51
- 21
- 16
- 17
- 10
- 47
- 22
- 11
- 29
- 12
- 24
- 14
- 15
- 9
- 20
- 19
- 12
- 19
- 8
- 12
- 48
- 12
- 8
- 17
- 15
- 19
- 24
- 17
- 21
- 9
- 13
- 33
- 8
- 8
- 12
- 11
- 8
- 9
- 20
- 42
- 20
- 14
- 12
- 30
- 11
- 9
- 8
- 19
- 179
- 10
- 13
- 39
- 14
- 12
- 33
- 16
- 13
- 17
- 20
- 32
- 182
- 77
- 11
- 13
- 177
- 39
- 8
- 25
- 14
- 11
- 11
- 20
- 26
- 27
- 10
- 17
- 9
- 17
- 177
- 13
- 38
- 9
- 13
- 19
- 15
- 21
- 33
- 25
- 21
- 14
- 10
- 19
- 8
- 11
- 17
- 46
- 26
- 10
- 8
- 16
- 13
- 14
- 19
- 10
- 37
- 11
- 11
- 9
- 19
- 13
- 17
- 11
- 29
- 9
- 16
- 66
- 31
- 8
- 12
- 8
- 12
- 29
- 10
- 8
- 12
- 19
- 19
- 8
- 16
- 23
- 9
- 9
- 18
- 15
- 11
- 18
- 8
- 56
- 12
- 64
- 25
- 11
- 16
- 10
- 14
- 10
- 10
- 8
- 9
- 29
- 21
- 16
- 20
- 33
- 42
- 9
- 24
- 28
- 34
- 22
- 37
- 111
- 11
- 21
- 38
- 15
- 20
- 10
- 33
- 34
- 22
- 9
- 12
- 102
- 8
- 48
- 23
- 20
- 11
- 30
- 19
- 22
- 10
- 32
- 8
- 21
- 21
- 21
- 12
- 23
- 23
- 177
- 9
- 11
- 32
- 11
- 17
- 10
- 9
- 33
- 15
- 18
- 13
- 9
- 47
- 10
- 20
- 18
- 10
- 13
- 12
- 26
- 32
- 8
- 17
- 22
- 36
- 10
- 9
- 8
- 29
- 8
- 36
- 11
- 20
- 12
- 15
- 10
- 10
- 14
- 9
- 13
- 41
- 10
- 20
- 11
- 9
- 9
- 14
- 13
- 10
- 19
- 9
- 26
- 11
- 9
- 15
- 10
- 27
- 10
- 14
- 26
- 8
- 26
- 8
- 9
- 8
- 38
- 12
- 14
- 15
- 17
- 10
- 11
- 77
- 17
- 11
- 9
- 10
- 42
- 10
- 8
- 79
- 12
- 27
- 111
- 31
- 12
- 24
- 11
- 12
- 9
- 8
- 28
- 9
- 37
- 35
- 28
- 15
- 9
- 15
- 18
- 16
- 22
- 12
- 9
- 37
- Verlag
-
- 6
- 14775
- 3
- 3913
- 1
- 36
- 1
- 261
- 1
- 38
- Preis
-
- 50
- 626
- 15607
- 2752
- Sprachen
-
- 19025
- 23
- 17
- 1
- Verfügbarkeit
-
- 19017
- 18
- Eigenschaften
-
- 21
- Katalog
-
- 19035
- 572
-
Flum / Rodriguez-Artalejo Computer Science Logic
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings1999Verlag: SpringerISBN: 978-3-540-48168-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Clote / Schwichtenberg Computer Science Logic
14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings2000Verlag: SpringerISBN: 978-3-540-44622-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
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, Proceedings2003Verlag: SpringerISBN: 978-3-540-45220-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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
-
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
-
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
-
van der Meyden / van der Torre Deontic Logic in Computer Science
9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-70525-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar74,89 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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
-
Governatori / Sartor Deontic Logic in Computer Science
10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings2010Verlag: SpringerISBN: 978-3-642-14183-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Kahle / Schroeder-Heister / Stärk Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings2001Verlag: SpringerISBN: 978-3-540-45504-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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
-
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
-
Restivo / Ronchi Della Rocca / Roversi Theoretical Computer Science
7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings2001Verlag: SpringerISBN: 978-3-540-45446-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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
-
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
-
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
-
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
-
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
